1. No category

Equality Saturation: A New Approach to Optimization