Mathematics Results

Average Percentage Accurate: 98.7% → 99.5%
Time: 5.6min
Bad Runs: 2/53
Speedup: 38.4×

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 Speed

A joint speed-accuracy pareto curve. Accuracy is on the vertical axis, speed is on the horizontal axis. Up and to the right is better. The initial program is shown by the red square.
TestStartResult ?Target ?Time
symmetry log of sum of exp30.8%73.8%12.1s»
raw-angle from scale-rotated-ellipse2.5min»
b parameter of renormalized beta distribution99.9%99.9%21.6s»
b from scale-rotated-ellipse2.5min»
ab-angle->ABCF D0.0s»
ab-angle->ABCF C0.0s»
ab-angle->ABCF B0.0s»
ab-angle->ABCF A0.0s»
a parameter of renormalized beta distribution0.0s»
a from scale-rotated-ellipse0.0s»
Trigonometry B0.0s»
Trigonometry A0.0s»
Spherical law of cosines0.0s»
Simplification of discriminant from scale-rotated-ellipse0.0s»
Quadratic roots, wide range0.0s»
Quadratic roots, narrow range0.0s»
Quadratic roots, medium range0.0s»
Quadratic roots, full range0.0s»
Midpoint on a great circle0.0s»
Logistic function from Lakshay Garg0.0s»
Hyperbolic tangent0.0s»
Hyperbolic sine0.0s»
Hyperbolic secant0.0s»
Hyperbolic arc-cosine0.0s»
Hyperbolic arc-(co)tangent0.0s»
Hyperbolic arc-(co)secant0.0s»
Example from Robby0.0s»
Example 2 from Robby0.0s»
Equirectangular approximation to distance on a great circle0.0s»
Eccentricity of an ellipse0.0s»
Distance on a great circle0.0s»
Destination given bearing on a great circle0.0s»
Cubic critical, wide range0.0s»
Cubic critical, narrow range0.0s»
Cubic critical, medium range0.0s»
Cubic critical0.0s»
Bearing on a great circle0.0s»
Asymptote C0.0s»
Asymptote B0.0s»
Asymptote A0.0s»
ABCF->ab-angle b0.0s»
ABCF->ab-angle angle0.0s»
ABCF->ab-angle a0.0s»
2-ancestry mixing, zero discriminant0.0s»
2-ancestry mixing, positive discriminant0.0s»
2-ancestry mixing, negative discriminant0.0s»
Quotient of sum of exps0.0s»
Quotient of products0.0s»
Logistic regression 20.0s»
Hyperbolic arcsine0.0s»
Harley's example0.0s»
Exp of sum of logs0.0s»
(- (/ x0 (- 1 x1)) x0)0.0s»