Exercise algebra.manipulation.exponential.equation

Description
solve exponential equation algebraically

Derivation

2^(x+2) == 1/4

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

2^(x+2) == 1/2^2

⇒ algebra.manipulation.exponents.reciprocal

2^(x+2) == (2^2)^(-1)

⇒ algebra.manipulation.exponents.mul-exponents

2^(x+2) == 2^(-2)

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

x+2 == -2

⇒ algebra.equations.coverup.onevar.plus

x == -4