The work integral is something I saw long time ago and in completely understood it. \begin{align} W_{12} & =\int F(x)dx=m\int^{t_2}_{t_1}adx=m\int\left(\frac{dv}{dt}\right)dx=m\int\left(\frac{dv}{dx}\right)\left(\frac{dx}{dt}\right)dx\\ &=m\int\left(\frac{dx}{dt}\right)dv=\frac12\left(mv_2^2-mv_1...