Exercise algebra.manipulation.exponential.equation

Description
solve exponential equation algebraically

Derivation

Final term is not finished

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

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

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

⇒ algebra.manipulation.exponents.mul-exponents

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