Exercise algebra.manipulation.exponential.equation

Description
solve exponential equation algebraically

Derivation

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

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

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

⇒ algebra.manipulation.exponents.reciprocal

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

⇒ algebra.manipulation.exponents.mul-exponents

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

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

-2 == 2*x

⇒ algebra.equations.coverup.times

-1 == x

⇒ algebra.equations.linear.flip

x == -1