Solving a logarithmic equation for x using factoring