Simplification of Rational Expressions