x^2+x*y-1;
y^2-1;
