Ok, we changed the title from &quot;Herbie: A tool to automatically rewrite arithmetic expressions to minimize error&quot; to be closer to what you&#x27;ve said here. If anyone can suggest a better (more accurate and neutral) title, we can change it again.