int xdx/sqrt(x^4-1)