re-simplify Function.evalf again