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 t2 = 2*H I = t2^2 J = H*I t3 = S2-S1 r = 2*t3 V = U1*I t4 = r^2 t5 = 2*V t6 = t4-J X3 = t6-t5 t7 = V-X3 t8 = S1*J t9 = 2*t8 t10 = r*t7 Y3 = t10-t9 t11 = Z1+Z2 t12 = t11^2 t13 = t12-Z1Z1 t14 = t13-Z2Z2 Z3 = t14*H