Exercise algebra.manipulation.exponential.equation

Description
solve exponential equation algebraically

Derivation

4^2 == 2^x

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

(2^2)^2 == 2^x

⇒ algebra.manipulation.exponents.mul-exponents

2^4 == 2^x

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

4 == x

⇒ algebra.equations.linear.flip

x == 4