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