integrate cot x dx