lim_(t to 1 + sqrt2 + sqrt(2 (1 + sqrt2))) (-log^2(t/4) + 4(cot^(-1)(t))^2 + 8 Re(Li_2(e^(i atan t + i pi) /(2 sqrt t)))), with 64 digs