Log cot x dx