t0 = X1*Z1
t1 = t0+Y1
A1 = t1^2
A2 = Y1^2
t2 = X1^2
Q1 = t2^2
t3 = X1*Z1
S1 = t3^2
t4 = a2*S1
t5 = A2-Q1
T = t5-t4
t6 = A1-A2
X3 = t6-S1
t7 = a2*S1
t8 = T+Q1
t9 = A2+t7
t10 = S1^2
t11 = 4*t10
t12 = t8*t9
Y3 = t12+t11
Z3 = T-Q1
XX3 = X3^2
ZZ3 = Z3^2
T3 = XX3+ZZ3
t13 = X3+Z3
t14 = t13^2
R3 = t14-T3