integrate e^-x * cos(4x) dx