derivative 1/48 (3 log(abs(2 x - 2 sqrt(x^2 - x) - 1)) + 2 sqrt(x^2 - x) (8 x^2 - 2 x - 3))