c_1, c_2, x_1, x_2, 
x_1^2*x_2^2-c_2
x_1^2-x_2^2-c_1
