int_0^(pi/2) (4x^2)*log(cos x)