結果 : integration of log sin^2x from 0 to pi