Time: 5.2min
Passed: 27/28
Tests: 28
Bits: 979/1026

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
sqrtexp (problem 3.4.4)41.70.12.7s»
sintan (problem 3.4.5)31.00.217.4s»
quad2p (problem 3.2.1, positive)33.510.212.3s»
quad2m (problem 3.2.1, negative)33.710.614.9s»
cos2 (problem 3.4.1)32.00.412.0s»
2nthrt (problem 3.4.6)32.71.521.9s»
2log (problem 3.3.6)29.20.09.7s»
2frac (problem 3.3.1)15.10.13.8s»
2cos (problem 3.3.5)39.50.519.3s»
2cbrt (problem 3.3.4)29.70.510.6s»
tanhf (example 3.4)29.70.00.06.4s»
quadp (p42, positive)33.410.120.616.1s»
quadm (p42, negative)33.810.221.014.5s»
qlog (example 3.10)61.40.00.37.4s»
logs (example 3.8)63.0006.8s»
logq (problem 3.4.3)58.70.00.26.1s»
invcot (example 3.9)59.90.10.115.0s»
expq3 (problem 3.4.2)60.40.215.115.8s»
expq2 (section 3.11)42.00.541.53.5s»
expm1 (example 3.7)58.70.00.51.7s»
expax (section 3.5)29.70.00.25.4s»
exp2 (problem 3.3.7)29.60.00.011.0s»
3frac (problem 3.3.3)10.10.90.315.4s»
2tan (problem 3.3.2)37.00.515.122.1s»
2sqrt (example 3.1)29.60.20.28.1s»
2sin (example 3.3)36.80.414.714.0s»
2isqrt (example 3.6)19.60.20.610.4s»
2atan (example 3.5)15.00.40.46.1s»