Exercise algebra.manipulation.exponential.equation

Description
solve exponential equation algebraically

Derivation

Final term is not finished
2^x == 2^2^2*sqrt 2