crazy or easier than it looks ?

[galactus]

Hi Gang. Those last few posted were little challenge to you all. Cool though.

Here is one that has a little more meat on it. Appears to anyway.


$$\int_{0}^{\pi/2}\left(\frac{\log(\tan(x))}{\sin(x-\frac{\pi}{4})}\right)^{4}\cos^{2}(x)dx=32\zeta(2)+64\zeta(4)$$

[galactus]

This one isn't super nasty if we use the sub $x=\tan^{-1}(t)$

I did not finish this one. I just noticed that the mentioned sub leads to:

$$4\int_{0}^{\infty}\left(\frac{\ln(x)}{x-1}\right)^{4}dx$$

This looks more manageable....I think.