ZZ1 = Z1^2 t0 = X2*ZZ1 H = t0-X1 HH = H^2 I = 4*HH J = H*I t1 = Z1*ZZ1 t2 = Y2*t1 t3 = t2-Y1 r = 2*t3 V = X1*I t4 = r^2 t5 = 2*V t6 = t4-J X3 = t6-t5 t7 = V-X3 t8 = Y1*J t9 = 2*t8 t10 = r*t7 Y3 = t10-t9 t11 = Z1+H t12 = t11^2 t13 = t12-ZZ1 Z3 = t13-HH ZZ3 = Z3^2 t14 = ZZ3^2 T3 = a*t14