What tools would you recommend me for evaluating this integral?
$$\int_{0}^{\pi/4} \log(\sin(x)) \log(\cos(x)) \log(\cos(2x)) \,dx$$
My first thought was to use the beta function, but it's hard to get such a form because
of $\cos(2x)$. What other options do I have?
