replace now-passing evalf test