Equation solving and expression simplification