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