E-Graphs for symbolic simplification

In the course of presenting the Status of the New OpenModelica Backend, basic concepts of E-Graphs were introduced and work in progress on symbolic simplification using E-Graphs was discussed. These simplifications can speed up the simulation process at the cost of higher compilation effort. However, as Modelica models are not scalarized, this compilation effort becomes more and more negligible for larger models. In the future, these techniques will be used to perform even more significant symbolic transformations to improve simulation speed. Moreover the compiler is able to perform transformations on model parts that are inaccessible to the modeller.

This work is based on the open source project egg.

Workshop: OpenModelica Annual Workshop