UU = XX1^2 WW = ZZ1^2 RR = R1^2 t0 = UU-WW A = 4*t0 AA = A^2 t1 = UU+WW t2 = a*RR t3 = 2*t1 B = t3+t2 BB = B^2 t4 = A+B t5 = t4^2 t6 = t5-AA AB = t6-BB t7 = RR^2 C = b*t7 t8 = BB-C Q = 2*t8 t9 = AB-Q X3 = X1*t9 t10 = AB+Q Z3 = Z1*t10 t11 = Q^2 t12 = AA*C t13 = 4*t12 t14 = t11-t13 Y3 = Y1*t14 XX3 = X3^2 ZZ3 = Z3^2 t15 = X3+Z3 t16 = t15^2 t17 = t16-XX3 R3 = t17-ZZ3