t0 = XX1*XX2 A = 2*t0 t1 = ZZ1*ZZ2 B = 2*t1 C = R1*R2 D = Y1*Y2 t2 = R1+Y1 t3 = R2+Y2 t4 = t2*t3 t5 = t4-C X3 = t5-D Z3 = B-A XX3 = X3^2 ZZ3 = Z3^2 t6 = A+B F = t6+C t7 = XX1+ZZ1 t8 = XX2+ZZ2 t9 = t7*t8 t10 = t9+D t11 = k*C t12 = 2*t10 G = t12+t11 H = XX3+ZZ3 t13 = F*G Y3 = t13-H t14 = X3+Z3 t15 = t14^2 R3 = t15-H