integral (y'(x))^2 dx =