Evaluate by Substitution: Plug an Input into a Function Rule

By Vegard Gjerde Based on Masterful Learning 8 min read
evaluate-by-substitution functions math learning-strategies

Evaluate by Substitution is the move that computes a function’s output at a specific input: if f(x)=E(x)f(x) = E(x), then f(a)=E(a)f(a) = E(a) — replace xx with aa throughout the rule. It applies when aa is in the domain of ff. Checking the domain condition before substituting — and recognizing when it fails — is a foundational functions fluency skill practiced in the Unisium Study System.

Evaluate by Substitution: the move f(x)=E(x) implies f(a)=E(a) shown with condition a in dom(f)
The Evaluate by Substitution move f(x)=E(x)f(a)=E(a)f(x)=E(x) \Rightarrow f(a)=E(a) under condition adom(f)a \in \mathrm{dom}(f).

On this page: The Principle | Conditions | Failure Modes | EE Questions | Retrieval Practice | Practice Ground | Solve a Problem | FAQ


The Principle

The move: Replace the input variable xx with a specific value aa in the function’s rule to compute the output.

The invariant: For any input aa in the domain of ff, substituting aa into the rule gives the correct output: f(a)=E(a)f(a) = E(a).

Pattern: f(x)=E(x)f(a)=E(a)f(x) = E(x) \quad \longrightarrow \quad f(a) = E(a)

Legal ✓Illegal ✗
f(x)=x+1,  f(8)=8+1=3f(x)=\sqrt{x+1},\; f(8)=\sqrt{8+1}=3f(x)=x+1,  f(5)=5+1=4f(x)=\sqrt{x+1},\; f(-5)=\sqrt{-5+1}=\sqrt{-4} (undefined: 5dom(f)-5\notin\mathrm{dom}(f))

In the legal case a=8a = 8 satisfies x+10x + 1 \geq 0 (8+1=908 + 1 = 9 \geq 0), so the move applies. In the illegal case a=5a = -5 violates the domain condition (5+1=4<0-5 + 1 = -4 < 0) — the expression E(5)E(-5) is not defined, and the move cannot be applied.


Conditions of Applicability

Condition: adom(f)a \in \mathrm{dom}(f)

Before applying, check: verify that aa satisfies every restriction of the rule — no zero denominator, no even root of a negative, no logarithm of a non-positive value.

  • If aa is outside the domain, the expression E(a)E(a) is undefined and the move cannot be applied.
  • For functions with implied domains, check whether the rule produces a defined real number at aa.

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


Common Failure Modes

Failure mode: substitute a value without verifying it is in the domain (e.g., evaluating f(x)=xf(x)=\sqrt{x} at a=4a = -4) → E(a)E(a) is undefined; the result is a non-real or meaningless expression.

Debug: before substituting, identify every domain restriction in the rule and confirm aa satisfies each one.


Elaborative Encoding

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

Within the Principle

  • What does “replacing xx with aa in the rule E(x)E(x)” mean, and why does E(a)E(a) equal the function’s output at aa?
  • What does "adom(f)a \in \mathrm{dom}(f)" require in concrete terms — what are you checking before substituting?

For the Principle

  • How do you identify the domain of a function whose rule involves a square root, a denominator, or a logarithm?
  • What would change about your check if the domain were restricted explicitly (e.g., f(x)=2xf(x) = 2x for x0x \geq 0 only) rather than implied by the rule?

Between Principles

  • How does Evaluate by Substitution relate to Piecewise Branch Selection? When must you determine the correct branch before you can substitute?

Generate an Example

  • Describe a function and an input value where substituting without checking the domain produces an undefined result. What would you see, and how would you catch the error before computing?

Retrieval Practice

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

State the move in one sentence: _____Replace the input variable x with the value a in the function rule E(x) to obtain f(a) = E(a).
Write the canonical pattern: _____f(x)=E(x)f(a)=E(a)f(x)=E(x) \Rightarrow f(a)=E(a)
State the canonical condition: _____adom(f)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(x)=2x6f(x) = \sqrt{2x - 6}, evaluate f(7)f(7).

StepExpressionOperation
0f(x)=2x6f(x) = \sqrt{2x-6}; domain restriction: 2x60x32x-6 \geq 0 \Rightarrow x \geq 3
1a=73a = 7 \geq 3, so 7dom(f)7 \in \mathrm{dom}(f)Verify condition before substituting
2f(7)=2(7)6f(7) = \sqrt{2(7)-6}Substitute: replace xx with 77 in E(x)E(x)
3f(7)=146=8f(7) = \sqrt{14-6} = \sqrt{8}Evaluate inside the radical
4f(7)=22\underline{f(7) = 2\sqrt{2}}Simplify: 8=42=22\sqrt{8} = \sqrt{4 \cdot 2} = 2\sqrt{2}

