TeX source:
y'=-\frac{1}{[\ln(\cos x)]^2}\cdot -\tan x