Exercise algebra.manipulation.exponential.equation

Description
solve exponential equation algebraically

Derivation

2*x+1 == 3

⇒ algebra.equations.coverup.onevar.plus

2*x == 2

⇒ algebra.equations.coverup.times

x == 1