integral 4xcos(2x) dx between 0 and pi/4