Solving equations with logs and exponentials