Equation Simplification and Evaluation Strategies