对反正切函数arctgx求不定积分应该用 ( )