Write cot x dx