A = Y1+Y2
B = X1+X2
AB = A+B
C = B^2
Z3 = B*C
t0 = a2*C
t1 = A*AB
t2 = t1+t0
F = t2+Z3
X3 = B*F
t3 = B*Y1
t4 = A*X1
t5 = t4+t3
t6 = AB*F
t7 = C*t5
Y3 = t7+t6