sage 如何求出导数数的数值解

[Hlianbobo]

比如已经求出了导数（对于 x 求导）的解析解表达式。这式有 x 的若干值。需要代入表达式求出数值解。这时应该怎么求数值解呢？

不定积分的表达式也有类似问题。求出了解析解。如何特定的积分上下限“代入解析解”求出数值解呢？注：不是直接求数值解。