cos(2*x) < cos(6*x)
cos(2*x) < cos(6*x)
/ /pi pi\ /pi 3*pi\\ Or|And|-- < x, x < --|, And|-- < x, x < ----|| \ \4 2 / \2 4 //
((pi/4 < x)∧(x < pi/2))∨((pi/2 < x)∧(x < 3*pi/4))
pi pi pi 3*pi (--, --) U (--, ----) 4 2 2 4
x in Union(Interval.open(pi/4, pi/2), Interval.open(pi/2, 3*pi/4))