Added figure for depth reduction in formulas