Exercise algebra.equations.quadratic.no-abc

Description
solve a quadratic equation without abc-formula

Derivation

(12+sqrt 8)/2 == x or x == (12-sqrt 8)/2

⇒ algebra.equations.quadratic.simpler-sqrt

6+sqrt 2 == x or x == (12-sqrt 8)/2

⇒ algebra.equations.linear.flip

x == 6+sqrt 2 or x == (12-sqrt 8)/2