\[\left.\frac{\partial J_{\nu}\left(x\right)}{\partial\nu}\right|_{\nu=-\frac{1}%
{2}}=\sqrt{\frac{2}{\pi x}}\left(\operatorname{Ci}\left(2x\right)\cos x+%
\operatorname{Si}\left(2x\right)\sin x\right),\]