主要观点：通过输入 FPCore 表达式的公式，Herbie 可尝试进行改进，处理大量请求时会对 web 请求进行排队且当前队列中无作业，Web 演示请求可能超时并限制改进迭代次数，为避免这些限制可在自己电脑上安装 Herbie，仅支持特定函数，提交的所有公式会被记录并公开，可查看其他用户提交的公式。
关键信息：可输入 FPCore 表达式公式让 Herbie 改进，处理请求时会排队，Web 演示请求有时限，可安装 Herbie 避免限制，支持的函数包括算术、逻辑、三角函数等及相关常数，提交的公式会被记录公开。
重要细节：函数有+, -, *, /, abs等算术函数，and, or逻辑连接词，pow幂运算，exp, log指数和对数，sin, cos, tan三角函数，asin, acos, atan反三角函数，sqrt, cbrt方根和立方根，以及PI, E数学常数，提交的公式会被记录并公开，可查看其他用户提交的公式。