try return factored expr more often from simplify