mult_rational simplifies if denominator is divisible by numerator