___ sin(x)*\/ 3 < cos(x)
sqrt(3)*sin(x) < cos(x)
/ / pi\ / 7*pi \\ Or|And|0 <= x, x < --|, And|x <= 2*pi, ---- < x|| \ \ 6 / \ 6 //
((0 <= x)∧(x < pi/6))∨((x <= 2*pi)∧(7*pi/6 < x))
pi 7*pi [0, --) U (----, 2*pi] 6 6
x in Union(Interval.Ropen(0, pi/6), Interval.Lopen(7*pi/6, 2*pi))