How to differentiate cotx using the quotient rule