Using the derivative formulas ddxsin(x)=cos(x) and ddxcos(x)=−sin(x), apply the quotient rule to obtain ddxcot(x)=−csc2(x) .