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