Consider the function .
Let be the antiderivative of with .
Then equals