2 * cos(2 * pi * a * t) * cos(2 * pi * b * t) = cos(2 * pi * (a + b) * t) + cos(2 * pi * (a - b) * t)