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