Simplification of rational expressions

[rationalpolysml]

Exercises: [rationalpolysxl]

Specifications met: [rationalpolyssl]