pi/2 ln2 - pi^3/24 -1/4 int_0^{pi/2} x^4 /(1 - x cot x)^2 dx