subs(...).evalf -> evalf(subs=...)