Convert products like $\sin A\cos B$ into sums/differences.