Exercise algebra.manipulation.exponential.equation

Description
solve exponential equation algebraically

Derivation

Final term is not finished
2^x == 16*sqrt 2
algebra.manipulation.exponents.factor-as-power
2^x == 2^4*sqrt 2