arccotx是反余弦函数，arccotx的导数=-1/（1+x），即(arccotx)'=-1/(1+x)。