Herbie results

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.

Test	Start	Result ?	Target ?	Time
symmetry log of sum of exp	29.0	0.9		16.9s	»
raw-angle from scale-rotated-ellipse				2.5min	»
b parameter of renormalized beta distribution	0.1	0.1		9.0s	»
b from scale-rotated-ellipse	63.9	36.4		2.2min	»
ab-angle->ABCF D	16.4	0.3		4.0s	»
ab-angle->ABCF C	20.6	20.7		18.8s	»
ab-angle->ABCF B	31.6	21.6		19.1s	»
ab-angle->ABCF A	20.7	20.6		17.4s	»
a parameter of renormalized beta distribution	0.2	0.3		6.8s	»
a from scale-rotated-ellipse	63.4	41.7		1.5min	»
Trigonometry B	0.3	0.3		11.2s	»
Trigonometry A	0.1	0.1		10.1s	»
Spherical law of cosines	16.9	3.8		49.7s	»
Simplification of discriminant from scale-rotated-ellipse	40.5	7.3		1.6min	»
Quadratic roots, wide range	53.0	0.2		12.0s	»
Quadratic roots, narrow range	28.8	0.3		14.4s	»
Quadratic roots, medium range	43.8	0.4		13.4s	»
Quadratic roots, full range	35.0	10.3		18.0s	»
Midpoint on a great circle	0.9	0.2		25.7s	»
Logistic function from Lakshay Garg	29.6	0.7		9.9s	»
Hyperbolic tangent	58.1	0.0		3.1s	»
Hyperbolic sine	58.0	0.0		4.6s	»
Hyperbolic secant	0.0	0.0		1.6s	»
Hyperbolic arc-cosine	32.7	0.3		3.6s	»
Hyperbolic arc-(co)tangent	58.7	0.0		5.7s	»
Hyperbolic arc-(co)secant	0.0	0.0		4.3s	»
Example from Robby	0.1	0.1		20.1s	»
Example 2 from Robby	0.1	0.1		16.1s	»
Equirectangular approximation to distance on a great circle	39.0	3.8		18.6s	»
Eccentricity of an ellipse	14.0	0.0		4.4s	»
Distance on a great circle	23.8	13.9		2.2min	»
Destination given bearing on a great circle	0.2	0.1		28.7s	»
Cubic critical, wide range	53.0	0.4		14.2s	»
Cubic critical, narrow range	28.9	4.8		27.1s	»
Cubic critical, medium range	43.9	0.2		15.8s	»
Cubic critical	35.0	10.6		21.6s	»
Bearing on a great circle	13.4	0.2		35.3s	»
Asymptote C	29.8	0.0		11.4s	»
Asymptote B	0.0	0.0		5.5s	»
Asymptote A	14.7	0.1		5.0s	»
ABCF->ab-angle b	52.2	42.5		50.0s	»
ABCF->ab-angle angle	29.8	12.3		16.4s	»
ABCF->ab-angle a	52.3	36.9		47.6s	»
2-ancestry mixing, zero discriminant	15.4	0.8		6.7s	»
2-ancestry mixing, positive discriminant	35.6	2.7		13.3s	»
2-ancestry mixing, negative discriminant	1.0	0.0		7.1s	»
Quotient of sum of exps	0.8	0.7	0.0	7.0s	»
Quotient of products	11.3	6.3	11.2	4.5s	»
Logistic regression 2	0.5	0.5	0.1	10.2s	»
Hyperbolic arcsine	53.4	0.2	45.9	10.1s	»
Harley's example				2.5min	»
Exp of sum of logs	5.7	0	0	1.5s	»
(- (/ x0 (- 1 x1)) x0)				0.0s	»

Test

Start

Result ?

Target ?

Time

symmetry log of sum of exp

29.0

0.9

16.9s

raw-angle from scale-rotated-ellipse

2.5min

b parameter of renormalized beta distribution

0.1

9.0s

b from scale-rotated-ellipse

63.9

36.4

2.2min

ab-angle->ABCF D

16.4

0.3

4.0s

ab-angle->ABCF C

20.6

20.7

18.8s

ab-angle->ABCF B

31.6

21.6

19.1s

ab-angle->ABCF A

20.7

20.6

17.4s

a parameter of renormalized beta distribution

0.2

0.3

6.8s

a from scale-rotated-ellipse

63.4

41.7

1.5min

Trigonometry B

0.3

11.2s

Trigonometry A

0.1

10.1s

Spherical law of cosines

16.9

3.8

49.7s

Simplification of discriminant from scale-rotated-ellipse

40.5

7.3

1.6min

Quadratic roots, wide range

53.0

0.2

12.0s

Quadratic roots, narrow range

28.8

0.3

14.4s

Quadratic roots, medium range

43.8

0.4

13.4s

Quadratic roots, full range

35.0

10.3

18.0s

Midpoint on a great circle

0.9

0.2

25.7s

Logistic function from Lakshay Garg

29.6

0.7

9.9s

Hyperbolic tangent

58.1

0.0

3.1s

Hyperbolic sine

58.0

0.0

4.6s

Hyperbolic secant

0.0

1.6s

Hyperbolic arc-cosine

32.7

0.3

3.6s

Hyperbolic arc-(co)tangent

58.7

0.0

5.7s

Hyperbolic arc-(co)secant

0.0

4.3s

Example from Robby

0.1

20.1s

Example 2 from Robby

0.1

16.1s

Equirectangular approximation to distance on a great circle

39.0

3.8

18.6s

Eccentricity of an ellipse

14.0

0.0

4.4s

Distance on a great circle

23.8

13.9

2.2min

Destination given bearing on a great circle

0.2

0.1

28.7s

Cubic critical, wide range

53.0

0.4

14.2s

Cubic critical, narrow range

28.9

4.8

27.1s

Cubic critical, medium range

43.9

0.2

15.8s

Cubic critical

35.0

10.6

21.6s

Bearing on a great circle

13.4

0.2

35.3s

Asymptote C

29.8

0.0

11.4s

Asymptote B

0.0

5.5s

Asymptote A

14.7

0.1

5.0s

ABCF->ab-angle b

52.2

42.5

50.0s

ABCF->ab-angle angle

29.8

12.3

16.4s

ABCF->ab-angle a

52.3

36.9

47.6s

2-ancestry mixing, zero discriminant

15.4

0.8

6.7s

2-ancestry mixing, positive discriminant

35.6

2.7

13.3s

2-ancestry mixing, negative discriminant

1.0

0.0

7.1s

Quotient of sum of exps

0.8

0.7

0.0

7.0s

Quotient of products

11.3

6.3

11.2

4.5s

Logistic regression 2

0.5

0.1

10.2s

Hyperbolic arcsine

53.4

0.2

45.9

10.1s

Harley's example

2.5min

Exp of sum of logs

5.7

1.5s

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

0.0s