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