y = [cosx]^x
lny = x * lncosx
y'/y = lncosx + x * 1/cosx * -sinx
y'/y = lncosx - xtanx
y' = y(lncosx - xtanx)
y' = (lncosx - xtanx)[cosx]^x