integral of cot(x)