integrate x^7/sqrt(x^2-1) dx