What is the antiderivative of the distance function?
The distance function is:
Let's manipulate this.
Since the antiderivative is basically an indefinite integral, this becomes an infinite sum of infinitely small
which happens to be the formula for the arc length of any function you can manageably integrate after the manipulation.