x4, x3, x2, x1, a4, a3, a2, a1, 
x4-a4+a2
x1+x2+x3+x4-a1-a3-a4
-a1*a3-a1*a4-a3*a4+x1*x3+x1*x4+x2*x3+x3*x4
-a1*a3*a4+x1*x3*x4
