integral of 4x * cos(x) * (sin(x))^2