\int_a^bF(x)\,\hbox{d}x=\Bigl(\int F(\varphi(t))\varphi'(t)\,\hbox{d}t\Bigr)\Big|_{\varphi^{-1}(a)}^{\varphi^{-1}(b)}