反导数就是积分:antiderivative = integration
∫tanxdx
=∫(sinx/cosx)dx
=∫-dcosx/cosx
= -ln|cosx| + C