Reduction Formulas Calculus