5.778 evaluation.py:20(evaluate) # Sampling version 0.043 evaluation.py:64(evaluate) # Closed formula