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