>>312
1/2 * (cos x + cos 3x)