x_1, x_2, 
x_1^2+x_1*x_2+1
-x_1*x_2^2-x_2^3-x_1*x_2-x_2^2-x_2+1
