有人知道 $\int\cos(\cos x)\operatorname{d}x$ 是啥吗，或者求一下 $\int t^3\cos t\sqrt{1-t^2}\operatorname{d}x$