\sqrt(3)abs(x)<y<x^2+y^2-2y