← All parts of this equation

Equation 17 · Part 3 · The Token Tax of Giving a Model More Tools

Symbol tau_0

T(n)≈τ0+nsˉT(n) \approx \tau_0 + n\bar{s}
τ0\tau_0

What this part means

tau0u_0 is a part of this expression. Its role is fixed by the surrounding article and by the operations shown in the formula.

Its job in the formula

tau0u_0 is a part of this expression. Its role is fixed by the surrounding article and by the operations shown in the formula.

The passage around this formula

…size: “Only the Tool Search Tool loaded upfront (~500 tokens)” [ 5 ] . Applied to the same 58-tool, roughly 55,000-token example described above, that reframes the earlier formula: instead of the full T(n) ≈\approx τ0\tau_0 + nsˉ\bar{s} , a session that only ever actually needs m of the n available tools pays approximately τ0\tau_0 + σ\sigma + msˉ\bar{s} , where σ\sigma is the search tool’s own fixed overhead. The fraction of the original tax avoided is

Read this part in the article →

Learn the underlying idea

A subscript is a label attached below a symbol. It often selects a time step, component, category, or member of a sequence.

Open the illustrated subscripts: which member of a family? guide →

See this notation across published equations →

Sources cited in the surrounding passage

These citations provide research context; check each source for the exact claim it supports.