derivative of (x^4 + x)^3 (x^2 - 1)^2