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