How I built a symbolic log inequality solver as a 16-year-old

Logarithmic inequalities are annoying. Not because they're hard — but because most solvers skip the...