展开 arccotx的导数推导过