1 + 2*sin(x) >= 4*sin(x)*cos(x) + 2*cos(x)
2*sin(x) + 1 >= (4*sin(x))*cos(x) + 2*cos(x)
/ /pi 7*pi\ /5*pi 11*pi\\ Or|And|-- <= x, x <= ----|, And|---- <= x, x <= -----|| \ \3 6 / \ 3 6 //
((pi/3 <= x)∧(x <= 7*pi/6))∨((5*pi/3 <= x)∧(x <= 11*pi/6))
pi 7*pi 5*pi 11*pi [--, ----] U [----, -----] 3 6 3 6
x in Union(Interval(pi/3, 7*pi/6), Interval(5*pi/3, 11*pi/6))