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