z integrate cot x dx