RecursiveK
Memoize
Rule
dagon
reversed
Graphs
roots
ExpressionDag