Simplifying the product of two rational expressions