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