我记得有一个软件（及其网站界面）可以自动从表达式生成数值稳定方程。

要查看它试图解决的问题，让我们看一个简单的示例$f(x) = \log(1 + \exp(x))$. 如果$x$是一个相对较大的数字（例如 800），$\exp(x)$可能非常大并且达到inf浮点表示。所以最好拆分如何计算函数：（1）如果$x < a$（说$a = 50$)，然后计算$f(x) = \log(1 + \exp(x))$直接，（2）如果$x \geq a$，然后计算$f(x) = x$. 我在上一段中提到的软件可以自动生成这样的方程拆分。

我的问题是：它（软件）是如何工作的？如果你能把参考放在网站上，那就更好了。谢谢！