arithmetic_eval.py: preliminary version