Metrics for Herbie run

Date:	Wednesday, October 2nd, 2024
Commit:	e7d6e0c5 on bhargav-log-space
Hostname:	nightly with Racket 8.10
Seed:	2024276
Parameters:	256 points for 4 iterations
Flags:	`localize:costslocalize:errorsreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs` default

sample2.5min (80.5%)

Memory

4 624.3MiB live, 52 782.5MiB allocated

Samples

1.1min	43 569×	1	valid
52.2s	109 745×	0	valid
6.6s	6 340×	5	exit
3.4s	11 806×	2	valid
907.0ms	10 361×	1	exit
396.0ms	3 945×	0	invalid
103.0ms	1 424×	0	exit
0.0ms	1×	3	exit

Precisions

Click to see histograms. Total time spent on operations: 1.8min

const: 23.2s (21.9% of total)

ival-cos: 19.7s (18.6% of total)

ival-mult: 17.6s (16.6% of total)

ival-pow2: 9.0s (8.5% of total)

ival-tan: 8.7s (8.2% of total)

ival-sin: 5.8s (5.4% of total)

adjust: 5.3s (5% of total)

ival-div: 4.8s (4.5% of total)

ival-exp: 2.9s (2.8% of total)

ival-pow: 2.5s (2.4% of total)

ival-log: 1.1s (1% of total)

ival-sqrt: 867.0ms (0.8% of total)

ival-fmod: 758.0ms (0.7% of total)

ival-add: 719.0ms (0.7% of total)

ival-<=: 617.0ms (0.6% of total)

ival-sinh: 614.0ms (0.6% of total)

ival-sub: 512.0ms (0.5% of total)

ival-acos: 284.0ms (0.3% of total)

ival-hypot: 181.0ms (0.2% of total)

ival-neg: 148.0ms (0.1% of total)

ival-and: 121.0ms (0.1% of total)

ival-true: 105.0ms (0.1% of total)

ival-<: 97.0ms (0.1% of total)

ival-==: 92.0ms (0.1% of total)

exact: 81.0ms (0.1% of total)

ival-assert: 79.0ms (0.1% of total)

ival-or: 43.0ms (0% of total)

ival-atan: 41.0ms (0% of total)

ival->=: 22.0ms (0% of total)

ival->: 19.0ms (0% of total)

Bogosity

simplify8.6s (4.5%)

Memory

954.2MiB live, 3 519.5MiB allocated

Algorithm

71×	egg-herbie

Stop Event

90×	iter limit
43×	saturated
31×	node limit

Counts

5 868 → 5 726

soundness6.7s (3.6%)

Memory

15.3MiB live, 1 450.9MiB allocated

Stop Event

49×	iter limit
25×	node limit
5×	done
4×	fuel
2×	unsound
1×	saturated

Compiler

Compiled 914 to 632 computations (30.9% saved)

rewrite5.2s (2.7%)

Memory

709.7MiB live, 3 015.0MiB allocated

Stop Event

67×	iter limit
27×	node limit
3×	saturated
3×	unsound

Counts

352 → 12 261

eval3.6s (1.9%)

Memory: 776.2MiB live, 3 558.9MiB allocated
Compiler: Compiled 414 656 to 47 069 computations (88.6% saved)

analyze3.5s (1.9%)

Memory

244.6MiB live, 3 918.3MiB allocated

Algorithm

20×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	73.7%	26.3%	0%	0%	0%	0
28.8%	21.3%	52.5%	26.3%	0%	0%	0%	1
44.1%	32.5%	41.2%	26.3%	0%	0%	0%	2
52.6%	38.7%	35%	26.3%	0%	0%	0%	3
61.9%	45.6%	28.1%	26.3%	0%	0%	0%	4
65.2%	47.5%	25.3%	26.3%	0%	0.9%	0%	5
66.8%	48.4%	24%	26.3%	0%	1.2%	0%	6
71.1%	51.1%	20.8%	26.3%	0%	1.9%	0%	7
72.1%	51.6%	20%	26.3%	0%	2.1%	0%	8
74.4%	53%	18.2%	26.3%	0%	2.5%	0%	9
75.8%	53.9%	17.2%	26.3%	0%	2.6%	0%	10
76.6%	54.3%	16.6%	26.3%	0%	2.8%	0%	11
77.3%	54.8%	16.1%	26.3%	0%	2.9%	0%	12

