Simplifying rational expressions