integrate (x=0 to pi/2) (x*cos(2x))