C = X1*X2 D = Y1*Y2 t0 = C*D E = d*t0 t1 = X1+Y1 t2 = X2+Y2 t3 = t1*t2 t4 = 1-E t5 = t3-C t6 = t5-D X3 = t4*t6 t7 = 1+E t8 = D-C Y3 = t7*t8 t9 = E^2 t10 = 1-t9 Z3 = c*t10