x^2 + y^2 \leq 1