∫_0^(π/2) log(x^2+log^2(2e^(-1)cos x))dx