TeX source:
3 \cos (3 x)=3 \cos (x)-12 \sin ^{2}(x) \cdot \cos (x)