(derivative 2x(x^2-1)^5)>=0