Exercise algebra.equations.quadratic.no-abc

Description
solve a quadratic equation without abc-formula

Derivation

5*x^2+3*x == 3*x+2

⇒ algebra.equations.quadratic.cancel

5*x^2 == 2

⇒ algebra.equations.coverup.times

x^2 == 2/5

⇒ algebra.equations.coverup.power

x == sqrt (2/5) or x == -sqrt (2/5)

⇒ algebra.equations.quadratic.simpler-sqrt

x == 1/5*sqrt 10 or x == -1/5*sqrt 10