A = X2*ZZ1 t0 = ZZ1*Z1 B = Y2*t0 C = X1-A t1 = Y1-B D = 2*t1 F = C^2 F4 = 4*F t2 = Z1+C t3 = t2^2 t4 = t3-ZZ1 Z3 = t4-F E = Z3^2 G = C*F4 H = A*F4 t5 = D^2 t6 = a3*E t7 = 2*H t8 = t5-G t9 = t8-t7 X3 = t9-t6 t10 = H-X3 t11 = B*G t12 = 2*t11 t13 = D*t10 Y3 = t13-t12 ZZ3 = E