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