Egglog Python: A Pythonic Library for E-graphs - Shanabrook, Saul (EGRAPHS@PLDI 2023, 2023)