@Orodruin If you mean, how I ended up with ##\int_{x_0}^{x_1} \frac{\partial F}{\partial y} dx##, then it's pretty simple. Assume ##y(x)## is a true path. Since we use transformation ##y(x) + \epsilon##, even in this case, since ##y(x)## is a true path, its action must still be the same as the...