定積分
∫[0,π/4] sin(x){log(cos(x))} dx
を求めよ。