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 Q = U^2 X3 = U t8 = c*Q Y3 = S1-t8 t9 = X1^4 t10 = 2*t9 t11 = a*T1 t12 = 2*t11 t13 = T2-t12 Z3 = t13-t10 XX3 = X3^2 ZZ3 = Z3^2 T3 = XX3+ZZ3 t14 = X3+Z3 t15 = t14^2 R3 = t15-T3