求d/dx (∫[pai/2,x]cos^3 tdt=?