MBA式の簡略化のためのE-Graphの利用

MBA式の簡略化のためにE-Graphデータ構造を利用し、効率的に同一意味の複数の式を保持し、系統的に項の書き換えを行うことで、より単純な式を見つける。