Exercise algebra.manipulation.exponential.equation
Description
solve exponential equation algebraically
Derivation
7^(1-2*x) == 1
⇒ algebra.manipulation.exponents.equation.equals-one1-2*x == 0
⇒ algebra.equations.coverup.onevar.minus-right2*x == 1
⇒ algebra.equations.coverup.timesx == 1/2