2 /sin(x) cos(x)\ |------ - ------| <= 1/2 \ 2 2 /
(sin(x)/2 - cos(x)/2)^2 <= 1/2
(-oo, oo)
x in Interval(-oo, oo)
And(-oo < x, x < oo)
(-oo < x)∧(x < oo)