x^2 + y^2 <= 1^2 && y >= x Tan[π/20] && y <= x Cot[π/20]