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