y^2 <= x and x^2+y^2 <= 2