Solving Exponential Equations from the Definition