\[\int\tan x\,\mathrm{d}x=-\ln\left(\cos x\right),\]