(x^2-y^2-3)^2+(2xy-1)^2 <1