2 sin(x) > sin (x)
sin(x) > sin(x)^2
/ / pi\ /pi \\ Or|And|0 < x, x < --|, And|-- < x, x < pi|| \ \ 2 / \2 //
((0 < x)∧(x < pi/2))∨((x < pi)∧(pi/2 < x))
pi pi (0, --) U (--, pi) 2 2
x in Union(Interval.open(0, pi/2), Interval.open(pi/2, pi))