/ / / ___________\\ / / ___________\ \\ | | | / ___ || | | / ___ | || | | |\/ 2 - \/ 2 || | |\/ 2 + \/ 2 | || Or|And|0 <= x, x < atan|--------------||, And|x <= pi, pi - atan|--------------| < x|| | | | ___________|| | | ___________| || | | | / ___ || | | / ___ | || \ \ \\/ 2 + \/ 2 // \ \\/ 2 - \/ 2 / //
((0 <= x)∧(x < atan(sqrt(2 - sqrt(2))/sqrt(2 + sqrt(2)))))∨((x <= pi)∧(pi - atan(sqrt(2 + sqrt(2))/sqrt(2 - sqrt(2))) < x))
/ ___________\ / ___________\ | / ___ | | / ___ | |\/ 2 - \/ 2 | |\/ 2 + \/ 2 | [0, atan|--------------|) U (pi - atan|--------------|, pi] | ___________| | ___________| | / ___ | | / ___ | \\/ 2 + \/ 2 / \\/ 2 - \/ 2 /
x in Union(Interval.Ropen(0, atan(sqrt(2 - sqrt(2))/sqrt(sqrt(2) + 2))), Interval.Lopen(pi - atan(sqrt(sqrt(2) + 2)/sqrt(2 - sqrt(2))), pi))