x^2+y^2 ≤ 1 in polar