/ 2 \
| -x |
|5 - 0.0016|
log|-------------|
// 2 \ / 2 \\ | 2 | / 2 \
|| -x | | -x || | -x | | -x |
log\\5 - 0.0016/*\5 - 1// \ 5 - 1 / log\5 *3125 - 5.12e-7/
------------------------------- + ------------------ <= ------------------------
log(9) log(9) log(3)
$$\frac{\log{\left(\frac{-0.0016 + 5^{- x^{2}}}{-1 + 5^{- x^{2}}} \right)}}{\log{\left(9 \right)}} + \frac{\log{\left(\left(-1 + 5^{- x^{2}}\right) \left(-0.0016 + 5^{- x^{2}}\right) \right)}}{\log{\left(9 \right)}} \leq \frac{\log{\left(-5.12 \cdot 10^{-7} + 3125 \cdot 5^{- x^{2}} \right)}}{\log{\left(3 \right)}}$$