实际上是求tanx的微积分.
∫tanxdx
=∫sinx/cosx dx
=-∫d(cosx)/cosx
=-ln|cosx|+ c
所以 -ln|cosx|+ c 的导数为tanx.