How do you simplify sin5x + sin7x?