A = Z1*Z2 B = A^2 C = X1*X2 D = Y1*Y2 t0 = C*D E = d*t0 BB = B^2 EE = E^2 t1 = A+B t2 = t1^2 H = t2-BB t3 = A+E t4 = t3^2 I = t4-EE t5 = X1+Y1 t6 = X2+Y2 t7 = t5*t6 t8 = H-I t9 = t7-C t10 = t9-D X3 = t8*t10 t11 = 2*B t12 = H+I t13 = t12-t11 t14 = D-C Y3 = t13*t14 t15 = BB-EE Z3 = c2*t15