User:DavidHOzAu/Template:User antiderivative