一道关于微积分的数学题如果d/dx(sin^3 2x)=6sin^2 2x cos2x,算出cos^3 2x dx的值.