Antiderivative of sine integral
From specialfunctionswiki
Theorem
The following formula holds: $$\displaystyle\int \mathrm{Si}(z) \mathrm{d}z = \cos(z) + z \mathrm{Si}(z) + C,$$ where $\mathrm{Si}$ denotes the sine integral and $\cos$ denotes cosine.