1.
Let f(x)=∫sin⁡xcos⁡xe−t2 dtf(x) = \int_{\sin x}^{\cos x} e^{-t^2}\,dt. Then f′(π/4)f'(\pi/4) equals