Cot x dx