What is the derivative of cot^-1(x)cot1(x)?