\Delta E=\int_{t_0}^{t_1}v(t)F\,dt=F\int_{t_0}^{t_1}(v_0+(t-t_0)m^{-1}F)\,dt=F(v_0(t_1-t_0)+(t_1-t_0)^2F/(2m))