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