sin(x) <= cos(x)
pi 5*pi [0, --] U [----, 2*pi] 4 4
x in Union(Interval(0, pi/4), Interval(5*pi/4, 2*pi))
/ / pi\ /5*pi \\ Or|And|0 <= x, x <= --|, And|---- <= x, x <= 2*pi|| \ \ 4 / \ 4 //
((0 <= x)∧(x <= pi/4))∨((5*pi/4 <= x)∧(x <= 2*pi))