Reduction Formula Calculus