t0 = X2*Z1 A = X1+t0 t1 = Y2*ZZ1 B = Y1+t1 C = A*Z1 t2 = B+C D = C*t2 Z3 = C^2 ZZ3 = Z3^2 t3 = B^2 t4 = A^2 t5 = C*t4 t6 = t3+t5 X3 = t6+D t7 = X2*Z3 t8 = X3+t7 t9 = X2+Y2 t10 = t9*ZZ3 t11 = t8*D Y3 = t11+t10