Exercise algebra.equations.quadratic.no-abc

Description
solve a quadratic equation without abc-formula

Derivation

12 == (6*x-3)^2+6

⇒ algebra.equations.coverup.onevar.plus

6 == (6*x-3)^2

⇒ algebra.equations.coverup.power

sqrt 6 == 6*x-3 or -sqrt 6 == 6*x-3

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

3+sqrt 6 == 6*x or -sqrt 6 == 6*x-3

⇒ algebra.equations.coverup.times

(3+sqrt 6)/6 == x or -sqrt 6 == 6*x-3

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

(3+sqrt 6)/6 == x or 3-sqrt 6 == 6*x

⇒ algebra.equations.coverup.times

(3+sqrt 6)/6 == x or (3-sqrt 6)/6 == x

⇒ algebra.equations.linear.flip

x == (3+sqrt 6)/6 or (3-sqrt 6)/6 == x

⇒ algebra.equations.linear.flip

x == (3+sqrt 6)/6 or x == (3-sqrt 6)/6

⇒ algebra.equations.quadratic.distr-div

x == 1/2+sqrt 6/6 or x == 1/2-sqrt 6/6