integral cos(3x)cos(5x)