Half Subtractor Equation