結果 : integrate log sinx log 2 cos x dx from 0 to pi 2