simplifying rational algebraic expressions