* evaluator now runs simplifier after all.