add example evalf