Exercise algebra.manipulation.exponential.equation

Description
solve exponential equation algebraically

Derivation

2^x-7 == 9

⇒ algebra.equations.coverup.minus-left

2^x == 16

⇒ algebra.manipulation.exponents.factor-as-power

2^x == 2^4

⇒ algebra.manipulation.exponents.equation.same-base

x == 4