ZZ1 = Z1^2 ZZ2 = Z2^2 U1 = X1*ZZ2 U2 = X2*ZZ1 t0 = Z2*ZZ2 S1 = Y1*t0 t1 = Z1*ZZ1 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 ZZ3 = Z3^2 t9 = ZZ3^2 T3 = a*t9