\frac{d}{dt}\left(\frac{(x^2-t^2)\sin t}{2}+\sin t-t\cos t\right)=J_1(x,t)