sin(x) > cos(2*x)
pi 5*pi (--, ----) 6 6
x in Interval.open(pi/6, 5*pi/6)
/pi 5*pi\ And|-- < x, x < ----| \6 6 /
(pi/6 < x)∧(x < 5*pi/6)