Superoptimization — Glossary — ThinkLLM