Skip to content

Unit 3: Differentiation: Composite, Implicit, and Inverse Functions

Selecting Procedures for Calculating Derivatives

Look at any function, rewrite it if that helps, pick the rule that applies first, and recognize derivatives hidden in tables, equations and limits.

Topic 3.5 · 7 min read

By topic 3.4 you have a rule for every way a function can be built: sums, products, quotients, compositions, inverses, and equations that never get solved for yy. Knowing each rule is not the hard part of a derivative question. The hard part is deciding, in a few seconds, which rule goes first, whether to rewrite the function before using any rule, and whether the question is asking for a derivative at all.

The derivatives every procedure ends in

Every procedure below breaks a function down until only basic pieces are left, so these have to be automatic.

The derivatives of the three "co" functions (cosine, cotangent, cosecant) all carry a minus sign, which is a quick check on your memory. The power rule needs a variable base and a constant exponent (x5x^5). The exponential rule needs a constant base and a variable exponent (5x5^x, whose derivative is 5xln⁡55^x\ln 5). When both base and exponent are constants (555^5, π2\pi^2, e3e^3, ln⁡7\ln 7), the expression is a number, and its derivative is 0.

The last operation decides the first rule

To pick the first rule, ask what you would do last if you evaluated the function at a number by hand. That operation is the function's outer structure, and its rule is the one you apply first. Every other rule shows up inside it, when you differentiate the pieces.

FunctionLast operationFirst rule
3x4−2cos⁡x3x^4 - 2\cos xsubtractionterm by term (topic 2.6)
x3ln⁡xx^3\ln xmultiplicationproduct rule (topic 2.8)
sin⁡xx2+1\dfrac{\sin x}{x^2+1}divisionquotient rule (topic 2.9)
cos⁡(x3)\cos\left(x^3\right)taking a cosinechain rule (topic 3.1)
arctan⁡(4x)\arctan(4x)taking an arctangentarctangent formula with the chain rule (topic 3.4)

Look-alike functions can have different last operations. In sin⁡xcos⁡x\sin x\cos x the last step multiplies two separately computed values, so it is a product. In sin⁡(xcos⁡x)\sin(x\cos x) the last step is the sine, so it is a chain rule problem whose inside, xcos⁡xx\cos x, needs the product rule. Likewise ln⁡(x2)\ln\left(x^2\right) takes a logarithm last, while (ln⁡x)2(\ln x)^2 squares last. Where notation is ambiguous to you, insert the parentheses before differentiating.

Rewrite before you differentiate

A rewrite that is algebraically valid gives the same derivative with fewer chances for error. These are the ones worth doing:

  • Roots and reciprocals become powers. 4x3=4x−1/3\frac{4}{\sqrt[3]{x}} = 4x^{-1/3}, so its derivative is −43x−4/3-\frac{4}{3}x^{-4/3}, with no quotient rule.
  • A one-term denominator splits the fraction. 6x2−52x=3x−52x−1\frac{6x^2 - 5}{2x} = 3x - \frac{5}{2}x^{-1}, whose derivative is 3+52x−23 + \frac{5}{2}x^{-2}.
  • A constant denominator is a constant multiple. x2+sin⁡x7\frac{x^2 + \sin x}{7} has derivative 2x+cos⁡x7\frac{2x + \cos x}{7}.
  • Logarithm properties turn products and powers into sums. For x>0x > 0, ln⁡(x3x+1)=3ln⁡x+12ln⁡(x+1)\ln\left(x^3\sqrt{x+1}\right) = 3\ln x + \frac{1}{2}\ln(x+1), whose derivative is 3x+12(x+1)\frac{3}{x} + \frac{1}{2(x+1)}.
  • Identities shrink trig expressions. sin⁡2x+cos⁡2x=1\sin^2 x + \cos^2 x = 1, sin⁡xcos⁡x=tan⁡x\frac{\sin x}{\cos x} = \tan x, and 2sin⁡xcos⁡x=sin⁡2x2\sin x\cos x = \sin 2x.

A rewrite is only allowed if it is true for every xx in the domain. x2+16\sqrt{x^2+16} is not x+4x + 4, ln⁡(x+5)\ln(x+5) is not ln⁡x+ln⁡5\ln x + \ln 5, and 1x+x2\frac{1}{x+x^2} does not split into 1x+1x2\frac{1}{x} + \frac{1}{x^2}; a denominator can be split off only when it is a single term.

Rewriting also matters after you differentiate. A correct derivative often doesn't match any answer choice until you factor it or combine fractions. If you can't make two forms agree by algebra, evaluate both at a convenient number, such as x=1x = 1, and compare.

When the function isn't a formula in xx

