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