Exercise algebra.manipulation.exponential.equation

Description
solve exponential equation algebraically

Derivation

Final term is not finished

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

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

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

⇒ algebra.manipulation.exponents.mul-exponents

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