Differentiation Of All Formulas