A = X1*Z1 B = X1^2 C = B+Y1 D = A*C Z3 = A^2 t0 = C^2 t1 = a2*Z3 t2 = t0+D X3 = t2+t1 t3 = Z3+D t4 = B^2 t5 = t4*Z3 t6 = t3*X3 Y3 = t6+t5