Cos3x+cosx=2cos2xcosx
\(cos(3x)+cos(x)=2\cdot cos\left(\dfrac{3x+x}{2}\right)\cdot cos\left(\dfrac{3x-x}{2}\right)=2\cdot cos(2x)\cdot cos(x).\)
Green eyes.