Exercise algebra.equations.quadratic.no-abc
Description
solve a quadratic equation without abc-formula
Test report
| Tests | 543 |
| Errors | 13 |
| Warnings | 0 |
| Time | 0.720877s |
| Rating |    |
Suites
- Exercise algebra.equations.quadratic.no-abc (tests: 543, errors: 13, warnings: 0, 0.720867s)
Errors
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 == 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 == -2+sqrt 8 or x == -2-sqrt 8 with x == -2+2*sqrt 2 or x == -2-2*sqrt 2 using algebra.equations.quadratic.simpler-sqrt no similar steps: x == 5/2+sqrt (53/4) or x == 5/2-sqrt (53/4) with x == 5/2+1/2*sqrt 53 or x == 5/2-1/2*sqrt 53 using algebra.equations.quadratic.simpler-sqrt no similar steps: x == 4+sqrt 12 or x == 4-sqrt 12 with x == 4+2*sqrt 3 or x == 4-2*sqrt 3 using algebra.equations.quadratic.simpler-sqrt no similar steps: x == 1+sqrt 8 or x == 1-sqrt 8 with x == 1+2*sqrt 2 or x == 1-2*sqrt 2 using algebra.equations.quadratic.simpler-sqrt no similar steps: x == 3/2+sqrt (13/4) or x == 3/2-sqrt (13/4) with x == 3/2+1/2*sqrt 13 or x == 3/2-1/2*sqrt 13 using algebra.equations.quadratic.simpler-sqrtTests
Exercise algebra.equations.quadratic.no-abc (tests: 543, errors: 13, warnings: 0, 0.720867s)
Examples (tests: 540, errors: 13, warnings: 0, 0.539747s)
start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences 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 self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences 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 self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences 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 self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences 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 self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences 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 self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences 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 self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences 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 self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences 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 self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps: x == -2+sqrt 8 or x == -2-sqrt 8 with x == -2+2*sqrt 2 or x == -2-2*sqrt 2 using algebra.equations.quadratic.simpler-sqrt self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps: x == 5/2+sqrt (53/4) or x == 5/2-sqrt (53/4) with x == 5/2+1/2*sqrt 53 or x == 5/2-1/2*sqrt 53 using algebra.equations.quadratic.simpler-sqrt self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps: x == 4+sqrt 12 or x == 4-sqrt 12 with x == 4+2*sqrt 3 or x == 4-2*sqrt 3 using algebra.equations.quadratic.simpler-sqrt self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps: x == 1+sqrt 8 or x == 1-sqrt 8 with x == 1+2*sqrt 2 or x == 1-2*sqrt 2 using algebra.equations.quadratic.simpler-sqrt self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps: x == 3/2+sqrt (13/4) or x == 3/2-sqrt (13/4) with x == 3/2+1/2*sqrt 13 or x == 3/2-1/2*sqrt 13 using algebra.equations.quadratic.simpler-sqrt self similarity parameters exercise terms defined equivalence implemented similarity implemented