直接公式法做不出来？

转化一下

转为x/y或者y/x型

这个方程的求解在于求出一个积分。但很不幸，这个积分可能是不可积的，只能将方程的解表达为积分的形式了。
dy/y=-exp(-x)*sqrt(1+x^2)*dx
Lny=LnC+Integral{-exp(-t)*sqrt(1+t^2)*dt , 0, x}， 此处C为积分常数。
这里未像常规那样处理成不定积分，而是将其表达为一个含待定上限的定积分的形式。其实两种处理手段的本质是相同的。
将初始条件代入可知C=1。
因此，y=exp{Integral{-exp(-t)*sqrt(1+t^2)*dt , 0, x}}，