Exercise algebra.manipulation.exponents.simplify

Description
simplify expression (powers)

Test report

Tests1641
Errors16
Warnings0
Time0.236451s
Rating

Suites

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