Formula evaluator based on a DAG