_______________ / 2 2 \/ x + 10*x + 9 >= x - 2*x - 3
sqrt(x^2 + 10*x + 9) >= x^2 - 2*x - 3
____ 5 \/ 17 [-1, - + ------] 2 2
x in Interval(-1, sqrt(17)/2 + 5/2)
/ ____\ | 5 \/ 17 | And|-1 <= x, x <= - + ------| \ 2 2 /
(-1 <= x)∧(x <= 5/2 + sqrt(17)/2)