Solving Log Equations from the Definition