tanx的积分等于ln(cosx)...怎么算的?