Exercise algebra.equations.quadratic

   no similar steps: x == 7+sqrt 8 or x == 7-sqrt 8 with x == 7+2*sqrt 2 or x == 7-2*sqrt 2 using algebra.equations.quadratic.simpler-sqrt

   no similar steps: x == -9+sqrt 8 or x == -9-sqrt 8 with x == -9+2*sqrt 2 or x == -9-2*sqrt 2 using algebra.equations.quadratic.simpler-sqrt

   no similar steps: x == sqrt (2/5) or x == -sqrt (2/5) with x == 1/5*sqrt 10 or x == -1/5*sqrt 10 using algebra.equations.quadratic.simpler-sqrt

   no similar steps: x == (-1+sqrt 6)/2 or x == (-1-sqrt 6)/2 with x == -1/2+sqrt 6/2 or x == -1/2-sqrt 6/2 using algebra.equations.quadratic.distr-div

   no similar steps: x == (3+sqrt 6)/6 or x == (3-sqrt 6)/6 with x == 1/2+sqrt 6/6 or x == 1/2-sqrt 6/6 using algebra.equations.quadratic.distr-div

   no similar steps: x == (-7+sqrt 7)/2 or x == (-7-sqrt 7)/2 with x == -7/2+sqrt 7/2 or x == -7/2-sqrt 7/2 using algebra.equations.quadratic.distr-div

   no similar steps: x == (-3+sqrt 6)/2 or x == (-3-sqrt 6)/2 with x == -3/2+sqrt 6/2 or x == -3/2-sqrt 6/2 using algebra.equations.quadratic.distr-div

   no similar steps: x == (-8+sqrt 124)/2 or x == (-8-sqrt 124)/2 with x == -4+sqrt 31 or x == -4-sqrt 31 using algebra.equations.quadratic.simpler-sqrt

   no similar steps: x == sqrt 12 or x == -sqrt 12 with x == 2*sqrt 3 or x == -2*sqrt 3 using algebra.equations.quadratic.simpler-sqrt

   no similar steps: x == (-4+sqrt 32)/2 or x == (-4-sqrt 32)/2 with x == -2+2*sqrt 2 or x == -2-2*sqrt 2 using algebra.equations.quadratic.simpler-sqrt

   no similar steps: x == (6+sqrt 52)/2 or x == (6-sqrt 52)/2 with x == 3+sqrt 13 or x == 3-sqrt 13 using algebra.equations.quadratic.simpler-sqrt

   no similar steps: x == (12+sqrt 8)/2 or x == (12-sqrt 8)/2 with x == 6+sqrt 2 or x == 6-sqrt 2 using algebra.equations.quadratic.simpler-sqrt

   no similar steps: x == (-2+sqrt 20)/2 or x == (-2-sqrt 20)/2 with x == -1+sqrt 5 or x == -1-sqrt 5 using algebra.equations.quadratic.simpler-sqrt

   no similar steps: x == (5+sqrt 53)/2 or x == (5-sqrt 53)/2 with x == 5/2+sqrt 53/2 or x == 5/2-sqrt 53/2 using algebra.equations.quadratic.distr-div

   no similar steps: x == (6+sqrt 12)/2 or x == (6-sqrt 12)/2 with x == 3+sqrt 3 or x == 3-sqrt 3 using algebra.equations.quadratic.simpler-sqrt

   no similar steps: x == (8+sqrt 48)/2 or x == (8-sqrt 48)/2 with x == 4+2*sqrt 3 or x == 4-2*sqrt 3 using algebra.equations.quadratic.simpler-sqrt

   no similar steps: x == (2+sqrt 32)/2 or x == (2-sqrt 32)/2 with x == 1+2*sqrt 2 or x == 1-2*sqrt 2 using algebra.equations.quadratic.simpler-sqrt

   no similar steps: x == (3+sqrt 13)/2 or x == (3-sqrt 13)/2 with x == 3/2+sqrt 13/2 or x == 3/2-sqrt 13/2 using algebra.equations.quadratic.distr-div