ctgx dx =\ln \vert \sin x \vert +C $$. $$ 87.\,\int\!\! \sec x dx = \ln \vert \tan (\frac{ \pi}{4} + \frac{x}{2}) \vert + C = \ln \vert \sec x + \tan x \vert +C $$. $$ 88.\,\int\!\!
spaces.ac.cn