reverse quotient rule integration