There's a concept in the research literature called "superoptimization" -- finding the absolute smallest program that meets a given specification. It's worlds a

There's a concept in the research literature called "superoptimization" -- finding the absolute smallest program that meets a given specification. It's worlds away from being used for anything larger than a small handful of operations, but it's very close to what you're asking about.