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