___ \/ 3 cos(t) < ----- 2
cos(t) < sqrt(3)/2
/pi 11*pi\ And|-- < x, x < -----| \6 6 /
(pi/6 < x)∧(x < 11*pi/6)
pi 11*pi (--, -----) 6 6
x in Interval.open(pi/6, 11*pi/6)