Exercise algebra.manipulation.exponential.equation
Description
solve exponential equation algebraically
Derivation
![](http://ideas.cs.uu.nl/images/external.png)
4^2 == 2^x
⇒ algebra.manipulation.exponents.factor-as-power(2^2)^2 == 2^x
⇒ algebra.manipulation.exponents.mul-exponents2^4 == 2^x
⇒ algebra.manipulation.exponents.equation.same-base4 == x
⇒ algebra.equations.linear.flipx == 4