ZZZ2 = Z2*ZZ2 ZZZ1 = Z1*ZZ1 t0 = X1*ZZ2 t1 = X2*ZZ1 A = t1-t0 t2 = Y1*ZZZ2 t3 = Y2*ZZZ1 B = t3-t2 AA = A^2 t4 = Z2+A t5 = t4^2 t6 = t5-ZZ2 C = t6-AA CC = C^2 CC8 = 8*CC D = X1*CC8 t7 = Z1+C t8 = t7^2 t9 = t8-ZZ1 Z3 = t9-CC E = Z3^2 t10 = B^2 t11 = A*AA t12 = t10-t11 t13 = a3*E t14 = 16*t12 t15 = t14-D X3 = t15-t13 t16 = 2*X3 t17 = D-t16 t18 = C*CC8 t19 = Y1*t18 t20 = B*t17 t21 = 2*t20 Y3 = t21-t19 ZZ3 = E