查看原题
计算导数 $\frac{d}{d x} \int_{\sin x}^{\cos x} \cos \left(\pi t^2\right) d t$
                        
不再提醒