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