The acyclic e-graph: Cranelift's mid-end optimizer - Tech Sentiments