Maximal Simplification of Polyhedral Reductions (POPL 2025) [video]