∫cot(5x−4)dx.∫5sin(5x−4)5cos(5x−4)dx=51log∣sin(5x−4)∣+c (Corollary I applied to the basic cot result).
∫secxdx. Multiply and divide by (secx+tanx): ∫secx+tanxsec2x+secxtanxdx. Since dxd(secx+tanx)=secxtanx+sec2x exactly matches the numerator, this is log∣secx+tanx∣+c, which also equals logtan(2x+4π)+c.
∫cscxdx. By the parallel trick, multiplying and dividing by (cscx−cotx), ∫cscxdx=log∣cscx−cotx∣+c=logtan2x+c.
The same "numerator is the derivative of the denominator" idea, or "power of f(x) times f′(x)", extends to many exponential, logarithmic and trigonometric integrands built from a hidden substitution:
∫xcot(logx)dx. Put logx=t, so x1dx=dt; the integral becomes ∫cottdt=log∣sint∣+c=log∣sin(logx)∣+c.
∫xcosxdx. Put x=t, so 2x1dx=dt, i.e. x1dx=2dt; the integral becomes 2∫costdt=2sint+c=2sinx+c.
∫cscxsec8xdx. Rewrite as sec7x⋅secx⋅cscx1=sec7x⋅secxtanx (using cscx1=sinx=cosxtanx, and grouping secx⋅cosxtanx=tanx, then sec7x⋅tanx=sec6x⋅secxtanx). Put secx=t, secxtanxdx=dt: integral becomes ∫t6dt=7t7+c=7sec7x+c.
∫x+x1dx. Factor the denominator as x(x+1). Put x+1=t, so 2x1dx=dt, i.e. x1dx=2dt: integral becomes 2∫t1dt=2log∣t∣+c=2log(x+1)+c.
∫55x⋅5xdx. Put 5x=t, so 5xlog5dx=dt; the integrand 55x⋅5x=t5⋅t=t6... more precisely rewriting via t: the integral becomes log51∫5tdt=log51⋅log55t+c=(log5)21⋅55x+c.
∫1+e−x1dx. Multiply top and bottom by ex: ∫ex+1exdx=log(ex+1)+c, since the numerator is exactly the derivative of the denominator.
∫ex⋅cos(xex)1+xdx. Put xex=t; differentiating, (xex+ex)dx=ex(1+x)dx=dt. The integral becomes ∫sectdt=log∣sect+tant∣+c=log[sec(xex)+tan(xex)]+c.
∫3x+7x−n1dx. Rewrite the denominator as xn3xn+1+7, so the integral is ∫3xn+1+7xndx. Put 3xn+1+7=t, so 3(n+1)xndx=dt: the integral becomes 3(n+1)1log∣3xn+1+7∣+c.
∫(3x+2)x−4dx. Put x−4=t, so x=4+t, dx=dt: integral becomes ∫(14+3t)tdt=∫(14t1/2+3t3/2)dt=328(x−4)3/2+56(x−4)5/2+c.
∫cos(x−b)sin(x+a)dx. Write x+a=(x−b)+(a+b) and expand sin[(x−b)+(a+b)] by the addition formula, then divide by cos(x−b): the integrand becomes cos(a+b)tan(x−b)+sin(a+b), so the integral is cos(a+b)log∣sec(x−b)∣+xsin(a+b)+c.
∫ex−1ex+1dx. Write the numerator as (ex−1)+2: integral becomes ∫1dx+2∫ex−11dx=x+2∫1−e−xe−xdx; putting 1−e−x=t (so e−xdx=dt) gives x+2log(1−e−x)+c. …