Compiler

Compiled 279 to 216 computations (22.6% saved)

series3.1s (1.6%)

Memory

129.0MiB live, 2 683.8MiB allocated

Counts

352 → 5 868

Calls

147 calls:

Time	Variable		Point	Expression
1.1s	x	@	-inf	((* (sqrt (sqrt x)) (* (pow x 1/4) (sqrt (* 2 x)))) (sqrt (sqrt x)) (sqrt x) (* (pow x 1/4) (sqrt (* 2 x))) (* (sqrt (sqrt x)) (* (pow (* 4 x) 1/4) (sqrt x))) (* (pow (* 4 x) 1/4) (sqrt x)) (pow (pow 65536 1/64) 2) (* (pow (pow 65536 1/64) 2) x) (pow 65536 1/64) (sqrt (* 2 x)) (pow (* 4 x) 1/4))
201.0ms	x	@	0	((* (pow 4 1/16) (* (pow 4 1/16) (* (pow 4 1/8) x))) (* (pow 4 1/16) (* (pow 4 1/8) x)) (pow 4 1/16) (* (pow 4 1/8) x) (* (sqrt 2) x) (sqrt 2) (* (sqrt (* x 2)) (sqrt x)) (sqrt (* x 2)) (* x 2) (sqrt x) (* (pow x 3/4) (sqrt (* (sqrt x) 2))) (pow x 3/4) (sqrt (* (sqrt x) 2)) (* (sqrt x) 2) (* (pow x 1/4) (sqrt (* (sqrt x) (* x 2)))) (pow x 1/4) (sqrt (* (sqrt x) (* x 2))) (* (sqrt x) (* x 2)))
192.0ms	x	@	0	((* (sqrt 2) x) (sqrt 2) (* (sqrt (* x 2)) (sqrt x)) (sqrt (* x 2)) (* x 2) (sqrt x) (* (pow (* 4 x) 1/4) (pow x 3/4)) (pow (* 4 x) 1/4) (* 4 x) (pow x 3/4) (* (pow x 7/8) (sqrt (* (pow x 1/4) 2))) (pow x 7/8) (sqrt (* (pow x 1/4) 2)) (* (pow x 1/4) 2) (* (pow x 5/8) (sqrt (* (pow x 1/4) (* (sqrt x) 2)))) (pow x 5/8) (sqrt (* (pow x 1/4) (* (sqrt x) 2))) (* (pow x 1/4) (* (sqrt x) 2)) (pow x 1/4))
158.0ms	x	@	-inf	((* (sqrt (* (sqrt x) 2)) (pow x 3/4)) (sqrt (* (sqrt x) 2)) (* (sqrt x) 2) (sqrt x) (* (pow x 5/8) (sqrt (* (sqrt (sqrt x)) (* (sqrt x) 2)))) (pow x 5/8) (sqrt (* (sqrt (sqrt x)) (* (sqrt x) 2))) (* (sqrt (sqrt x)) (* (sqrt x) 2)) (* (pow x 7/8) (sqrt (* (sqrt (sqrt x)) 2))) (pow x 7/8) (sqrt (* (sqrt (sqrt x)) 2)) (* (sqrt (sqrt x)) 2) (pow (pow 16 1/16) 2) (* (pow (pow 16 1/16) 2) x) (pow 16 1/16) (pow x 3/4) (sqrt (sqrt x)))
144.0ms	x	@	inf	((exp (* (log 256) 1/16)) (* (exp (* (log 256) 1/16)) x) (* (log 256) 1/16) (log 256) (* (sqrt (sqrt x)) (sqrt (* (sqrt x) (* x 2)))) (sqrt (sqrt x)) (sqrt x) (sqrt (* (sqrt x) (* x 2))) (* (pow (sqrt x) 3/2) (sqrt (* (sqrt x) 2))) (pow (sqrt x) 3/2) (sqrt (* (sqrt x) 2)) (* (sqrt x) (* x 2)))

localize2.4s (1.3%)

Memory

414.3MiB live, 1 694.6MiB allocated

Samples

948.0ms	5 986×	0	valid
717.0ms	1 509×	1	valid
170.0ms	441×	2	valid

