Exercise algebra.equations.quadratic.no-abc

Description
solve a quadratic equation without abc-formula

Derivation

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

⇒ algebra.equations.quadratic.cancel

2 == 5*x^2

⇒ algebra.equations.coverup.times

2/5 == x^2

⇒ algebra.equations.coverup.power

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

⇒ algebra.equations.quadratic.simpler-sqrt

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

⇒ algebra.equations.linear.flip

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

⇒ algebra.equations.linear.flip

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