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