x_1, x_2, x_3, x_4, 
-1+x_1
x_2+x_4
x_3-1
x_2^2+4
