B = XX1-ZZ1
T1 = XX1+ZZ1
C = Y1*T1
t0 = T1+R1
t1 = Y1*t0
X3 = C-t1
Z3 = T1*B
XX3 = X3^2
ZZ3 = Z3^2
T3 = XX3+ZZ3
t2 = X3+Z3
t3 = t2^2
R3 = t3-T3
t4 = C^2
t5 = 2*t4
Y3 = t5-T3