tan x dx = − ln | cos x| + C其它版本下载