Simplifying Rational Expressions with Variables