How do I evaluate #int5v (v^2 + 2)^2dv#?