Pi^3/6 - Integrate[8x ArcTan[x] Log[(1+x^2)/2] / (x^4-1), {x, 1, Infinity}]