A = X1^2 B = Y1^2 t0 = c*Z1 t1 = 2*t0 C = t1^2 t2 = A+B D = t2^2 t3 = A+B t4 = A-B t5 = t3*t4 E = 2*t5 F = A*C G = B*C t6 = D-G t7 = E-t6 t8 = D-G t9 = t7*t8 X3 = X1*t9 t10 = D-F t11 = E+t10 t12 = D-F t13 = t11*t12 Y3 = Y1*t13 t14 = D-G t15 = D-F t16 = E-t14 t17 = E+t15 t18 = t16*t17 Z3 = Z1*t18