Improve abs_eval(): abs(conjugate(z)) => abs(z), ...