Z1Z1 = Z1^2 U2 = X2*Z1Z1 t0 = Z1*Z1Z1 S2 = Y2*t0 H = U2-X1 t1 = 2*H I = t1^2 J = H*I t2 = S2-Y1 r = 2*t2 V = X1*I t3 = r^2 t4 = 2*V t5 = t3-J X3 = t5-t4 t6 = V-X3 t7 = Y1*J t8 = 2*t7 t9 = r*t6 Y3 = t9-t8 t10 = Z1*H Z3 = 2*t10