So we just subtract from that f of x. And f of x, we already saw, is 8x to the third power. And now we can just evaluate this. So let me draw a little line here. It's getting a little bit messy. I'll just do it down here. So we need to take the antiderivative of sine of pi x.