[Feature] Add algorithm example and rerrange egraphs