用微分求参数方程 x=t-arctant,y=ln(1+t²)确定的函数Y=y(x)的导数