/ ______________________________________________________________________________________________________________________________________________________ \
| / _______________________________________________________________________________________ |
| / / 2 |
| / / /170368 11*(600 + 1367*log(2)) 200 - 431*log(2)\ 1936 600 + 1367*log(2) |
| / / 3 |------ - ---------------------- + ----------------| - ---- + ----------------- |
| 44 / 85184 / / 1936 600 + 1367*log(2)\ \91125 3375*log(2) 300*log(2) / 200 - 431*log(2) 11*(600 + 1367*log(2)) 2025 900*log(2) |
And|x <= - -- + 3 / - ----- + / |- ---- + -----------------| + ----------------------------------------------------- - ---------------- + ---------------------- - --------------------------------------------------------------------------------------------------------------------------------------------------------------, -1/3 < x|
| 45 \/ 91125 \/ \ 2025 900*log(2) / 4 600*log(2) 6750*log(2) ______________________________________________________________________________________________________________________________________________________ |
| / _______________________________________________________________________________________ |
| / / 2 |
| / / /170368 11*(600 + 1367*log(2)) 200 - 431*log(2)\ |
| / / 3 |------ - ---------------------- + ----------------| |
| / 85184 / / 1936 600 + 1367*log(2)\ \91125 3375*log(2) 300*log(2) / 200 - 431*log(2) 11*(600 + 1367*log(2)) |
| 3 / - ----- + / |- ---- + -----------------| + ----------------------------------------------------- - ---------------- + ---------------------- |
\ \/ 91125 \/ \ 2025 900*log(2) / 4 600*log(2) 6750*log(2) /
$$x \leq - \frac{44}{45} - \frac{- \frac{1936}{2025} + \frac{600 + 1367 \log{\left(2 \right)}}{900 \log{\left(2 \right)}}}{\sqrt[3]{- \frac{85184}{91125} - \frac{200 - 431 \log{\left(2 \right)}}{600 \log{\left(2 \right)}} + \sqrt{\left(- \frac{1936}{2025} + \frac{600 + 1367 \log{\left(2 \right)}}{900 \log{\left(2 \right)}}\right)^{3} + \frac{\left(- \frac{11 \left(600 + 1367 \log{\left(2 \right)}\right)}{3375 \log{\left(2 \right)}} + \frac{200 - 431 \log{\left(2 \right)}}{300 \log{\left(2 \right)}} + \frac{170368}{91125}\right)^{2}}{4}} + \frac{11 \left(600 + 1367 \log{\left(2 \right)}\right)}{6750 \log{\left(2 \right)}}}} + \sqrt[3]{- \frac{85184}{91125} - \frac{200 - 431 \log{\left(2 \right)}}{600 \log{\left(2 \right)}} + \sqrt{\left(- \frac{1936}{2025} + \frac{600 + 1367 \log{\left(2 \right)}}{900 \log{\left(2 \right)}}\right)^{3} + \frac{\left(- \frac{11 \left(600 + 1367 \log{\left(2 \right)}\right)}{3375 \log{\left(2 \right)}} + \frac{200 - 431 \log{\left(2 \right)}}{300 \log{\left(2 \right)}} + \frac{170368}{91125}\right)^{2}}{4}} + \frac{11 \left(600 + 1367 \log{\left(2 \right)}\right)}{6750 \log{\left(2 \right)}}} \wedge - \frac{1}{3} < x$$
(-1/3 < x)∧(x <= -44/45 + (-85184/91125 + sqrt((-1936/2025 + (600 + 1367*log(2))/(900*log(2)))^3 + (170368/91125 - 11*(600 + 1367*log(2))/(3375*log(2)) + (200 - 431*log(2))/(300*log(2)))^2/4) - (200 - 431*log(2))/(600*log(2)) + 11*(600 + 1367*log(2))/(6750*log(2)))^(1/3) - (-1936/2025 + (600 + 1367*log(2))/(900*log(2)))/(-85184/91125 + sqrt((-1936/2025 + (600 + 1367*log(2))/(900*log(2)))^3 + (170368/91125 - 11*(600 + 1367*log(2))/(3375*log(2)) + (200 - 431*log(2))/(300*log(2)))^2/4) - (200 - 431*log(2))/(600*log(2)) + 11*(600 + 1367*log(2))/(6750*log(2)))^(1/3))