Integral 0 to pi/4 ln(cosx)