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