(x^2 1) [(x^2-1)x^4 1] dx