x_1, x_2, x_3, 
-x_1*(x_2*x_3-x_2-1)
-x_2*x_1*(x_2*x_3-x_2-x_3-1)
-x_2*x_1*(x_2^2*x_3-x_2^2-3*x_2*x_3+2*x_3+1)
-x_1*x_3+x_1-1
