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