Z1Z1 = Z1^2 Z2Z2 = Z2^2 U1 = X1*Z2Z2 U2 = X2*Z1Z1 t0 = Z2*Z2Z2 S1 = Y1*t0 t1 = Z1*Z1Z1 S2 = Y2*t1 H = U2-U1 HH = H^2 HHH = H*HH r = S2-S1 V = U1*HH t2 = r^2 t3 = 2*V t4 = t2-HHH X3 = t4-t3 t5 = V-X3 t6 = S1*HHH t7 = r*t5 Y3 = t7-t6 t8 = Z2*H Z3 = Z1*t8