\[\int_{0}^{\infty}e^{-at}\operatorname{Ci}\left(t\right)\,\mathrm{d}t=-\frac{1}%
{2a}\ln\left(1+a^{2}\right),\]