Herbie results

Average Percentage Accurate: 85.1% → 96.0%

Time: 18.6min

Bad Runs: 0/53

Speedup: 5×

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	98.9%	99.2%		1.1min	»
raw-angle from scale-rotated-ellipse				6.4s	»
b parameter of renormalized beta distribution	99.9%	99.9%		21.6s	»
b from scale-rotated-ellipse				6.5s	»
ab-angle->ABCF D	82.1%	99.7%		7.2s	»
ab-angle->ABCF C				2.1s	»
ab-angle->ABCF B				2.5s	»
ab-angle->ABCF A				2.6s	»
a parameter of renormalized beta distribution	99.8%	99.8%		23.8s	»
a from scale-rotated-ellipse				6.4s	»
Trigonometry B	99.5%	99.5%		24.2s	»
Trigonometry A	99.8%	99.8%		17.6s	»
Spherical law of cosines	73.1%	93.6%		49.6s	»
Simplification of discriminant from scale-rotated-ellipse				5.8s	»
Quadratic roots, wide range				1.7s	»
Quadratic roots, narrow range				2.0s	»
Quadratic roots, medium range				2.4s	»
Quadratic roots, full range	58.0%	86.4%		27.7s	»
Midpoint on a great circle	98.7%	99.6%		33.2s	»
Logistic function from Lakshay Garg	9.3%	99.0%		24.4s	»
Hyperbolic tangent	9.4%	98.7%		25.0s	»
Hyperbolic sine				1.9s	»
Hyperbolic secant	100.0%	100.0%		23.9s	»
Hyperbolic arc-cosine	51.7%	99.5%		10.8s	»
Hyperbolic arc-(co)tangent				1.4s	»
Hyperbolic arc-(co)secant	100.0%	100.0%		9.7s	»
Example from Robby	99.8%	99.8%		1.4min	»
Example 2 from Robby	99.8%	99.8%		1.2min	»
Equirectangular approximation to distance on a great circle				3.6s	»
Eccentricity of an ellipse				2.8s	»
Distance on a great circle				5.1s	»
Destination given bearing on a great circle	99.8%	99.8%		37.0s	»
Cubic critical, wide range				3.1s	»
Cubic critical, narrow range				1.7s	»
Cubic critical, medium range				2.0s	»
Cubic critical	57.9%	93.3%		32.3s	»
Bearing on a great circle	78.9%	99.7%		54.2s	»
Asymptote C	98.3%	99.9%		15.2s	»
Asymptote B	100.0%	100.0%		13.1s	»
Asymptote A	98.3%	100.0%		16.7s	»
ABCF->ab-angle b	23.8%	44.8%		58.6s	»
ABCF->ab-angle angle	59.5%	92.1%		1.3min	»
ABCF->ab-angle a	23.2%	53.5%		1.0min	»
2-ancestry mixing, zero discriminant	76.6%	98.7%		25.6s	»
2-ancestry mixing, positive discriminant	43.3%	50.3%		1.1min	»
2-ancestry mixing, negative discriminant				3.0s	»
Quotient of sum of exps	92.6%	98.7%	100.0%	30.7s	»
Quotient of products	87.6%	92.5%	85.7%	15.3s	»
Logistic regression 2	79.4%	89.7%	99.9%	16.1s	»
Hyperbolic arcsine	18.0%	99.7%	29.6%	6.0s	»
Harley's example				5.5s	»
Exp of sum of logs	92.2%	100.0%	100.0%	7.4s	»
(- (/ x0 (- 1 x1)) x0)				0.0s	»

Test

Start

Result ?

Target ?

Time

symmetry log of sum of exp

98.9%

99.2%

1.1min

raw-angle from scale-rotated-ellipse

6.4s

b parameter of renormalized beta distribution

99.9%

21.6s

b from scale-rotated-ellipse

6.5s

ab-angle->ABCF D

82.1%

99.7%

7.2s

ab-angle->ABCF C

2.1s

ab-angle->ABCF B

2.5s

ab-angle->ABCF A

2.6s

a parameter of renormalized beta distribution

99.8%

23.8s

a from scale-rotated-ellipse

6.4s

Trigonometry B

99.5%

24.2s

Trigonometry A

99.8%

17.6s

Spherical law of cosines

73.1%

93.6%

49.6s

Simplification of discriminant from scale-rotated-ellipse

5.8s

Quadratic roots, wide range

1.7s

Quadratic roots, narrow range

2.0s

Quadratic roots, medium range

2.4s

Quadratic roots, full range

58.0%

86.4%

27.7s

Midpoint on a great circle

98.7%

99.6%

33.2s

Logistic function from Lakshay Garg

9.3%

99.0%

24.4s

Hyperbolic tangent

9.4%

98.7%

25.0s

Hyperbolic sine

1.9s

Hyperbolic secant

100.0%

23.9s

Hyperbolic arc-cosine

51.7%

99.5%

10.8s

Hyperbolic arc-(co)tangent

1.4s

Hyperbolic arc-(co)secant

100.0%

9.7s

Example from Robby

99.8%

1.4min

Example 2 from Robby

99.8%

1.2min

Equirectangular approximation to distance on a great circle

3.6s

Eccentricity of an ellipse

2.8s

Distance on a great circle

5.1s

Destination given bearing on a great circle

99.8%

37.0s

Cubic critical, wide range

3.1s

Cubic critical, narrow range

1.7s

Cubic critical, medium range

2.0s

Cubic critical

57.9%

93.3%

32.3s

Bearing on a great circle

78.9%

99.7%

54.2s

Asymptote C

98.3%

99.9%

15.2s

Asymptote B

100.0%

13.1s

Asymptote A

98.3%

100.0%

16.7s

ABCF->ab-angle b

23.8%

44.8%

58.6s

ABCF->ab-angle angle

59.5%

92.1%

1.3min

ABCF->ab-angle a

23.2%

53.5%

1.0min

2-ancestry mixing, zero discriminant

76.6%

98.7%

25.6s

2-ancestry mixing, positive discriminant

43.3%

50.3%

1.1min

2-ancestry mixing, negative discriminant

3.0s

Quotient of sum of exps

92.6%

98.7%

100.0%

30.7s

Quotient of products

87.6%

92.5%

85.7%

15.3s

Logistic regression 2

79.4%

89.7%

99.9%

16.1s

Hyperbolic arcsine

18.0%

99.7%

29.6%

6.0s

Harley's example

5.5s

Exp of sum of logs

92.2%

100.0%

7.4s

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

0.0s