Solving an exponential equation