Differentiation of Cot X