A = X1^2 t0 = X1+ZZ1 t1 = ZZ1*t0 B = a2*t1 t2 = A+B C = 3*t2 D = Y1^2 E = D^2 t3 = Y1+Z1 t4 = t3^2 t5 = t4-D Z3 = t5-ZZ1 ZZ3 = Z3^2 t6 = X1+D t7 = t6^2 t8 = t7-A t9 = t8-E F = 2*t9 t10 = C^2 t11 = 2*F t12 = a3*ZZ3 t13 = t10-t12 X3 = t13-t11 t14 = F-X3 t15 = 8*E t16 = C*t14 Y3 = t16-t15