\[2\int\sin\left(W\left(z\right)\right)\,\mathrm{d}z=z\left(1+\frac{1}{W\left(z%
\right)}\right)\sin\left(W\left(z\right)\right)-z\cos\left(W\left(z\right)%
\right).\]