Deriving Differentiation Formulas