A = Y1+Y2
B = X1+X2
Z3 = B^2
D = X2*Z3
t0 = a2*B
t1 = A+Z3
t2 = t1+t0
t3 = A^2
t4 = B*t2
X3 = t3+t4
t5 = A*B
t6 = D+X3
t7 = t5+Z3
t8 = Y2+X2
t9 = Z3^2
t10 = t8*t9
t11 = t6*t7
Y3 = t11+t10