1.5: Rewriting Equations and Formulas