$${2 E_{10} E_{20} \langle\cos(\varphi_1 - \varphi_2) \rangle = 2 E_{10} E_{20} \frac{1}{\Delta t}\int_0^{\Delta t} \cos(\varphi_1 - \varphi_2)dt}$$