graph-asm. An experimental Differential Dataflow optimization engine powered by equality saturation