Time: 6.3min
Passed: 29/38
Tests: 45
Bits: 777/883

Output vs Input Accuracy

Each point represents a Herbie run below. Its horizontal position shows initial accuracy, and vertical position shows final accuracy. Points above the line are improved by Herbie.

Accuracy vs Cost

A joint cost-accuracy pareto curve for the Herbie runs below. Accuracy is on the vertical axis, and cost is on the vertical axis. Down and to the left is better. The initial programs are shown by the red square.
TestStartResult ?Target ?Time
arccos100.0%100.0%4.0s»
Rump's expression from Stadtherr's award speech9.2%9.2%0.8s»
Rosa's TurbineBenchmark80.6%99.6%18.3s»
Rosa's FloatVsDoubleBenchmark99.2%99.6%40.6s»
Rosa's DopplerBench70.8%97.7%12.2s»
Rosa's Benchmark99.7%99.7%8.3s»
Radioactive exchange between two surfaces100.0%100.0%1.6s»
NMSE Section 6.1 mentioned, B77.3%99.5%11.8s»
NMSE Section 6.1 mentioned, A54.4%99.1%12.9s»
Kahan's Unum-Targeted Monster5.0s»
Kahan's Monster2.8s»
Kahan p13 Example 3100.0%100.0%8.3s»
Kahan p13 Example 2100.0%100.0%19.1s»
Kahan p13 Example 199.9%98.9%4.8s»
From Warwick Tucker's Validated Numerics9.2%100.0%2.0s»
From Rump in a 1983 paper, rewritten3.1%100.0%2.2s»
From Rump in a 1983 paper18.8%100.0%2.9s»
ENA, Section 1.4, Mentioned, B87.7%99.6%7.7s»
ENA, Section 1.4, Exercise 4b, n=588.6%99.5%8.3s»
ENA, Section 1.4, Exercise 4b, n=275.2%100.0%3.7s»
ENA, Section 1.4, Exercise 194.5%99.4%9.7s»
x / (x^2 + 1)76.7%99.2%99.8%1.4s»
simple fma test28.7%100.0%100.0%3.4s»
ln(1 + x)39.0%100.0%99.5%3.2s»
fma_test20.0%99.5%99.5%11.1s»
fma_test13.4%99.4%21.0%3.7s»
The quadratic formula (r2)47.0%83.3%67.7%18.9s»
The quadratic formula (r1)47.0%86.9%67.8%19.4s»
Rectangular parallelepiped of dimension a×b×c100.0%100.0%100.0%1.2s»
Kahan's exp quotient38.2%100.0%37.6%2.6s»
Kahan p9 Example68.5%99.9%99.9%12.5s»
Expression, p694.3%100.0%94.0%4.2s»
Expression, p1499.9%100.0%99.9%5.6s»
Expression 4, p15100.0%99.7%100.0%1.7s»
Expression 3, p15100.0%100.0%100.0%2.4s»
Expression 2, p15100.0%100.0%100.0%1.4s»
Expression 1, p1599.4%99.5%99.6%8.0s»
ENA, Section 1.4, Mentioned, A52.5%100.0%100.0%6.7s»
ENA, Section 1.4, Exercise 4d61.2%98.2%99.5%8.1s»
ENA, Section 1.4, Exercise 4a52.9%99.6%98.6%20.6s»
Difference of squares100.0%100.0%100.0%1.9s»
Compound Interest25.7%98.4%25.5%21.6s»
Complex division, real part59.4%85.0%99.2%17.2s»
Complex division, imag part58.4%83.4%99.3%16.0s»
Area of a triangle0.2s»