Exercise algebra.manipulation.exponential.equation

Description
solve exponential equation algebraically

Derivation

69 == 4^(3*x)+5

⇒ algebra.equations.coverup.plus

64 == 4^(3*x)

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

2^6 == 4^(3*x)

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

2^6 == (2^2)^(3*x)

⇒ algebra.manipulation.exponents.mul-exponents

2^6 == 2^(6*x)

⇒ algebra.manipulation.exponents.equation.same-base

6 == 6*x

⇒ algebra.equations.coverup.times

1 == x

⇒ algebra.equations.linear.flip

x == 1