derivative -arctanh(sqrt(x^2+1))