Herbie: Mejora expresiones en coma flotante para aumentar su precisión

Herbie es una aplicación (que tiene versión web gratuita) que recibe una expresión matemática y es capaz de optimizarla para que el resultado no pierda precision debido al uso de coma flotante. Por ejemplo, la expresión "sqrt(x+1) - sqrt(x)" es equivalente matemáticamente a "1/(sqrt(x+1) + sqrt(x))", pero los resultados al hacer el cálculo en un ordenador son diferentes. Con Herbie podemos reemplazar unas expresiones por otras que se funcionen mejor al ser calculadas.