?=\frac{d\displaystyle\int\limits_0^1\sin x^2\arctan x\log(1+\cosh x)\,dx}{dx}