← All parts of this equation

Equation 20 · Part 1 · The Token Tax of Giving a Model More Tools

Symbol tau_0

τ0+σ+msˉ\tau_0 + \sigma + m\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.