Exercise algebra.manipulation.exponential.equation
Description
solve exponential equation algebraically
Derivation
64 == 4^(3*x)
⇒ algebra.manipulation.exponents.factor-as-power2^6 == 4^(3*x)
⇒ algebra.manipulation.exponents.factor-as-power2^6 == (2^2)^(3*x)
⇒ algebra.manipulation.exponents.mul-exponents2^6 == 2^(6*x)
⇒ algebra.manipulation.exponents.equation.same-base6 == 6*x
⇒ algebra.equations.coverup.times1 == x
⇒ algebra.equations.linear.flipx == 1