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