integral y(x) * y'(x)