Some questions don't give you y=f(x)y = f(x) at all. The form of what you are given picks the procedure:

  • An equation that was never solved for one variable. When xx and yy are mixed in an equation, differentiate both sides implicitly (topic 3.2), remembering that each yy term needs a factor dydx\frac{dy}{dx}. For y+sin⁡y=xy + \sin y = x, that gives dydx(1+cos⁡y)=1\frac{dy}{dx}(1 + \cos y) = 1, so dydx=11+cos⁡y\frac{dy}{dx} = \frac{1}{1 + \cos y}.
  • An inverse function at a point. Don't try to find a formula for f−1f^{-1}. Use (f−1)′(a)=1f′(b)(f^{-1})'(a) = \frac{1}{f'(b)}, where f(b)=af(b) = a (topic 3.3). For f(x)=x5+xf(x) = x^5 + x, f(1)=2f(1) = 2 and f′(1)=6f'(1) = 6, so (f−1)′(2)=16(f^{-1})'(2) = \frac{1}{6}.
  • Functions known only from a table or a graph. The rules don't change; each value of ff or f′f' is looked up instead of computed (topic 3.1 shows the lookup order for compositions).
  • A function defined in pieces, or with an absolute value. Differentiate each piece's formula on its own open interval. At a break point the rules say nothing: check continuity there, then compare the slopes from the two sides (topic 2.4).
  • A limit that is a derivative. A limit of the form lim⁡h→0f(a+h)−f(a)h\lim\limits_{h \to 0}\frac{f(a+h) - f(a)}{h} or lim⁡x→af(x)−f(a)x−a\lim\limits_{x \to a}\frac{f(x) - f(a)}{x - a} is f′(a)f'(a) by definition (topic 2.2). Identify ff and aa, then use a rule. For instance, lim⁡h→0(2+h)5−32h\lim\limits_{h \to 0}\frac{(2+h)^5 - 32}{h} is f′(2)f'(2) for f(x)=x5f(x) = x^5, since 25=322^5 = 32, so it equals 5⋅24=805\cdot 2^4 = 80. Expanding (2+h)5(2+h)^5 would also work, but much more slowly.

On a calculator-active question, the calculator's numerical derivative gives f′(a)f'(a) at a number directly. When a question asks for f′(x)f'(x) as an expression, or appears in a no-calculator section, the procedure is yours to choose and carry out by hand.

Worked examples

Worked exampleExample 1: rewrite instead of using the quotient rule

Let f(x)=x3−4xx2f(x) = \dfrac{x^3 - 4\sqrt{x}}{x^2} for x>0x > 0. Find f′(4)f'(4).

Show solution

The denominator is a single term, so split the fraction and write each piece as a power of xx:

f(x)=x3x2−4x1/2x2=x−4x−3/2.f(x) = \frac{x^3}{x^2} - \frac{4x^{1/2}}{x^2} = x - 4x^{-3/2}.

Now only the power rule is needed:

f′(x)=1−4(−32)x−5/2=1+6x−5/2.f'(x) = 1 - 4\left(-\tfrac{3}{2}\right)x^{-5/2} = 1 + 6x^{-5/2}.

At x=4x = 4, 45/2=(4)5=324^{5/2} = \left(\sqrt{4}\right)^5 = 32, so

f′(4)=1+632=1916.f'(4) = 1 + \frac{6}{32} = \frac{19}{16}.

The quotient rule gives the same value, but its numerator would contain (3x2−2x)x2−(x3−4x)2x\left(3x^2 - \frac{2}{\sqrt{x}}\right)x^2 - \left(x^3 - 4\sqrt{x}\right)2x, which then has to be simplified, and each step is a chance for a sign error.

Worked exampleExample 2: a quotient that is really a product

Let k(x)=(2x−1)3exk(x) = \dfrac{(2x-1)^3}{e^x}. Find k′(x)k'(x), and find all xx where k′(x)=0k'(x) = 0.

Show solution

Dividing by exe^x is multiplying by e−xe^{-x}, so k(x)=(2x−1)3e−xk(x) = (2x-1)^3e^{-x}. The last operation is now a multiplication, so the product rule comes first; each factor needs the chain rule.

k′(x)=3(2x−1)2⋅2⋅e−x+(2x−1)3⋅(−e−x).k'(x) = 3(2x-1)^2\cdot 2\cdot e^{-x} + (2x-1)^3\cdot\left(-e^{-x}\right).

To find the zeros, factor out everything the two terms share, e−x(2x−1)2e^{-x}(2x-1)^2:

k′(x)=e−x(2x−1)2[6−(2x−1)]=e−x(2x−1)2(7−2x).k'(x) = e^{-x}(2x-1)^2\left[6 - (2x - 1)\right] = e^{-x}(2x-1)^2(7 - 2x).

Since e−xe^{-x} is never 0, k′(x)=0k'(x) = 0 exactly when 2x−1=02x - 1 = 0 or 7−2x=07 - 2x = 0, so at x=12x = \frac{1}{2} and x=72x = \frac{7}{2}. Factoring, rather than expanding, is the move whenever the next question is about zeros or signs of the derivative.

Worked exampleExample 3: limits that are derivatives

Find each limit.

(a) lim⁡h→0ln⁡(e+h)−1h\displaystyle\lim_{h \to 0}\frac{\ln(e+h) - 1}{h}

(b) lim⁡x→π/3tan⁡x−3x−π/3\displaystyle\lim_{x \to \pi/3}\frac{\tan x - \sqrt{3}}{x - \pi/3}

Show solution

(a) Since ln⁡e=1\ln e = 1, the numerator is ln⁡(e+h)−ln⁡e\ln(e + h) - \ln e. The limit is the derivative of f(x)=ln⁡xf(x) = \ln x at a=ea = e:

lim⁡h→0ln⁡(e+h)−ln⁡eh=f′(e)=1e.\lim_{h \to 0}\frac{\ln(e+h) - \ln e}{h} = f'(e) = \frac{1}{e}.

(b) Since tan⁡π3=3\tan\frac{\pi}{3} = \sqrt{3}, this is lim⁡x→af(x)−f(a)x−a\lim\limits_{x \to a}\frac{f(x) - f(a)}{x - a} with f(x)=tan⁡xf(x) = \tan x and a=π3a = \frac{\pi}{3}. So it equals

sec⁡2(π3)=1cos⁡2(π/3)=1(1/2)2=4.\sec^2\left(\frac{\pi}{3}\right) = \frac{1}{\cos^2(\pi/3)} = \frac{1}{(1/2)^2} = 4.

In both parts, the first move is to find the constant in the numerator as a value f(a)f(a). That pins down both ff and aa.

Worked exampleExample 4: a table question that mixes procedures (no calculator)

The functions ff and gg are differentiable for all real numbers, and gg is strictly increasing. The table below gives selected values.

xf(x)f′(x)g(x)g′(x)13−224215363−1052\begin{array}{c|cccc} x & f(x) & f'(x) & g(x) & g'(x) \\ \hline 1 & 3 & -2 & 2 & 4 \\ 2 & 1 & 5 & 3 & 6 \\ 3 & -1 & 0 & 5 & 2 \end{array}

(a) Let h(x)=f(x)g(x)h(x) = \dfrac{f(x)}{g(x)}. Find h′(2)h'(2).

(b) Let k(x)=arctan⁡(f(x))k(x) = \arctan(f(x)). Find k′(1)k'(1).

(c) The function g−1g^{-1} is the inverse of gg. Find (g−1)′(3)\left(g^{-1}\right)'(3).

(d) Find lim⁡x→3f(x)+1x−3\displaystyle\lim_{x \to 3}\frac{f(x) + 1}{x - 3}.

Show solution

Each part uses a different procedure, and the form of the function names it.

(a) A quotient of two table functions: the quotient rule.

h′(2)=f′(2)g(2)−f(2)g′(2)[g(2)]2=5⋅3−1⋅632=99=1.h'(2) = \frac{f'(2)g(2) - f(2)g'(2)}{[g(2)]^2} = \frac{5\cdot 3 - 1\cdot 6}{3^2} = \frac{9}{9} = 1.

(b) An arctangent with inside f(x)f(x): the formula from topic 3.4 with the chain rule.

k′(1)=f′(1)1+[f(1)]2=−21+9=−15.k'(1) = \frac{f'(1)}{1 + [f(1)]^2} = \frac{-2}{1 + 9} = -\frac{1}{5}.

