integral from 0 to pi/2 of log(1+a^2 tan^2 x) dx