integral (D[x(t), t] x(t)^2) dt