y=(cosx)^x
lny=xlncosx
两边求导得
y'/y=lncosx-xcotx
y'=(lncosx-xcotx)*(cosx)^x
所以
df(x)=(lncosx-xcotx)*(cosx)^xdx