>>771
(1)と式が似ているので(1)が使えそうで、-1/(x^2+1)と-∫1/(x^2+1)dxとあるので、とりあえず積分してみようというのはごく普通の発想だと思います