Drills

Format A — Forward step

Apply the principle once.

f(x)=3x+5f(x) = 3x + 5. Evaluate f(2)f(2).

Reveal

a=2R=dom(f)a = 2 \in \mathbb{R} = \mathrm{dom}(f); substitute:

f(2)=3(2)+5=11f(2) = 3(2) + 5 = 11


Apply the principle once.

g(x)=x24x+4g(x) = x^2 - 4x + 4. Evaluate g(1)g(-1).

Reveal

a=1R=dom(g)a = -1 \in \mathbb{R} = \mathrm{dom}(g); substitute:

g(1)=(1)24(1)+4=1+4+4=9g(-1) = (-1)^2 - 4(-1) + 4 = 1 + 4 + 4 = 9


Can you apply the principle here? Justify your answer.

h(x)=x4h(x) = \sqrt{x - 4}. Evaluate h(0)h(0).

Reveal

No. The domain of hh is {x:x4}\{x : x \geq 4\}. Since 0<40 < 4, we have 0dom(h)0 \notin \mathrm{dom}(h) — the move does not apply. h(0)=04=4h(0) = \sqrt{0 - 4} = \sqrt{-4} is undefined.


Apply the principle once.

p(x)=(2x+1)(x3)p(x) = (2x + 1)(x - 3). Evaluate p(4)p(4).

Reveal

a=4R=dom(p)a = 4 \in \mathbb{R} = \mathrm{dom}(p); substitute:

p(4)=(2(4)+1)(43)=(9)(1)=9p(4) = (2(4)+1)(4-3) = (9)(1) = 9


Near-miss: Is this application valid?

t(x)=1x29t(x) = \dfrac{1}{x^2 - 9}. Evaluate t(3)t(3).

Reveal

No. x29=0x^2 - 9 = 0 when x=±3x = \pm 3, so dom(t)=R{3,3}\mathrm{dom}(t) = \mathbb{R} \setminus \{-3,\, 3\}. Since 3dom(t)3 \notin \mathrm{dom}(t), substitution is invalid — the denominator is zero and t(3)t(3) is undefined.

a=3a = 3 looks like a valid input at a glance, but the domain check catches the singularity.


Format B — Action label

What principle was applied, and why is it valid?

f(x)=4x7f(5)=4(5)7=13f(x) = 4x - 7 \quad \longrightarrow \quad f(5) = 4(5) - 7 = 13

Reveal

Evaluate by Substitution: a=5dom(f)=Ra = 5 \in \mathrm{dom}(f) = \mathbb{R}, so f(5)=E(5)=4(5)7=13f(5) = E(5) = 4(5) - 7 = 13. The domain condition holds; the move is valid.


What was done between these two steps?

q(x)=x3+1q(2)=(2)3+1=7q(x) = x^3 + 1 \quad \longrightarrow \quad q(-2) = (-2)^3 + 1 = -7

Reveal

Evaluate by Substitution: replaced xx with a=2a = -2 in the rule E(x)=x3+1E(x) = x^3 + 1. Since 2dom(q)=R-2 \in \mathrm{dom}(q) = \mathbb{R}, the move is valid. The result: (2)3+1=8+1=7(-2)^3 + 1 = -8 + 1 = -7.


Valid application or domain violation?

w(x)=x+2w(x) = \sqrt{x + 2}. Someone writes w(5)=5+2=3w(-5) = \sqrt{-5 + 2} = \sqrt{-3} and claims Evaluate by Substitution was applied correctly. Is this valid?

Reveal

No. dom(w)={x:x2}\mathrm{dom}(w) = \{x : x \geq -2\}. Since 5<2-5 < -2, we have 5dom(w)-5 \notin \mathrm{dom}(w) — the domain condition fails. The result 3\sqrt{-3} is not a real number. The domain check must be performed before any substitution.


Format C — Transition identification

Which step in the chain below applies Evaluate by Substitution?

Chain: define f(x)=5x2    f(x) = 5 - x^2 \;\to\; choose a=3    a = 3 \;\to\; write f(3)=532    f(3) = 5 - 3^2 \;\to\; simplify to 4-4.

Reveal

The third arrow — from “choose a=3a = 3” to “write f(3)=532f(3) = 5 - 3^2” — applies Evaluate by Substitution: it replaces xx with 33 in the rule E(x)=5x2E(x) = 5 - x^2. The condition 3dom(f)=R3 \in \mathrm{dom}(f) = \mathbb{R} holds, so the move is valid.


Which of the following inputs can be substituted into g(x)=2x21g(x) = \dfrac{2}{x^2 - 1}?

