integral (pi/2)/sqrt(a^2+1)