t0 = X1*Z1 t1 = t0+Y1 A1 = t1^2 A2 = Y1^2 t2 = X1^2 Q1 = t2^2 t3 = X1*Z1 S1 = t3^2 t4 = a*S1 t5 = 2*t4 t6 = A2-Q1 T = t6-t5 t7 = A1-A2 X3 = t7-S1 t8 = a2*S1 t9 = T+Q1 t10 = A2+t8 t11 = S1^2 t12 = 4*t11 t13 = t9*t10 Y3 = t13+t12 Z3 = T-Q1 XX3 = X3^2 ZZ3 = Z3^2 T3 = XX3+ZZ3