11 ∫            2         √ -----2-
  x-log(1-+-x√)log(x-+---1-+-x-)dx
               1 + x2



optimal
PIC

PIC



M 9.01

PIC



Rubi 4.1

PIC



Maple 18

PIC