integrate cos(x)*cos(5x) dx