反三角函数arccot X 求导的过程.