Formulas and Optimization