Lovely, well known result:

\begin{equation} \dv x \int_{a}^{x} f(t)\dd{t} = f(x) \end{equation}

for any fixed \(a\). This is because that’s functionally using \(a\) as a \(+C\) term.