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