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