結果 : integrate x * sin x )/( 1 cos 2 x dx from 0 to pi