The integrals of the four "reciprocal-family" trigonometric functions all follow from Corollary III of the substitution theorem (∫f(x)f′(x)dx=log∣f(x)∣+c): ∫tanxdx=log∣secx∣+c (write tanx=cosxsinx, numerator is −1 times the derivative of the denominator); ∫cotxdx=log∣sinx∣+c; ∫secxdx=log∣secx+tanx∣+c (multiply top and bottom by secx+tanx, whose derivative is exactly secxtanx+sec2x, the new numerator); and ∫cscxdx=log∣cscx−cotx∣+c by the parallel trick. These four results, together with the substitution corollar …