\[\int_{0}^{\infty}{E_{1}}^{2}\left(t\right)\,\mathrm{d}t=2\ln 2,\]