U1 = X1*Z2
U2 = X2*Z1
S1 = Y1*Z2
S2 = Y2*Z1
ZZ = Z1*Z2
T = U1+U2
M = S1+S2
t0 = T-ZZ
t1 = T+ZZ
t2 = U1*U2
t3 = t0*t1
R = t3-t2
F = ZZ*M
L = M*F
G = T*L
t4 = R^2
W = t4-G
t5 = F*W
X3 = 2*t5
t6 = 2*W
t7 = G-t6
t8 = L^2
t9 = R*t7
Y3 = t9-t8
t10 = F^2
t11 = F*t10
Z3 = 2*t11