Exercise algebra.manipulation.exponential.equation

Description
solve exponential equation algebraically

Derivation

20*sqrt 2 == 5*2^(x-1)

⇒ algebra.equations.coverup.times

4*sqrt 2 == 2^(x-1)

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

2^2*sqrt 2 == 2^(x-1)

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

2^2*2^(1/2) == 2^(x-1)

⇒ algebra.manipulation.exponents.add-exponents

2^(5/2) == 2^(x-1)

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

5/2 == x-1

⇒ algebra.equations.coverup.onevar.minus-left

7/2 == x

⇒ algebra.equations.linear.flip

x == 7/2