Compiler

Compiled 6 565 to 1 153 computations (82.4% saved)

Precisions

Click to see histograms. Total time spent on operations: 1.3s

ival-mult: 285.0ms (21.6% of total)

ival-pow: 205.0ms (15.5% of total)

ival-sqrt: 146.0ms (11.1% of total)

ival-add: 120.0ms (9.1% of total)

adjust: 118.0ms (8.9% of total)

const: 104.0ms (7.9% of total)

ival-div: 102.0ms (7.7% of total)

ival-sub: 84.0ms (6.4% of total)

ival-cos: 40.0ms (3% of total)

ival-hypot: 27.0ms (2% of total)

ival-sin: 25.0ms (1.9% of total)

ival-pow2: 20.0ms (1.5% of total)

exact: 11.0ms (0.8% of total)

ival-log: 7.0ms (0.5% of total)

ival-true: 7.0ms (0.5% of total)

ival-neg: 7.0ms (0.5% of total)

ival-exp: 6.0ms (0.5% of total)

ival-assert: 4.0ms (0.3% of total)

prune1.3s (0.7%)

Memory: 544.4MiB live, 1 594.9MiB allocated
Counts: 20 915 → 366
Compiler: Compiled 9 035 to 5 595 computations (38.1% saved)

preprocess1.1s (0.6%)

Memory

290.0MiB live, 748.9MiB allocated

Algorithm

9×	egg-herbie

Stop Event

18×	saturated
16×	iter limit
2×	node limit

Compiler

Compiled 1 383 to 914 computations (33.9% saved)

explain817.0ms (0.4%)

Memory

182.2MiB live, 732.5MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`-.f64`	`#f`	cancellation	508	1
`sqrt.f64`	`#f`	oflow-rescue	481	0
`sqrt.f64`	`#f`	uflow-rescue	171	0
`+.f64`	`#f`	nan-rescue	120	0

Confusion

	Predicted +	Predicted -
+	996	261
-	164	883

Precision

0.8586206896551725

Recall

0.7923627684964201

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	996	0	261
-	164	1	882

Precision?

0.8578811369509044

Recall?

0.7923627684964201

Freqs

test

number	freq
0	1144
1	1046
2	108
3	6

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	7	0	1
-	0	0	1

Precision?

1.0

Recall?

0.875

Samples

184.0ms	3 640×	0	valid
66.0ms	757×	1	valid
38.0ms	222×	2	valid

Compiler

Compiled 1 287 to 508 computations (60.5% saved)

Precisions

Click to see histograms. Total time spent on operations: 160.0ms

ival-sqrt: 39.0ms (24.4% of total)

ival-mult: 36.0ms (22.5% of total)

ival-sub: 24.0ms (15% of total)

adjust: 17.0ms (10.6% of total)

ival-add: 13.0ms (8.1% of total)

ival-sin: 11.0ms (6.9% of total)

ival-hypot: 9.0ms (5.6% of total)

ival-div: 4.0ms (2.5% of total)

ival-true: 4.0ms (2.5% of total)

ival-assert: 2.0ms (1.2% of total)

exact: 1.0ms (0.6% of total)

ival-tan: 0.0ms (0% of total)

ival-cos: 0.0ms (0% of total)

regimes524.0ms (0.3%)

Memory

215.1MiB live, 576.4MiB allocated

Counts

366 → 38

Calls

26 calls:

135.0ms	x
33.0ms	(-.f64 (sin.f64 x) x)
28.0ms	hi
28.0ms	(*.f64 x x)
26.0ms	lo

Compiler

Compiled 603 to 564 computations (6.5% saved)

start1.0ms (0%)

Memory: 0.9MiB live, 0.9MiB allocated

end0.0ms (0%)

Memory: 0.2MiB live, 0.2MiB allocated

sample2.5min (80.5%)

simplify8.6s (4.5%)

soundness6.7s (3.6%)

rewrite5.2s (2.7%)

eval3.6s (1.9%)

analyze3.5s (1.9%)

series3.1s (1.6%)

localize2.4s (1.3%)

prune1.3s (0.7%)

preprocess1.1s (0.6%)

explain817.0ms (0.4%)

regimes524.0ms (0.3%)

start1.0ms (0%)

end0.0ms (0%)

Profiling