Equation 20 · Part 4 · The Token Tax of Giving a Model More Tools
Symbol bars
What this part means
bars 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
bars is a part of this expression. Its role is fixed by the surrounding article and by the operations shown in the formula.
Full expression→Symbol bars→Article meaning
The passage around this formula
Anthropic’s Tool Search Tool is a direct, documented implementation of that idea. The mechanism is described plainly: “You provide all your tool definitions to the API, but mark tools with defeoading: true to make them discoverable on-demand,” with a lightweight search tool — built-in options include BM25-based and regex-based search — querying an index of names and descriptions, and the full definition of a matching tool injected into context only once the model actually requests it [ 5 ] . The search tool itself is not free, but its overhead is small and fixed rather than proportional to catalogue size: “Only the Tool Search Tool loaded upfront (~500 tokens)” [ 5 ] . Applied to the same…
Learn the underlying idea
A variable is a named place for a value. Its letter is a local label: x can mean position in one formula and a data point in another.
Open the illustrated variables: a letter stands for a value 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.