integral of cos(9x)*cos(4x)dx