integral of cot