Herbie results

Average Percentage Accurate: 68.8% → 94.2%

Time: 23.3min

Bad Runs: 4/53

Speedup: 4.8×

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.

Test	Start	Result ?	Target ?	Time
symmetry log of sum of exp	54.8%	98.0%		14.3s	»
raw-angle from scale-rotated-ellipse				2.5min	»
b parameter of renormalized beta distribution	99.9%	99.9%		6.3s	»
b from scale-rotated-ellipse				2.5min	»
ab-angle->ABCF D	82.4%	99.7%		3.4s	»
ab-angle->ABCF C	79.8%	79.7%		26.9s	»
ab-angle->ABCF B	54.1%	67.3%		38.4s	»
ab-angle->ABCF A	79.8%	79.8%		41.5s	»
a parameter of renormalized beta distribution	99.8%	99.7%		6.2s	»
a from scale-rotated-ellipse				2.5min	»
Trigonometry B	99.5%	99.5%		11.0s	»
Trigonometry A	99.8%	99.8%		7.0s	»
Spherical law of cosines	74.2%	94.4%		29.3s	»
Simplification of discriminant from scale-rotated-ellipse	25.3%	94.1%		1.7min	»
Quadratic roots, wide range	17.6%	99.5%		9.9s	»
Quadratic roots, narrow range	55.7%	91.9%		13.7s	»
Quadratic roots, medium range	30.7%	99.6%		8.2s	»
Quadratic roots, full range	50.7%	85.5%		11.2s	»
Midpoint on a great circle	98.6%	99.6%		23.1s	»
Logistic function from Lakshay Garg	53.6%	98.5%		2.5s	»
Hyperbolic tangent	9.5%	96.7%		5.7s	»
Hyperbolic sine	53.4%	99.9%		3.5s	»
Hyperbolic secant	100.0%	100.0%		1.6s	»
Hyperbolic arc-cosine	51.3%	99.5%		3.3s	»
Hyperbolic arc-(co)tangent	8.5%	100.0%		6.8s	»
Hyperbolic arc-(co)secant	99.9%	100.0%		4.4s	»
Example from Robby	99.8%	99.8%		20.5s	»
Example 2 from Robby	99.8%	99.8%		15.3s	»
Equirectangular approximation to distance on a great circle	59.0%	99.9%		19.3s	»
Eccentricity of an ellipse	77.1%	100.0%		5.1s	»
Distance on a great circle	62.8%	62.7%		1.9min	»
Destination given bearing on a great circle	99.8%	99.8%		24.3s	»
Cubic critical, wide range	17.6%	97.8%		10.0s	»
Cubic critical, narrow range	55.5%	91.7%		18.5s	»
Cubic critical, medium range	30.7%	95.6%		12.2s	»
Cubic critical	50.7%	85.6%		12.4s	»
Bearing on a great circle	79.1%	99.7%		42.1s	»
Asymptote C	54.2%	99.3%		3.5s	»
Asymptote B	100.0%	100.0%		4.3s	»
Asymptote A	78.3%	99.9%		4.2s	»
ABCF->ab-angle b	19.4%	50.6%		20.9s	»
ABCF->ab-angle angle	53.2%	89.0%		16.7s	»
ABCF->ab-angle a	19.7%	53.2%		28.4s	»
2-ancestry mixing, zero discriminant	75.9%	98.7%		4.5s	»
2-ancestry mixing, positive discriminant	43.7%	95.8%		18.0s	»
2-ancestry mixing, negative discriminant	98.5%	98.0%		5.4s	»
Quotient of sum of exps	98.9%	97.9%	100.0%	5.0s	»
Quotient of products	86.1%	96.9%	85.6%	3.4s	»
Logistic regression 2	99.2%	99.3%	99.9%	7.1s	»
Hyperbolic arcsine	18.6%	99.9%	31.1%	4.6s	»
Harley's example				2.5min	»
Exp of sum of logs	92.2%	100.0%	100.0%	1.6s	»
(- (/ x0 (- 1 x1)) x0)				0.0s	»

Test

Start

Result ?

Target ?

Time

symmetry log of sum of exp

54.8%

98.0%

14.3s

raw-angle from scale-rotated-ellipse

2.5min

b parameter of renormalized beta distribution

99.9%

6.3s

b from scale-rotated-ellipse

2.5min

ab-angle->ABCF D

82.4%

99.7%

3.4s

ab-angle->ABCF C

79.8%

79.7%

26.9s

ab-angle->ABCF B

54.1%

67.3%

38.4s

ab-angle->ABCF A

79.8%

41.5s

a parameter of renormalized beta distribution

99.8%

99.7%

6.2s

a from scale-rotated-ellipse

2.5min

Trigonometry B

99.5%

11.0s

Trigonometry A

99.8%

7.0s

Spherical law of cosines

74.2%

94.4%

29.3s

Simplification of discriminant from scale-rotated-ellipse

25.3%

94.1%

1.7min

Quadratic roots, wide range

17.6%

99.5%

9.9s

Quadratic roots, narrow range

55.7%

91.9%

13.7s

Quadratic roots, medium range

30.7%

99.6%

8.2s

Quadratic roots, full range

50.7%

85.5%

11.2s

Midpoint on a great circle

98.6%

99.6%

23.1s

Logistic function from Lakshay Garg

53.6%

98.5%

2.5s

Hyperbolic tangent

9.5%

96.7%

5.7s

Hyperbolic sine

53.4%

99.9%

3.5s

Hyperbolic secant

100.0%

1.6s

Hyperbolic arc-cosine

51.3%

99.5%

3.3s

Hyperbolic arc-(co)tangent

8.5%

100.0%

6.8s

Hyperbolic arc-(co)secant

99.9%

100.0%

4.4s

Example from Robby

99.8%

20.5s

Example 2 from Robby

99.8%

15.3s

Equirectangular approximation to distance on a great circle

59.0%

99.9%

19.3s

Eccentricity of an ellipse

77.1%

100.0%

5.1s

Distance on a great circle

62.8%

62.7%

1.9min

Destination given bearing on a great circle

99.8%

24.3s

Cubic critical, wide range

17.6%

97.8%

10.0s

Cubic critical, narrow range

55.5%

91.7%

18.5s

Cubic critical, medium range

30.7%

95.6%

12.2s

Cubic critical

50.7%

85.6%

12.4s

Bearing on a great circle

79.1%

99.7%

42.1s

Asymptote C

54.2%

99.3%

3.5s

Asymptote B

100.0%

4.3s

Asymptote A

78.3%

99.9%

4.2s

ABCF->ab-angle b

19.4%

50.6%

20.9s

ABCF->ab-angle angle

53.2%

89.0%

16.7s

ABCF->ab-angle a

19.7%

53.2%

28.4s

2-ancestry mixing, zero discriminant

75.9%

98.7%

4.5s

2-ancestry mixing, positive discriminant

43.7%

95.8%

18.0s

2-ancestry mixing, negative discriminant

98.5%

98.0%

5.4s

Quotient of sum of exps

98.9%

97.9%

100.0%

5.0s

Quotient of products

86.1%

96.9%

85.6%

3.4s

Logistic regression 2

99.2%

99.3%

99.9%

7.1s

Hyperbolic arcsine

18.6%

99.9%

31.1%

4.6s

Harley's example

2.5min

Exp of sum of logs

92.2%

100.0%

1.6s

(- (/ x0 (- 1 x1)) x0)

0.0s