`simplify_const_expr` does unnecessary recursive work

[AdamGS]

Even after #20111, simplify_const_expr does unnecessary work, it can be pulled outside of the recursive transformation loop, and only calculated once for every expression subtree.

The current implementation runs through the whole tree for every node that is evaluated in the main recursion in the loop, every time.

[AdamGS]

take