-log^2((1 + sqrt2 + sqrt(2 (1 + sqrt2)))/4) + 4(cot^(-1)(1 + sqrt2 + sqrt(2 (1 + sqrt2)))^2) + 8 Re(Li_2(1/2 (1 - sqrt(1 - i))))