SymbolicExpression

This backend can be used to implement expressions obtained through symbolic regression tools such as PySR or SymbolNet. The backend targets Vivado/Vitis HLS and relies on HLS math libraries provided with a licensed installation of these tools.

TODO expand this section