SatQuery: Provably-Equivalent SQL Pre-Optimizer for Warehouse Spend

A pre-optimizer that sits between a BI tool or dbt project and the cloud warehouse, rewriting each SQL query into a provably equivalent, cheaper form using equality saturation, with the warehouse's own cost estimate picking the winner. It cuts compute spend without changing query results.