/ 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)
log((-0.0016 + 5^(-x^2))/(-1 + 5^(-x^2)))/log(9) + log((-1 + 5^(-x^2))*(-0.0016 + 5^(-x^2)))/log(9) <= log(-5.12e-7 + 3125*5^(-x^2))/log(3)