_____ ____ _____ ____
19 \/ 271 \/ 15 19 \/ 271 \/ 15
[-- - -------, 1] U [5/2, 5 - ------) U [-- + -------, 5 + ------)
6 6 2 6 6 2
$$x\ in\ \left[\frac{19}{6} - \frac{\sqrt{271}}{6}, 1\right] \cup \left[\frac{5}{2}, 5 - \frac{\sqrt{15}}{2}\right) \cup \left[\frac{\sqrt{271}}{6} + \frac{19}{6}, \frac{\sqrt{15}}{2} + 5\right)$$
x in Union(Interval.Ropen(5/2, 5 - sqrt(15)/2), Interval(19/6 - sqrt(271)/6, 1), Interval.Ropen(sqrt(271)/6 + 19/6, sqrt(15)/2 + 5))
/ / ____\ / _____ \ / _____ ____\\
| | \/ 15 | | 19 \/ 271 | |19 \/ 271 \/ 15 ||
Or|And|5/2 <= x, x < 5 - ------|, And|x <= 1, -- - ------- <= x|, And|-- + ------- <= x, x < 5 + ------||
\ \ 2 / \ 6 6 / \6 6 2 //
$$\left(\frac{5}{2} \leq x \wedge x < 5 - \frac{\sqrt{15}}{2}\right) \vee \left(x \leq 1 \wedge \frac{19}{6} - \frac{\sqrt{271}}{6} \leq x\right) \vee \left(\frac{\sqrt{271}}{6} + \frac{19}{6} \leq x \wedge x < \frac{\sqrt{15}}{2} + 5\right)$$
((5/2 <= x)∧(x < 5 - sqrt(15)/2))∨((x <= 1)∧(19/6 - sqrt(271)/6 <= x))∨((19/6 + sqrt(271)/6 <= x)∧(x < 5 + sqrt(15)/2))