/ _______________ _______________ \
| 1 \/ 2 + 25*log(3) 1 \/ 2 + 25*log(3) |
And|x < - + -----------------, - - ----------------- < x|
| 2 ________ 2 ________ |
\ 2*\/ log(3) 2*\/ log(3) /
$$x < \frac{1}{2} + \frac{\sqrt{2 + 25 \log{\left(3 \right)}}}{2 \sqrt{\log{\left(3 \right)}}} \wedge - \frac{\sqrt{2 + 25 \log{\left(3 \right)}}}{2 \sqrt{\log{\left(3 \right)}}} + \frac{1}{2} < x$$
(x < 1/2 + sqrt(2 + 25*log(3))/(2*sqrt(log(3))))∧(1/2 - sqrt(2 + 25*log(3))/(2*sqrt(log(3))) < x)
_______________ _______________
1 \/ 2 + 25*log(3) 1 \/ 2 + 25*log(3)
(- - -----------------, - + -----------------)
2 ________ 2 ________
2*\/ log(3) 2*\/ log(3)
$$x\ in\ \left(- \frac{\sqrt{2 + 25 \log{\left(3 \right)}}}{2 \sqrt{\log{\left(3 \right)}}} + \frac{1}{2}, \frac{1}{2} + \frac{\sqrt{2 + 25 \log{\left(3 \right)}}}{2 \sqrt{\log{\left(3 \right)}}}\right)$$
x in Interval.open(-sqrt(2 + 25*log(3))/(2*sqrt(log(3))) + 1/2, 1/2 + sqrt(2 + 25*log(3))/(2*sqrt(log(3))))