integral x*cot(x)