trigexpand cos(7x) + cos(5x) - cos(3x) - cos(x)