antiderivative of sqrt (1+x²)