Write 2 cos 5x cos 3x as a sum of two cosines. | StemPy Lab