12 ∫
     − 1(√ -----2-   )
  tan      1 − x  + x  dx



optimal
PIC

PIC



M 9.01

PIC



Rubi 4.1

PIC



Maple 18

PIC