int (x^{-8}\arctan x)/\sqrt{x^2-1} dx