(c) An inverse at a point: find the input of gg that produces 3. The table shows g(2)=3g(2) = 3, so g−1(3)=2g^{-1}(3) = 2, and

(g−1)′(3)=1g′(g−1(3))=1g′(2)=16.\left(g^{-1}\right)'(3) = \frac{1}{g'\left(g^{-1}(3)\right)} = \frac{1}{g'(2)} = \frac{1}{6}.

The derivative of gg is looked up at 2, the output of g−1g^{-1}, not at 3.

(d) The table gives f(3)=−1f(3) = -1, so the numerator is f(x)−f(3)f(x) - f(3), and the limit is the definition of f′(3)f'(3):

lim⁡x→3f(x)−f(3)x−3=f′(3)=0.\lim_{x \to 3}\frac{f(x) - f(3)}{x - 3} = f'(3) = 0.

Where students lose points

On the exam

Multiple-choice answers are given in simplified form, and the wrong choices are the results of slips like the ones above: a missing chain factor, a wrong sign on a "co" function, the power rule used on bxb^x. If your answer is not among the choices, simplify it or evaluate it at a number before redoing the work. On free-response questions, write the general rule with function names first (for example, h′(2)=f′(2)g(2)−f(2)g′(2)[g(2)]2h'(2) = \frac{f'(2)g(2) - f(2)g'(2)}{[g(2)]^2}) and then substitute; that line shows which procedure you chose, and an unsimplified numerical answer is acceptable without a calculator.

Check yourself

  1. Question 1

    If y=5x2−3xy = \dfrac{5x^2 - 3}{\sqrt{x}}, then dydx=\dfrac{dy}{dx} =

    1. A

      10x12x−1/2\dfrac{10x}{\frac{1}{2}x^{-1/2}}

    2. B

      152x1/2−32x−3/2\dfrac{15}{2}x^{1/2} - \dfrac{3}{2}x^{-3/2}

    3. C

      152x1/2+32x−3/2\dfrac{15}{2}x^{1/2} + \dfrac{3}{2}x^{-3/2}

    4. D

      152x3/2+32x−1/2\dfrac{15}{2}x^{3/2} + \dfrac{3}{2}x^{-1/2}

    Show answer

    C

    Split the one-term denominator: y=5x3/2−3x−1/2y = 5x^{3/2} - 3x^{-1/2}, so y′=152x1/2+32x−3/2y' = \dfrac{15}{2}x^{1/2} + \dfrac{3}{2}x^{-3/2}. Choice B loses the sign from differentiating −3x−1/2-3x^{-1/2} (the exponent −12-\frac{1}{2} times −3-3 is positive), choice A divides the derivatives of the top and bottom, and choice D forgets to lower the exponents.

  2. Question 2

    Let f(x)=x ∣x−2∣f(x) = x\,|x - 2|. Find f′(3)f'(3) and f′(0)f'(0).

    Show answer

    f′(3)=4f'(3) = 4 and f′(0)=2f'(0) = 2.

    No rule differentiates an absolute value directly, so rewrite ff in pieces first. For x>2x > 2, f(x)=x(x−2)=x2−2xf(x) = x(x-2) = x^2 - 2x, so f′(x)=2x−2f'(x) = 2x - 2 and f′(3)=4f'(3) = 4. For x<2x < 2, f(x)=x(2−x)=2x−x2f(x) = x(2-x) = 2x - x^2, so f′(x)=2−2xf'(x) = 2 - 2x and f′(0)=2f'(0) = 2. Treating ∣x−2∣|x - 2| as x−2x - 2 everywhere gives f′(0)=−2f'(0) = -2, the wrong sign.

  3. Question 3

    ddx(e3+xe+ex)=\dfrac{d}{dx}\left(e^3 + x^e + e^x\right) =

    1. A

      3e2+exe−1+ex3e^2 + ex^{e-1} + e^x

    2. B

      exe−1+xex−1ex^{e-1} + xe^{x-1}

    3. C

      exe−1+exex^{e-1} + e^x

    4. D

      xe+exx^e + e^x

    Show answer

    C

    e3e^3 is a constant, so its derivative is 0. xex^e has a variable base and constant exponent, so the power rule gives exe−1ex^{e-1}. exe^x is its own derivative. Choice A differentiates the constant e3e^3 as if ee were the variable, and choice B uses the power rule on exe^x.

  4. Question 4

    If y=sin⁡(x2)+(sin⁡x)2y = \sin\left(x^2\right) + (\sin x)^2, then dydx=\dfrac{dy}{dx} =

    1. A

      2xcos⁡(x2)+2sin⁡xcos⁡x2x\cos\left(x^2\right) + 2\sin x\cos x

    2. B

      cos⁡(x2)+2sin⁡xcos⁡x\cos\left(x^2\right) + 2\sin x\cos x

    3. C

      2xcos⁡(x2)+2sin⁡x2x\cos\left(x^2\right) + 2\sin x

    4. D

      2xcos⁡x+2sin⁡xcos⁡x2x\cos x + 2\sin x\cos x

    Show answer

    A

    In sin⁡(x2)\sin\left(x^2\right) the sine is taken last, so the chain rule gives cos⁡(x2)⋅2x\cos\left(x^2\right)\cdot 2x. In (sin⁡x)2(\sin x)^2 the squaring is last, so the chain rule gives 2sin⁡x⋅cos⁡x2\sin x\cdot\cos x. Choice B drops the inside derivative 2x2x, C drops the inside derivative cos⁡x\cos x, and D evaluates the outer cosine at xx instead of at the inside x2x^2.

Go deeper