Equation 22 · Part 5 · The Token Tax of Giving a Model More Tools
Symbol bars
What this part means
bars is one of the signed contributions combined to compute the quantity on the left.
Its job in the formula
bars is one of the signed contributions combined to compute the quantity on the left.
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.