Zima
4,166
reputation
$$\int_0^\infty\int_0^1\frac{\log(2\cos(\frac{\pi}{8}(t+t^x)))}{1+x^2}dt\ dx=G$$
$$\int_0^\infty\int_0^1\frac{\log(2\cos(\frac{\pi}{8}(t+t^x)))}{1+x^2}dt\ dx=G$$