pi/2 ln2 - pi^3/24-pi^5/640 - 1/84 int_0^{pi/2} (x^6/(1-x cot x)^2 + 6x^6 /(1 - x cot x)^3) dx