int_0^1 (2 atan(2/(x^2-x-4))-atan((4 x)/(2 x^2-x-4))-atan((4-4 x)/(2 x^2-3x-3))) 1/x dx with 40 digits