But we know that the antiderivative of some constant times a function is the same thing as the constant times the antiderivative of that function. So we could just take that on the outside. So it's one over the natural log of eight. So let's write this in terms of u and du. This simplifies to one over the natural log of eight times the antiderivative of e, e to the u, e to the u, that's the u, du. This times this times that is du, du. And this is straightforward.