integrate 4t^3 sqrt(1 + t^2)