diff(y(x)^2 - 5sin(x), x)