t0 = X1+Z1 t1 = t0^2 t2 = t1-XX1 R1 = t2-ZZ1 t3 = 2*Y1 t4 = R1+t3 A1 = t4^2 t5 = Y1^2 A2 = 4*t5 Q1 = XX1^2 S1 = R1^2 S12 = 2*S1 M = a*S12 A2M = A2-M t6 = A1-A2 X3 = t6-S1 t7 = A2+M t8 = S12^2 t9 = A2M*t7 Y3 = t9+t8 t10 = 8*Q1 Z3 = A2M-t10 XX3 = X3^2 ZZ3 = Z3^2