(x^2+2)^2dx