What is the derivative of the kinetic energy function?