Exercise algebra.manipulation.exponential.equation
Description
solve exponential equation algebraically
Derivation
3^(x-1) == 81
⇒ algebra.manipulation.exponents.factor-as-power3^(x-1) == 3^4
⇒ algebra.manipulation.exponents.equation.same-basex-1 == 4
⇒ algebra.equations.coverup.onevar.minus-leftx == 5