Composition Expansion: Evaluate a Composed Function in Two Steps

On this page: The Principle | Conditions | Failure Modes | EE Questions | Retrieval Practice | Practice Ground | Solve a Problem | Related Principles | FAQ | How This Fits

---

The Principle

The move: At a specific input $a$, replace the composed-function notation $(f \circ g)(a)$ with the nested evaluation $f(g(a))$.

The invariant: At any input where the domain chain holds, this gives the same defined value as the composition.

Pattern: $(f \circ g)(a) \quad\longrightarrow\quad f(g(a))$

With $f(t)=\sqrt{t}$ (domain $[0,\infty)$) and $g(x)=x-3$:

Legal ✓	Illegal ✗
$g(7)=4\geq 0$ ✓; $(f\circ g)(7)\to f(g(7))=f(4)=2$	$g(1)=-2<0$ ✗; $(f\circ g)(1)\to f(g(1))=f(-2)$ — move invalid because $g(1)\notin\mathrm{dom}(f)$

---

Conditions of Applicability

Condition: $a\in\mathrm{dom}(g)$; $g(a)\in\mathrm{dom}(f)$

Before applying, check: Does $a$ land in $\mathrm{dom}(g)$? Does the inner output $g(a)$ land in $\mathrm{dom}(f)$?

If the condition is violated: Expanding $(f \circ g)(a) = f(g(a))$ applies $f$ to a value outside its domain — the expression is undefined, but the notation gives no warning.

• The domain chain has two links: first, $a$ must be a valid input for $g$; second, $g(a)$ must be a valid input for $f$.
• When $g$ is defined everywhere (e.g., $g(x) = x - 3$ on $\mathbb{R}$), only the second link requires explicit checking.
• When both $f$ and $g$ are defined everywhere (e.g., polynomials), both links hold trivially and the expansion is always valid.

Want the complete framework behind this guide? Read Masterful Learning.

---

Common Failure Modes

Failure mode: expand $(f \circ g)(a)$ without checking whether $g(a)\in\mathrm{dom}(f)$ → $f$ is applied to a value outside its domain, producing an undefined or meaningless result with no visible error signal.

Debug: After computing $g(a)$, ask: “Is this output a valid input for $f$?” If not, the composition is undefined at $a$ — stop before evaluating $f$.

---

Failure mode: reverse the order and write $g(f(a))$ instead of $f(g(a))$ → a completely different function value is computed; the error is silent because neither function complains about the wrong ordering.

Debug: Read $(f \circ g)$ right-to-left: $g$ is applied first, then $f$. The rightmost function always acts first.

---

Elaborative Encoding

Use these questions to build deep understanding. (See Elaborative Encoding for the full method.)

Within the Principle

• What does the notation $(f \circ g)(a)$ mean, and why does evaluating $g$ first (rather than $f$ first) produce the correct result?
• Why does the domain chain require two separate checks rather than one? What would it mean for only the first link to hold and the second to fail?

For the Principle

• How do you decide, before computing anything, whether composition expansion is valid at a given input?
• What would change if $f$‘s domain were all real numbers — would any part of the condition check become unnecessary?

Between Principles

• How does composition expansion relate to the input-recovery form of inverse cancellation ($f^{-1}(f(a))=a$) in terms of domain chain structure? What condition must hold for that form, and how does it compare?

Generate an Example

• Describe a composition $(f \circ g)(a)$ where $g$ is defined at $a$ but $g(a)$ falls outside $\mathrm{dom}(f)$, making the expansion invalid. Choose specific functions and a specific input value to make the failure concrete.

---

Retrieval Practice

Answer from memory, then click to reveal and check. (See Retrieval Practice for the full method.)

State the composition expansion move in one sentence: _____Replace (f ∘ g)(a) with f(g(a)): evaluate the inner function g at a, then evaluate the outer function f at that result.

Write the canonical expansion pattern: _____$(f \circ g)(a)=f(g(a))$

State the canonical condition: _____$a\in\mathrm{dom}(g); g(a)\in\mathrm{dom}(f)$

---

Practice Ground

Use these exercises to build move-selection fluency. (See Self-Explanation for how to use worked examples effectively.)

Procedure Walkthrough

Starting from $(f \circ g)(5)$ with $f(t)=\sqrt{t}$ (domain $[0,\infty)$) and $g(x)=2x-6$ (domain $\mathbb{R}$), evaluate the composition.

Step	Expression	Operation
0	$(f \circ g)(5)$	—
1	$(f \circ g)(5)$	Inner output: $g(5)=2(5)-6=4$
2	$(f \circ g)(5)$	First link: $5\in\mathrm{dom}(g)=\mathbb{R}$ ✓ (automatic); second link: $4\in[0,\infty)$ ✓
3	$f(g(5))=f(4)$	Domain chain satisfied — apply composition expansion
4	$2$	Evaluate outer: $f(4)=\sqrt{4}=2$

