Exercise algebra.manipulation.exponential.equation

Description
solve exponential equation algebraically

Derivation

Final term is not finished

3^(5-2*x) == 72*sqrt 3/2^3

⇒ algebra.manipulation.exponents.reciprocal

3^(5-2*x) == 72*sqrt 3*(2^3)^(-1)

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

3^(5-2*x) == 72*3^(1/2)*(2^3)^(-1)

⇒ algebra.manipulation.exponents.mul-exponents

3^(5-2*x) == 72*3^(1/2)*2^(-3)