integrate 1/sqrt(cosh a-sqrt(x^2+1)) dx