Exercise algebra.manipulation.exponential.equation
Description
solve exponential equation algebraically
Derivation
16 == 2^x
⇒ algebra.manipulation.exponents.factor-as-power2^4 == 2^x
⇒ algebra.manipulation.exponents.equation.same-base4 == x
⇒ algebra.equations.linear.flipx == 4