最後にもう一つだけ添削お願いします。

∫[0,2] dx/√(|x^2-1|)
( Integrate[1/sqrt[abs[x^2-1]]],{x,0,2} )

∫[0,1-0] dx/√{-(x^2-1)} + ∫[1+0, 2] dx/√(x^2-1)
= [asinx][0, 1-0] + [log|x + √(x^2 - 1)|][1+0, 2]
= asin 1 - asin0 + log(2 + √3) - log1
= π/2 + log(2 + √3)

wolframの近似値と若干違うので困ってます。