int((1-8x^2+8x^4-4xsqrt(x^2-1)+8x^3sqrt(x^2-1))^(1/4))