integrate x cos(2x) dx from 0 to pi/2