Use algebraic simplifier more.