Products of sinusoids as sums of sinusoids