d/dx 1/8 (1/(sqrt(x^2-1)-x)^2-(sqrt(x^2-1)-x)^2+4 log((sqrt(x^2-1)-x)))