a{2,  1,  0,  1,  3}a \in \{-2,\; -1,\; 0,\; 1,\; 3\}

Reveal

dom(g)=R{1,1}\mathrm{dom}(g) = \mathbb{R} \setminus \{-1,\, 1\} — the denominator x21=0x^2 - 1 = 0 at x=±1x = \pm 1.

Valid inputs: a{2,0,3}a \in \{-2, 0, 3\}.

Invalid: a=1a = -1 and a=1a = 1 — both make the denominator zero; the move cannot be applied.


Solve a Problem

Apply what you’ve learned with Problem Solving.

Problem: Starting from r(x)=log2(x3)r(x) = \log_2(x - 3), reach the value r(7)r(7).

Full solution
StepExpressionMove
0r(x)=log2(x3)r(x) = \log_2(x-3); domain restriction: x3>0x>3x - 3 > 0 \Rightarrow x > 3
1a=7>3a = 7 > 3, so 7dom(r)7 \in \mathrm{dom}(r)Verify condition: argument of log2\log_2 must be positive
2r(7)=log2(73)r(7) = \log_2(7-3)Substitute: replace xx with 77 in E(x)E(x)
3r(7)=log2(4)r(7) = \log_2(4)Evaluate: 73=47 - 3 = 4
4r(7)=2\underline{r(7) = 2}log2(4)=2\log_2(4) = 2 since 22=42^2 = 4

FAQ

What is Evaluate by Substitution?

Evaluate by Substitution is the principle that if a function is given by the rule f(x)=E(x)f(x) = E(x), then its value at an input aa is f(a)=E(a)f(a) = E(a) — obtained by replacing every occurrence of xx in the rule with aa. The move is valid when aa is in the domain of ff.

When is Evaluate by Substitution valid?

The move is valid exactly when adom(f)a \in \mathrm{dom}(f): the input aa must satisfy all domain restrictions of the rule — no zero in a denominator, no negative under an even radical, no non-positive argument to a logarithm.

What goes wrong if I forget the condition?

If adom(f)a \notin \mathrm{dom}(f), the expression E(a)E(a) is undefined. You might produce a square root of a negative number, a division by zero, or a logarithm of a non-positive value — each of which is not a real number.

How is Evaluate by Substitution different from Piecewise Branch Selection?

Both involve substituting a value into a piece of the function’s rule. Evaluate by Substitution applies when ff is given by a single rule and aa is in its domain. Piecewise Branch Selection adds a prior step: first determine which branch of the piecewise definition governs aa, then substitute into that branch using Evaluate by Substitution.

Does Evaluate by Substitution apply to any rule form?

Yes, to any function given by a rule f(x)=E(x)f(x) = E(x). The domain restriction depends on the rule: polynomials have no exclusions, rationals exclude zeros in the denominator, even radicals require non-negative arguments, and logarithms require positive arguments. In all cases the substitution step itself is the same.

This principle does not cover other representation forms. Reading a value from a graph, looking it up in a table, or evaluating a recursive definition each requires its own procedure. For a piecewise-defined function, you must select the correct branch first (Piecewise Branch Selection), then apply Evaluate by Substitution to that branch’s rule.


How This Fits in Unisium

Evaluate by Substitution is the core move for turning a Function Rule Definition into a value: check the domain, substitute the input, then simplify. Within the functions subdomain, condition-recognition drills build the habit of checking adom(f)a \in \mathrm{dom}(f) first, so domain errors are caught before they spread into affine transforms, piecewise, composition, and inverse work.

Explore further:

  • Functions Subdomain Map — Return to the functions hub to see how direct evaluation sits between explicit rules and later multi-rule moves
  • Function Rule Definition — The representational prerequisite: substitution only makes sense once the rule and its domain are specified
  • Affine Transform Form — Transformed functions still get evaluated by tracing the inner input map and then substituting into the base rule
  • Piecewise Branch Selection — When different rules govern different regions, choose the correct branch before substituting
  • Composition Expansion — After direct substitution is fluent, extend the same input-to-output logic to nested function values
  • Principle Structures — See how Evaluate by Substitution anchors the functions transformational hierarchy
  • Elaborative Encoding — Deepen your sense of why the domain condition is not merely a formality
  • Retrieval Practice — Make the pattern f(a)=E(a)f(a) = E(a) and its condition instantly recallable

Ready to master Evaluate by Substitution? Start practicing with Unisium or explore the full learning framework in Masterful Learning.

Masterful Learning book cover

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

Ready to apply this strategy?

Join Unisium and start implementing these evidence-based learning techniques.

Start Learning with Unisium Read More Guides

Want the complete framework? This guide is from Masterful Learning.

Learn about the book →