∫[0,π/4] cos(x)*log(cos(x)) dxを計算せよ。
結果だけでなく計算過程も残すこと。