一个函数求导后是arctanx,求这个函数