---

Drills

Forward step — verify the domain chain, then evaluate

Drill 1. Let $f(t)=t+4$ and $g(x)=3x$ (both defined everywhere). Evaluate $(f \circ g)(2)$.

Reveal

$2\in\mathrm{dom}(g)=\mathbb{R}$ ✓; $g(2)=6\in\mathrm{dom}(f)=\mathbb{R}$ ✓.

$(f \circ g)(2)=f(g(2))=f(6)=6+4=10$

---

Drill 2. Let $f(t)=\sqrt{t}$ (domain $[0,\infty)$) and $g(x)=x-3$ (domain $\mathbb{R}$). Verify the domain chain, then evaluate $(f \circ g)(12)$.

Reveal

$g(12)=9\geq 0$ ✓; $9\in\mathrm{dom}(f)=[0,\infty)$ ✓.

$(f \circ g)(12)=f(g(12))=f(9)=\sqrt{9}=3$

---

Drill 3 (eligibility — which inputs are valid?). Let $f(t)=\sqrt{t}$ (domain $[0,\infty)$) and $g(x)=x-5$. Which inputs from $\{3,\,5,\,7,\,9\}$ allow composition expansion?

Reveal

Check $g(a)=a-5\geq 0$, i.e., $a\geq 5$:

• $a=3$: $g(3)=-2<0$ — not eligible (chain fails at link 2).
• $a=5$: $g(5)=0\geq 0$ ✓ — eligible.
• $a=7$: $g(7)=2\geq 0$ ✓ — eligible.
• $a=9$: $g(9)=4\geq 0$ ✓ — eligible.

---

Drill 4 (negative — applicability contrast). Let $f(t)=\sqrt{t}$ (domain $[0,\infty)$) and $g(x)=x-3$. Can composition expansion be applied at $a=1$?

Reveal

$g(1)=1-3=-2<0$, so $g(1)\notin\mathrm{dom}(f)=[0,\infty)$.

The domain chain fails at the second link. $(f \circ g)(1)$ is undefined — the expansion move $(f\circ g)(1)\to f(g(1))=f(-2)$ is invalid because the condition $g(a)\in\mathrm{dom}(f)$ is not satisfied.

---

Drill 5. Let $f(t)=\dfrac{1}{t}$ (domain $\mathbb{R}\setminus\{0\}$) and $g(x)=x^2+1$ (domain $\mathbb{R}$). Verify the domain chain, then evaluate $(f \circ g)(3)$.

Reveal

$3\in\mathrm{dom}(g)=\mathbb{R}$ ✓; $g(3)=10\neq 0$, so $10\in\mathrm{dom}(f)$ ✓.

$(f \circ g)(3)=f(g(3))=f(10)=\dfrac{1}{10}$

---

Drill 6 (near-miss — negative). Let $f(t)=\ln(t)$ (domain $(0,\infty)$) and $g(x)=5-x^2$. Attempt to evaluate $(f \circ g)(\sqrt{5})$. Does the domain chain hold?

Reveal

$g(\sqrt{5})=5-(\sqrt{5})^2=5-5=0$.

Since $\ln(0)$ is undefined, $0\notin\mathrm{dom}(f)=(0,\infty)$.

The chain fails — the expansion move $(f\circ g)(\sqrt{5})\to f(g(\sqrt{5}))=f(0)$ is invalid. This is a near-miss: $\sqrt{5}$ looks like a clean input for $g$, but $g$ maps it exactly to $0$, the one value excluded from $\mathrm{dom}(f)$.

---

Drill 7. Let $f(t)=\ln(t)$ (domain $(0,\infty)$) and $g(x)=e^x$ (domain $\mathbb{R}$). Verify the domain chain, then evaluate $(f \circ g)(3)$.

Reveal

$g(3)=e^3>0$, so $e^3\in\mathrm{dom}(f)=(0,\infty)$ ✓.

$(f \circ g)(3)=f(g(3))=f(e^3)=\ln(e^3)=3$

---

Action label — identify the operation

Drill 8. What was done between these two steps? (Use $g(x)=x-3$.)

$f(g(7)) \quad\longrightarrow\quad f(4)$

Reveal

Evaluated the inner function: $g(7)=7-3=4$.

(This is not the composition expansion step — that happened when $(f\circ g)(7)$ was written as $f(g(7))$. This step computes the numerical value of $g$.)

---

Drill 9. In the chain below, identify which step is the composition expansion step. (Use $g(x)=x^2+5$, $f(t)=\sqrt{t-5}$.)

$(f \circ g)(2) \;\longrightarrow\; f(g(2)) \;\longrightarrow\; f(9) \;\longrightarrow\; 2$

