Merge symbolic_eval.py