This is called superoptimization: https://en.wikipedia.org/wiki/Superoptimization https://en.wikipedia.org/wiki/Superoptimization There are people applying syn

This is called superoptimization: https://en.wikipedia.org/wiki/Superoptimization https://en.wikipedia.org/wiki/Superoptimization There are people applying synthesis techniques to superoptimization. So something like this would possibly apply.