AIHL 5.9.5 Quotient rule