A = X1*Z2 B = X2*Z1 C = A^2 D = B^2 E = A+B F = C+D t0 = Z2^2 G = Y1*t0 t1 = Z1^2 H = Y2*t1 I = G+H J = I*E t2 = Z1*Z2 Z3 = F*t2 t3 = H+D t4 = C+G t5 = B*t4 t6 = A*t3 X3 = t6+t5 t7 = F*G t8 = A*J t9 = t8+t7 t10 = J+Z3 t11 = t10*X3 t12 = t9*F Y3 = t12+t11