integral from 0 to pi/2 of log(cos x)/tan(x) * log((log^2(cos^ 2))/(pi^2+log^2(sin^ 2)))