int_0^1 (2 atan(2/(x^2-x-4))-a (4 xF /0xf,-^. 3x-3E9$01/x d with 40� igits