Integral of (x^3)*sqrt(x^2-1)