Exercise algebra.manipulation.exponential.equation

Description
solve exponential equation algebraically

Derivation

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

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

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

⇒ algebra.manipulation.exponents.reciprocal

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

⇒ algebra.manipulation.exponents.mul-exponents

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

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

2*x == -2

⇒ algebra.equations.coverup.times

x == -1