Equation solving and simplification strategies