求微分方程y'=(x^2+1)/(1+tany)满足初始条件y(0)=0的特解