upgrade solving for abs, powers, and real/imag variables

* the power-handling section was simplified to let powsimp decide
  whether the powers can be combined rather than duplicating the
  code here
use powdenest before factoring in _tsolve