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.

[#1 --625430--]

EDIT: fallo en TCL al parsear.

Sobre coma flotante, lo unico que lo he visto que lo entienda es cuando Scheme devolvia en resultado de forma fraccionada.

[#2 meneandro]

Parece tontería, pero los problemas de precisión son mucho más importantes de lo que parece (sobre todo los que se van acumulando con el tiempo). Pregúntale a ciertos misiles antiaereos, por poner un ejemplo.