1 cot x derivative