On the Complexity of Hazard-Free Formulas. - Leah London Arazi; Amir Shpilka (ICALP, 2025)