x * (5 - ln(x) / 3.0081547935525483) / 10 < -8