integral 4cos(4x) dx