On this page0% through guide
Differentiation: Composite, Implicit, and Inverse Functions
Track every dependency when variables are nested or linked.
What you’ll learn
- Apply chain, implicit, and inverse differentiation.
- Use derivatives of logarithmic and inverse-trigonometric functions.
- Interpret higher derivatives.
Before you begin
A composition f(g(x)) applies g first and then f. An implicit equation relates x and y without necessarily solving for y. When y depends on x, differentiating a y-expression requires a factor of dy/dx.
Read figure values as text
Upper branch: -2: 0; -1.9166666666666667: 0.57130455003342; -1.8333333333333333: 0.7993052538854535; -1.75: 0.9682458365518543; -1.6666666666666667: 1.1055415967851332; -1.5833333333333333: 1.2219065248845984; -1.5: 1.3228756555322954; -1.4166666666666665: 1.4117561955081182; -1.3333333333333335: 1.4907119849998596; -1.25: 1.5612494995995996; -1.1666666666666665: 1.6244657241348275; -1.0833333333333335: 1.6811867501526678; -1: 1.7320508075688772; -0.9166666666666667: 1.7775607506417952; -0.8333333333333333: 1.818118685772619; -0.75: 1.8540496217739157; -0.6666666666666667: 1.8856180831641267; -0.5833333333333333: 1.9130400472081661; -0.5: 1.9364916731037085; -0.41666666666666674: 1.9561157657175836; -0.33333333333333326: 1.9720265943665387; -0.25: 1.984313483298443; -0.16666666666666674: 1.9930434571835665; -0.08333333333333326: 1.998263134713633; 0: 2; 0.08333333333333348: 1.998263134713633; 0.16666666666666652: 1.9930434571835665; 0.25: 1.984313483298443; 0.3333333333333335: 1.9720265943665387; 0.4166666666666665: 1.9561157657175836; 0.5: 1.9364916731037085; 0.5833333333333335: 1.913040047208166; 0.6666666666666665: 1.8856180831641267; 0.75: 1.8540496217739157; 0.8333333333333335: 1.818118685772619; 0.9166666666666665: 1.7775607506417952; 1: 1.7320508075688772; 1.0833333333333335: 1.6811867501526678; 1.1666666666666665: 1.6244657241348275; 1.25: 1.5612494995995996; 1.3333333333333335: 1.4907119849998596; 1.4166666666666665: 1.4117561955081182; 1.5: 1.3228756555322954; 1.5833333333333335: 1.2219065248845982; 1.6666666666666665: 1.1055415967851334; 1.75: 0.9682458365518543; 1.8333333333333335: 0.7993052538854529; 1.9166666666666665: 0.5713045500334207; 2: 0 • Lower branch: -2: 0; -1.9166666666666667: -0.57130455003342; -1.8333333333333333: -0.7993052538854535; -1.75: -0.9682458365518543; -1.6666666666666667: -1.1055415967851332; -1.5833333333333333: -1.2219065248845984; -1.5: -1.3228756555322954; -1.4166666666666665: -1.4117561955081182; -1.3333333333333335: -1.4907119849998596; -1.25: -1.5612494995995996; -1.1666666666666665: -1.6244657241348275; -1.0833333333333335: -1.6811867501526678; -1: -1.7320508075688772; -0.9166666666666667: -1.7775607506417952; -0.8333333333333333: -1.818118685772619; -0.75: -1.8540496217739157; -0.6666666666666667: -1.8856180831641267; -0.5833333333333333: -1.9130400472081661; -0.5: -1.9364916731037085; -0.41666666666666674: -1.9561157657175836; -0.33333333333333326: -1.9720265943665387; -0.25: -1.984313483298443; -0.16666666666666674: -1.9930434571835665; -0.08333333333333326: -1.998263134713633; 0: -2; 0.08333333333333348: -1.998263134713633; 0.16666666666666652: -1.9930434571835665; 0.25: -1.984313483298443; 0.3333333333333335: -1.9720265943665387; 0.4166666666666665: -1.9561157657175836; 0.5: -1.9364916731037085; 0.5833333333333335: -1.913040047208166; 0.6666666666666665: -1.8856180831641267; 0.75: -1.8540496217739157; 0.8333333333333335: -1.818118685772619; 0.9166666666666665: -1.7775607506417952; 1: -1.7320508075688772; 1.0833333333333335: -1.6811867501526678; 1.1666666666666665: -1.6244657241348275; 1.25: -1.5612494995995996; 1.3333333333333335: -1.4907119849998596; 1.4166666666666665: -1.4117561955081182; 1.5: -1.3228756555322954; 1.5833333333333335: -1.2219065248845982; 1.6666666666666665: -1.1055415967851334; 1.75: -0.9682458365518543; 1.8333333333333335: -0.7993052538854529; 1.9166666666666665: -0.5713045500334207; 2: 0
Explain these starting ideas in your own words. Revisit them whenever a later step feels unclear.
The chain rule follows nested dependence
For a composition f(g(x)), changing x changes g, which then changes f. The derivative multiplies the outer derivative evaluated at the inner expression by the inner derivative. Work from the outside inward and preserve the inner expression until its own derivative is taken.
A common error is differentiating only the outer function. Another is evaluating the outer derivative at x rather than at g(x). Tables can supply the needed values: to find (f∘g)′(a), locate g(a), then f′ at that output, and multiply by g′(a).
Identify the outer function and inner function first. Evaluate the outer derivative at the inner expression, then multiply by the inner derivative.
Implicit differentiation treats y as a function
An equation can define y through a relationship with x without an explicit y = f(x) formula. Differentiate both sides with respect to x, attaching y′ whenever the chain rule differentiates a y-dependent expression. Then solve for y′ if possible.
Substitute a point only after differentiating unless the requested reasoning explicitly permits another method. Substituting constant coordinate values too early erases the variable relationship. A zero denominator in a slope expression may indicate a vertical tangent, but examine numerator and local curve behavior before concluding.
Inverse derivatives reverse local rates
If f is one-to-one near a point and f′ is nonzero there, the inverse’s derivative is the reciprocal of the original derivative at the corresponding input. The evaluation point matters: an inverse input is an original output.
Inverse trigonometric derivatives follow from this relationship with appropriate restricted domains. For example, d/dx(arctan x) = , while d/dx(arcsin x) = (1−x2) for −1 < x < 1. A composite argument requires another chain-rule factor.
PAUSE & TRY IT
Why is f′(a) ≠ 0 required in the usual inverse derivative formula?
Reveal answer
A zero local rate cannot be inverted to a finite reciprocal slope by that formula.
Logarithms and exponentials require base awareness
For u(x) > 0, d/dx ln u = u′/u. More generally, ln|u| has the same derivative wherever u is nonzero and differentiable. For a positive constant base b ≠ 1, the derivative of bx is bx ln b, and the derivative of logb x is .
Distinguish a variable base raised to a constant power from a constant base raised to a variable exponent. Expressions such as xx combine both dependencies and can be handled by logarithmic differentiation on a suitable positive domain. State that domain before taking logs.
PAUSE & TRY IT
What is d/dx ln(1+x2)?
Reveal answer
.
Higher derivatives measure changing rates
The second derivative is the derivative of the first derivative. In motion, it is acceleration when the original function is position. A third derivative would describe the rate of change of acceleration, but interpret only what the problem asks.
When an implicit first derivative contains x and y, differentiating again requires the chain rule and often the product or quotient rule. Replace y′ using the first-derivative relationship only after correctly differentiating. Do not treat y as a constant in the second step.
PAUSE & TRY IT
What does a second derivative of position measure?
Reveal answer
Acceleration.
Peel a composition from the outside inward
For y=(3x2+1)4, the outer operation is raising something to the fourth power and the inner expression is 3x2+1. Differentiate the outer operation while leaving the inner expression intact, then multiply by the derivative of the inner expression: y′=4(3x2+1)3(6x). The inner expression is not replaced by its derivative inside the power.
Nested compositions may require several factors. In sin((x2+1)3), differentiate sine, then the cube, then x2+1. Name intermediate variables if the nesting is hard to see. A product can also contain compositions, so product and chain rules can be needed in the same line. Check each factor against a particular layer rather than memorizing a visual pattern.
PAUSE & TRY IT
Why does the derivative of y2 include y′ in implicit differentiation?
Reveal answer
Because y is itself a function of x, so the chain rule applies.
Implicit differentiation with a clean algebra finish
Differentiate both sides with respect to x, treating y as a function of x. The derivative of y2 is 2y y′, and the derivative of xy is y+xy′ by the product rule. Collect all terms containing y′ on one side, factor y′, and divide only after identifying where the denominator is nonzero.
A requested tangent slope at a point requires both coordinates to satisfy the original equation. Substitute them into the derivative expression after differentiating. A zero denominator can signal a vertical tangent or a more complicated situation; inspect the original relation and numerator rather than declaring every such point a vertical tangent. For a second derivative, differentiate the first-derivative relation again and retain the dependence of y on x.
PAUSE & TRY IT
Differentiate (5−x3)6.
Reveal answer
6(5−x3)5(−3x2)=−18x2(5−x3)5.
Inverse rates and inverse trigonometric domains
If f is invertible near a and f′(a)≠0, then the inverse derivative at f(a) is ′(a). The input of the inverse is an output of the original function. In a table, first find the row where f(a) equals the desired inverse input, then use the slope from that row. Confusing the row input with its output is a common error.
Inverse trigonometric functions use restricted ranges to make them single-valued. The derivative of arcsin x involves √(1−x2), while the derivative of arctan x involves 1+x2. A composition such as arctan(2x) also requires the inner derivative. Check the function’s domain and where the derivative formula is defined; a formula does not remove endpoint restrictions.
Track each dependency through the chain rule
For f(g(x)), differentiate the outside function at the inside value, then multiply by g′(x). Naming the inner expression u can make the dependency visible. In sin(x2), the cosine is evaluated at x2 and multiplied by 2x; differentiating only the outer function misses how fast its input changes.
Nested expressions may require several chain-rule factors. Work from the outside inward, preserving each unchanged inner expression until its turn. A product inside a composition still needs its own product rule. Parentheses are part of the reasoning, not decoration.
A units check can confirm the chain structure: if y changes with u and u changes with x, then (dy/du)(du/dx) has units of y per x. This same relationship later supports related rates and substitution in integration.
Implicit differentiation means y also depends on x
An equation such as x2+y2=25 describes a relation. Differentiate both sides with respect to x, writing dy/dx whenever a y-dependent term is differentiated. The derivative of y2 is 2y·dy/dx; treating y as a constant changes the problem.
Collect derivative terms and solve for dy/dx. Evaluate at a point only after obtaining the derivative relation unless a carefully organized equivalent method is used. Verify that the point lies on the original curve. A zero denominator can signal a vertical tangent or another feature requiring further analysis, not automatically a horizontal tangent.
For a second derivative, differentiate the first derivative while continuing to treat y as a function of x. Substitute the first-derivative expression when needed. The presence of dy/dx in the intermediate calculation is expected.
PAUSE & TRY IT
Differentiate x2+y2=25 implicitly.
Reveal answer
2x+2y y′=0, so y′=−x/y where y≠0. The y′ factor comes from y depending on x.
Differentiate inverses at corresponding inputs
If g=f-1, then g′(a)=′(g(a)) when the relevant derivative exists and is nonzero. First find the original input that produces a. The slope is reciprocated at corresponding points, not at the same numerical x-coordinate by default.
Inverse trigonometric derivatives arise from restricted branches. Their domains matter: arcsine requires inputs between −1 and 1 and has derivative behavior that becomes unbounded at the endpoints. A chain-rule factor is still required when its argument is a function of x.
Logarithmic differentiation can simplify products, quotients, or variable powers when expressions are positive or absolute values are handled appropriately. Taking logarithms does not eliminate the chain rule: differentiating ln y gives y′/y. Finish by solving for y′ and replacing y with the original expression.
Build a derivative from a table of nested functions
For h(x)=f(g(x)), begin by finding g at the requested input. Then look up f′ at that output, and multiply by g′ at the original input. A common mistake uses f′ at the original input as well, ignoring the composition. A small dependency diagram can prevent that substitution error.
For h(x)=f(x)g(x), the two terms use function values and derivatives at the same input. A table must provide f, g, f′, and g′ there. For a quotient, check that the denominator’s function value is nonzero. The existence of numbers in a table does not establish an unstated derivative elsewhere.
When a problem gives an inverse, first locate the row whose f-value equals the inverse input. This is a search for a corresponding point. Only then reciprocate the derivative. Keeping a written chain of input → inner output → outer derivative makes table problems as systematic as symbolic ones.
PAUSE & TRY IT
In (f∘g)′(a), where is f′ evaluated?
Reveal answer
At g(a), then multiplied by g′(a).
Higher derivatives require a new differentiation pass
A second derivative differentiates the entire first derivative. If a chain-rule result is a product, the next pass needs the product rule as well as any chain rule. For y=sin(x2), y′=2x cos(x2), and y″ includes both 2cos(x2) and −4x2sin(x2). Omitting the derivative of 2x loses one term.
With implicit relations, every occurrence of y remains dependent on x during the second pass. Substitute y′ only after preserving all dependency factors. The result may be simplified using the original relation, which can reveal a compact expression and improve sign analysis.
An inverse derivative can become very large where the original slope is small. Geometrically, reflecting a nearly horizontal tangent across y=x makes a steep tangent. The reciprocal formula requires a nonzero original derivative; a zero slope calls for separate analysis rather than division by zero.
FROM IDEA TO APPLICATION
Worked examples
A nested derivative
Differentiate f(x) = sin(3x2).
Reveal worked solution
- The outer derivative is cosine evaluated at 3x2.
- The inner derivative is 6x.
f′(x) = 6x cos(3x2).
Implicit slope
For x2 + y2 = 25, find the slope at (3,4).
Reveal worked solution
- Differentiate: 2x + 2yy′ = 0.
- Solve y′ = −x/y.
- Substitute the point.
The slope is .
An inverse from a table
A differentiable one-to-one function has f(2) = 7 and f′(2) = 5. Find (f-1)′(7).
Reveal worked solution
- The inverse input 7 corresponds to original input 2.
- Take the reciprocal of f′(2).
.
Implicit slope with a product
Find dy/dx at (1,2) on x2+xy+y2=7.
Reveal worked solution
- Differentiate: 2x+y+xy′+2yy′=0.
- Collect: (x+2y)y′=−2x−y.
- Substitute (1,2): y′=.
The tangent slope is . The point satisfies 1+2+4=7.
Find an inverse derivative from data
A differentiable invertible function satisfies f(4)=9 and f′(4)=−3. Find (f-1)′(9).
Reveal worked solution
- The original input corresponding to inverse input 9 is 4.
- Use the reciprocal of f′ at that original input.
(f-1)′(9)=.
Use corresponding inverse points
Suppose f(2)=7 and f′(2)=−3. Find (f-1)′(7).
Reveal worked solution
- The inverse sends 7 back to 2.
- Use the original derivative at 2, not at 7.
- The inverse derivative is .
, provided the inverse is differentiable there.
A chain rule from tabulated information
Given g(2)=5, g′(2)=−3, and f′(5)=4, find the derivative of f(g(x)) at x=2.
Reveal worked solution
- Evaluate the inside first: g(2)=5.
- Use f′(5)=4.
- Multiply by g′(2)=−3.
The derivative is −12.
A second chain-rule pass
Find y″ for y=sin(x2).
Reveal worked solution
- First derivative: y′=2x cos(x2).
- Differentiate the product: 2cos(x2)+2x[−sin(x2)·2x].
y″=2cos(x2)−4x2sin(x2).
MAKE THE DISTINCTION
Common mistakes, clearer reasoning
The trapEvaluate an inverse derivative at the same numerical input in the original derivative.
The better explanationFind the corresponding original input first.
The trapDifferentiating y² gives 2y when x is the independent variable.
The better explanationIt gives 2yy′ because y depends on x.
RETRIEVE BEFORE YOU REVEAL
Practice checkpoints
Revisit the quick checks from this guide without looking back. Explain why, then reveal the answer.
1. What is d/dx ln(1+x2)?
Reveal answer
.
2. Why is f′(a) ≠ 0 required in the usual inverse derivative formula?
Reveal answer
A zero local rate cannot be inverted to a finite reciprocal slope by that formula.
3. What does a second derivative of position measure?
Reveal answer
Acceleration.
4. Why does the derivative of y2 include y′ in implicit differentiation?
Reveal answer
Because y is itself a function of x, so the chain rule applies.
5. Differentiate (5−x3)6.
Reveal answer
6(5−x3)5(−3x2)=−18x2(5−x3)5.
6. Differentiate x2+y2=25 implicitly.
Reveal answer
2x+2y y′=0, so y′=−x/y where y≠0. The y′ factor comes from y depending on x.
7. In (f∘g)′(a), where is f′ evaluated?
Reveal answer
At g(a), then multiplied by g′(a).
Key language
- Composition
- A function evaluated at another function’s output.
- Implicit relation
- An equation linking variables without isolating one explicitly.
- Inverse function
- A function reversing a one-to-one input–output mapping.
- Higher derivative
- A derivative of a previously differentiated function.
These rules support related rates, optimization, differential equations, and accumulation functions.