cosx+cos3xに和積公式を使うと
2xとxのcosになり、3xはなくなります
その結果、共通因数でくくれますね

3倍角の公式で3xをxにしてもいいですね
もしかすると2xも、
2倍角の公式でxにする必要があるかも…
その結果、cosの3次式になりますね
因数定理などで因数分解できる…かもしれません