Powers and products of trigonometric functions

$\int \cos 6x\,dx$ is a standard form. But no formula covers a product: so what is $\int 2\cos 5x\cos x\,dx$?