Exercise algebra.equations.quadratic.no-abc

Description
solve a quadratic equation without abc-formula

Derivation

Final term is not finished

x-7 == sqrt 8 or -sqrt 8 == x-7

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

x-7 == sqrt 8 or 7-sqrt 8 == x

⇒ algebra.equations.quadratic.simpler-sqrt

x-7 == sqrt 8 or 7-2*sqrt 2 == x

⇒ algebra.equations.linear.flip

x-7 == sqrt 8 or x == 7-2*sqrt 2