>>815
(1/2)∫d/dx(arctanx)*((x^2+√2 x+1)^(-1)+(x^2-√2 x+1)^(-1))dx
ということですか？