y=e^x-lncosx
y'=e^x-(1/cosx)*(cosx)'
y'=e^x-(1/cosx)(*-sinx)
y'=e^x+tanx
所以：
dy=(e^x+tanx)dx.