Derivative of minus cot