integral_0^(3π/2) cos(x)^7 dx