2/ pi\ 2/ pi\ - sin |x + --| + cos |x + --| <= 0 \ 4 / \ 4 /
-sin(x + pi/4)^2 + cos(x + pi/4)^2 <= 0
/ / pi\ \ Or|And|0 <= x, x <= --|, x = pi| \ \ 2 / /
(x = pi))∨((0 <= x)∧(x <= pi/2)
pi [0, --] U {pi} 2
x in Union(FiniteSet(pi), Interval(0, pi/2))