0 = 1/24 + 2/a^2 ( PolyLog[2, -1] - PolyLog[2, -e^(-a/2)] + a/2 ln (1+e^(-a/2)) )