计算 integrate cot x dx 。