Frechet derivative of Integrate[x'[t]%5E2%2F2 - Cos[x[t]]%2C %7Bt%2C -inf%2C inf%7D] wrt x[tau]