Exercise algebra.manipulation.exponents.simplify
Description
simplify expression (powers)
Test report
Tests | 1641 |
Errors | 16 |
Warnings | 0 |
Time | 0.236451s |
Rating |
Suites
- Exercise algebra.manipulation.exponents.simplify (tests: 1641, errors: 16, warnings: 0, 0.236442s)
Errors
start term is not ready: 8*a^2-4*a^2+2*a^4
start term is not ready: 5*a-2*a-9*a^6
start term is not ready: 8*a^6+2*a^3-2*a^6
start term is not ready: 2*a^3-8*a^5-a^3
start term is not ready: 1/a^3
start term is not ready: 1/a^5
start term is not ready: 1/a^(-4)
start term is not ready: 1/a^(-6)
start term is not ready: 8*a^2-4*a^2+2*a^4
start term is not ready: 5*a-2*a-9*a^6
start term is not ready: 8*a^6+2*a^3-2*a^6
start term is not ready: 2*a^3-8*a^5-a^3
start term is not ready: 1/a^3
start term is not ready: 1/a^5
start term is not ready: 1/a^(-4)
start term is not ready: 1/a^(-6)
Tests
Exercise algebra.manipulation.exponents.simplify (tests: 1641, errors: 16, warnings: 0, 0.236442s)
Examples (tests: 1638, errors: 16, warnings: 0, 0.191577s)
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
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: 8*a^2-4*a^2+2*a^4
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: 5*a-2*a-9*a^6
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: 8*a^6+2*a^3-2*a^6
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: 2*a^3-8*a^5-a^3
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
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: 1/a^3
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: 1/a^5
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: 1/a^(-4)
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: 1/a^(-6)
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
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
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: 8*a^2-4*a^2+2*a^4
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: 5*a-2*a-9*a^6
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: 8*a^6+2*a^3-2*a^6
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: 2*a^3-8*a^5-a^3
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
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: 1/a^3
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: 1/a^5
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: 1/a^(-4)
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: 1/a^(-6)
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
exercise terms defined
equivalence implemented
similarity implemented