t0 = X1*Z1 T1 = t0^2 T2 = Y1^2 t1 = c*T1 t2 = 2*t1 t3 = T2+t2 S1 = t3^2 t4 = X1*Z1 t5 = t4+Y1 t6 = t5^2 t7 = t6-T1 U = t7-T2 V = U^2 X3 = U t8 = c*V Y3 = S1-t8 t9 = X1^4 t10 = 2*t9 t11 = a2*T1 t12 = T2-t11 Z3 = t12-t10