Reveal

Step 1: $(f \circ g)(2)\to f(g(2))$ is the composition expansion.

Domain check: $g(2)=4+5=9$, and $9-5=4\geq 0$, so $9\in\mathrm{dom}(f)$ ✓. The expansion is valid.

---

Drill 10. What was done between these two steps, and what condition makes it valid?

$(f \circ g)(4) \quad\longrightarrow\quad f(g(4))$

Reveal

Applied composition expansion: rewrote $(f \circ g)(4)$ as $f(g(4))$.

This is valid when $4\in\mathrm{dom}(g)$ and $g(4)\in\mathrm{dom}(f)$ — both links of the domain chain must hold.

---

Solve a Problem

Apply what you’ve learned with Problem Solving.

Problem: Let $f(x)=\sqrt{x+1}$ (domain $[-1,\infty)$) and $g(x)=x^2-2$ (domain $\mathbb{R}$). Evaluate $(f \circ g)(3)$.

Full solution

Step	Expression	Move
0	$(f \circ g)(3)$	—
1	$(f \circ g)(3)$	Inner output: $g(3)=3^2-2=7$
2	$(f \circ g)(3)$	First link: $3\in\mathrm{dom}(g)=\mathbb{R}$ ✓ (automatic); second link: $7\in[-1,\infty)$ ✓
3	$f(g(3))=f(7)$	Domain chain satisfied — apply composition expansion
4	$2\sqrt{2}$	Evaluate outer: $f(7)=\sqrt{7+1}=\sqrt{8}=2\sqrt{2}$

---

Related Principles

Principle	Key	Relationship
Composition Definition	functionComposition	Representational backbone — defines what $(f\circ g)(x)$ means; composition expansion is the move that applies this definition at a specific input
Piecewise Branch Selection	piecewiseBranchSelection	Same domain-gate pattern: before evaluating, you must verify which branch (or domain link) the input satisfies
Inverse Cancellation	inverseCancel	Closest sibling — its input-recovery form also requires a domain-side check ($a\in\mathrm{dom}(f)$) and produces a clean numeric result

---

FAQ

What is composition expansion?

Composition expansion is the move that rewrites $(f \circ g)(a)$ as $f(g(a))$: evaluate the inner function $g$ at input $a$, then feed that output into the outer function $f$. It is valid only when the domain chain condition holds — $a\in\mathrm{dom}(g)$ and $g(a)\in\mathrm{dom}(f)$.

When is composition expansion valid?

At input $a$: when $a$ is in the domain of $g$, and the output $g(a)$ is in the domain of $f$. If either condition fails, the composed function $f \circ g$ is not defined at $a$ and the expansion cannot be applied.

What goes wrong if I skip the domain check?

You may apply $f$ to a value outside its domain — for example, computing $\sqrt{-2}$ or $\ln(0)$. The result is undefined. The expansion notation itself gives no warning, making the mistake easy to overlook in a longer chain.

How is composition expansion different from the composition definition?

The definition $(f \circ g)(x) = f(g(x))$ states the general rule as a symbolic identity. Composition expansion is the move applied at a specific numeric input $a$ — it is the act of substituting $a$ and checking the domain chain, not just restating the definition.

Does the order of $f$ and $g$ matter?

Yes — order matters critically. $(f \circ g)(a)$ expands to $f(g(a))$: $g$ is applied first. $(g \circ f)(a)$ expands to $g(f(a))$: $f$ is applied first. These produce different values in general, and reversing the order is the most common error with no built-in signal.

---

How This Fits in Unisium

In Unisium, composition expansion is one of a family of function moves — alongside inverse cancellation and piecewise branch selection — all gated on an applicability condition that must be verified before the move is valid. Repeated drill practice in the Unisium Study System trains the “condition-first, then expand” reflex: you learn to check whether $g(a)$ lands in the domain of $f$ as automatically as you check whether a radical has a non-negative radicand. That reflex is what separates fluent function work from error-prone pattern-matching.

Explore further:

• Functions Subdomain Map — Return to the functions hub to see how composition work feeds inverse moves and later calculus prerequisites
• Derivative Chain Rule — This calculus successor reuses the same inner/outer structure, but differentiates it instead of evaluating it
• Principle Structures — See where composition expansion sits in the functions principle hierarchy
• Elaborative Encoding — Build deep understanding of why the domain chain has two links
• Retrieval Practice — Make the condition and pattern instantly accessible

Ready to master composition expansion? Start practicing with Unisium or explore the full learning framework in Masterful Learning.

Masterful Learning

The study system for physics, math, & programming that works: retrieval, connection, explanation, problem solving, and more.

Read the book (opens in new tab) ISBN 979-8-2652-9642-9