\[\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)\sin x-%
\operatorname{Si}\left(2x\right)\cos x\right),\]