Simplifies the argument and pushes onto the estack.
push_simplify is like push_internal_simplify, but does not convert into internal canonic form.