Exercise algebra.manipulation.exponential.equation

Description
solve exponential equation algebraically

Derivation

Final term is not finished

3^(2*x) == 9^(-1)

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

3^(2*x) == (3^2)^(-1)

⇒ algebra.manipulation.exponents.mul-exponents

3^(2*x) == 3^(-2)