2 2 1 cos (x) > sin (x) + - 2
cos(x)^2 > sin(x)^2 + 1/2
pi 5*pi [0, --) U (----, pi] 6 6
x in Union(Interval.Ropen(0, pi/6), Interval.Lopen(5*pi/6, pi))
/ / pi\ / 5*pi \\ Or|And|0 <= x, x < --|, And|x <= pi, ---- < x|| \ \ 6 / \ 6 //
((0 <= x)∧(x < pi/6))∨((x <= pi)∧(5*pi/6 < x))