This my be fine here, but I don't think evalf is a good choice for bigger problems. It will surely be slow.