antiderivative of 1/2 (sqrt(x^2 + 1) x + sinh^(-1)(x)) + c