\[\int_{y}^{x}\frac{\,\mathrm{d}t}{s(t)}=2R_{F}\left(U_{12}^{2},U_{13}^{2},U_{23%
}^{2}\right),\]