How to cut your AI agent's input tokens: what worked, what failed, and a bench to measure yours