What is the derivative of #y=tan(x) cot(x)#?