2 (sin(t) + cos(t)) sin(2*t) - ------------------ > 0 tan(t) + cot(t)
-(sin(t) + cos(t))^2/(tan(t) + cot(t)) + sin(2*t) > 0
/ / pi\ /pi pi\\ Or|And|0 < t, t < --|, And|-- < t, t < --|| \ \ 4 / \4 2 //
((0 < t)∧(t < pi/4))∨((pi/4 < t)∧(t < pi/2))
pi pi pi (0, --) U (--, --) 4 4 2
x in Union(Interval.open(0, pi/4), Interval.open(pi/4, pi/2))