Doesn't equals already call evalf? @smichr