refactor product rule to take same args as quotient rule