Metrics for Herbie run

Date:	Monday, July 22nd, 2024
Commit:	11cd870a on better-preprocessing
Hostname:	nightly with Racket 8.11.1
Seed:	2024204
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

simplify1.8min (26.2%)

Memory

-360.2MiB live, 132 126.0MiB allocated

Algorithm

342×	egg-herbie

Rules

2 770 826×	`accelerator-lowering-fma.f32`
2 770 826×	`accelerator-lowering-fma.f64`
922 604×	`-lowering-.f32`
922 604×	`-lowering-.f64`
535 862×	`+-lowering-+.f32`

Stop Event

284×	iter limit
211×	node limit
147×	saturated

Counts

31 764 → 31 764

sample1.1min (16.4%)

Memory

522.4MiB live, 86 077.0MiB allocated

Samples

29.7s	285 828×	0	valid
11.8s	24 844×	2	valid
9.0s	35 519×	1	valid
602.0ms	4 195×	0	invalid
468.0ms	471×	3	valid
153.0ms	1 026×	0	exit
75.0ms	101×	3	exit
60.0ms	101×	4	exit
27.0ms	90×	4	valid
19.0ms	15×	5	exit
6.0ms	46×	1	exit

Precisions

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

ival-mult: 9.5s (23.9% of total)

ival-add: 4.4s (11% of total)

ival-div: 3.6s (9.1% of total)

ival-pow: 3.4s (8.6% of total)

ival-sub: 3.0s (7.4% of total)

const: 2.9s (7.3% of total)

ival-<=: 2.4s (6.1% of total)

adjust: 2.3s (5.9% of total)

ival-cos: 1.9s (4.8% of total)

ival-sin: 1.9s (4.7% of total)

ival-==: 1.2s (3% of total)

ival-neg: 455.0ms (1.1% of total)

exact: 455.0ms (1.1% of total)

ival-pow2: 427.0ms (1.1% of total)

ival-sqrt: 415.0ms (1% of total)

ival-exp: 393.0ms (1% of total)

ival-and: 345.0ms (0.9% of total)

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

ival-expm1: 132.0ms (0.3% of total)

ival-true: 132.0ms (0.3% of total)

ival-tan: 104.0ms (0.3% of total)

ival-log1p: 94.0ms (0.2% of total)

ival-atan: 77.0ms (0.2% of total)

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

ival-pi: 31.0ms (0.1% of total)

ival-hypot: 16.0ms (0% of total)

ival-fabs: 5.0ms (0% of total)

ival-if: 4.0ms (0% of total)

Bogosity

rewrite1.1min (15.9%)

Memory

-78.7MiB live, 88 222.5MiB allocated

Algorithm

150×	batch-egg-rewrite

Rules

807 014×	`accelerator-lowering-fma.f32`
807 014×	`accelerator-lowering-fma.f64`
619 758×	`-lowering-.f32`
619 758×	`-lowering-.f64`
505 206×	`/-lowering-/.f64`

Stop Event

147×	iter limit
141×	node limit
17×	saturated

Counts

1 654 → 99 605

soundness47.0s (11.3%)

Memory

-58.9MiB live, 27 638.6MiB allocated

Rules

1 549 054×	`accelerator-lowering-fma.f32`
1 549 054×	`accelerator-lowering-fma.f64`
777 326×	`-lowering-.f32`
777 326×	`-lowering-.f64`
398 452×	`/-lowering-/.f64`

Stop Event

173×	iter limit
169×	node limit
27×	fuel
15×	done
8×	saturated

Compiler

Compiled 19 823 to 8 362 computations (57.8% saved)

eval31.5s (7.5%)

Memory: 760.1MiB live, 44 643.7MiB allocated
Compiler: Compiled 5 204 792 to 356 383 computations (93.2% saved)

prune27.6s (6.6%)

Memory: -682.8MiB live, 41 983.1MiB allocated
Counts: 159 391 → 2 245
Compiler: Compiled 80 633 to 39 163 computations (51.4% saved)

localize20.0s (4.8%)

Memory

-11.3MiB live, 27 472.1MiB allocated

Samples

6.2s	32 897×	0	valid
2.1s	470×	5	exit
1.3s	2 448×	1	valid
1.2s	1 709×	2	valid
586.0ms	167×	4	exit
290.0ms	169×	3	valid
175.0ms	511×	0	invalid
53.0ms	28×	4	valid
1.0ms	1×	3	exit

Compiler

Compiled 24 231 to 3 478 computations (85.6% saved)

Precisions

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

ival-mult: 2.6s (30.6% of total)

ival-add: 1.4s (16.6% of total)

ival-div: 1.2s (13.4% of total)

ival-pow: 880.0ms (10.2% of total)

adjust: 852.0ms (9.9% of total)

const: 537.0ms (6.3% of total)

ival-sub: 334.0ms (3.9% of total)

ival-exp: 227.0ms (2.6% of total)

ival-sqrt: 126.0ms (1.5% of total)

ival-neg: 80.0ms (0.9% of total)

ival-log: 75.0ms (0.9% of total)

ival-cos: 57.0ms (0.7% of total)

ival-sin: 56.0ms (0.7% of total)

exact: 54.0ms (0.6% of total)

ival-true: 31.0ms (0.4% of total)

ival-atan: 24.0ms (0.3% of total)

ival-assert: 17.0ms (0.2% of total)

ival-log1p: 16.0ms (0.2% of total)

ival-expm1: 9.0ms (0.1% of total)

ival-pow2: 7.0ms (0.1% of total)

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

ival-pi: 4.0ms (0% of total)

preprocess16.3s (3.9%)

Memory

-6.8MiB live, 17 577.2MiB allocated

Algorithm

42×	egg-herbie

Rules

283 340×	`accelerator-lowering-fma.f32`
283 340×	`accelerator-lowering-fma.f64`
55 342×	`-lowering-.f32`
55 342×	`-lowering-.f64`
37 476×	`+-lowering-+.f32`

Stop Event

55×	saturated
40×	iter limit
31×	node limit

Compiler

Compiled 25 096 to 6 640 computations (73.5% saved)

explain10.1s (2.4%)

Memory

-124.6MiB live, 14 749.0MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`-.f64`	`#f`	cancellation	1307	3
`+.f64`	`#f`	cancellation	363	91
`sqrt.f64`	`#f`	oflow-rescue	224	0
`-.f64`	(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))	oflow-left	220	0
`log.f64`	`(log.f64 (+.f64 #s(literal 1 binary64) x))`	sensitivity	179	1
`/.f64`	`#f`	o/o	173	0
`/.f64`	`#f`	n/o	153	0
`pow.f64`	`(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)`	sensitivity	120	1
`-.f64`	`#f`	nan-rescue	110	0
`/.f64`	`#f`	u/n	72	0
`+.f64`	`#f`	nan-rescue	51	0
`/.f64`	`#f`	n/u	47	0
`/.f64`	`#f`	o/n	44	0
`/.f64`	`#f`	u/u	43	0
`*.f64`	`#f`	*nu**	33	0
`*.f64`	`#f`	*no**	22	0
`sqrt.f64`	`#f`	uflow-rescue	21	0
`pow.f64`	`(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)`	oflow-rescue	17	0
↳	`(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)`	overflow	28
↳	`(/.f64 i n)`	overflow	17
↳	`(+.f64 #s(literal 1 binary64) (/.f64 i n))`	overflow	17
`exp.f64`	`#f`	sensitivity	2	0

Confusion

	Predicted +	Predicted -
+	3646	490
-	108	6508

Precision

0.9712306872669153

Recall

0.8815280464216635

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	3646	169	321
-	108	182	6326

Precision?

0.9293544457978076

Recall?

0.9223887814313346

Freqs

test

number	freq
0	6998
1	3324
2	393
3	37

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	29	1	1
-	2	0	9

Precision?

0.9375

Recall?

0.967741935483871

Samples

1.7s	16 932×	0	valid
1.2s	1 970×	2	valid
531.0ms	2 464×	1	valid
154.0ms	62×	5	exit
43.0ms	70×	3	valid
4.0ms	6×	4	valid

Compiler

Compiled 8 444 to 1 926 computations (77.2% saved)

Precisions

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

ival-mult: 745.0ms (28.8% of total)

ival-add: 512.0ms (19.8% of total)

ival-sub: 248.0ms (9.6% of total)

ival-pow: 228.0ms (8.8% of total)

adjust: 202.0ms (7.8% of total)

ival-div: 202.0ms (7.8% of total)

ival-sin: 118.0ms (4.6% of total)

ival-cos: 92.0ms (3.6% of total)

const: 80.0ms (3.1% of total)

ival-exp: 26.0ms (1% of total)

ival-pow2: 25.0ms (1% of total)

ival-sqrt: 24.0ms (0.9% of total)

exact: 22.0ms (0.8% of total)

ival-neg: 19.0ms (0.7% of total)

ival-true: 19.0ms (0.7% of total)

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

ival-atan: 5.0ms (0.2% of total)

ival-tan: 4.0ms (0.2% of total)

ival-log1p: 4.0ms (0.2% of total)

ival-expm1: 3.0ms (0.1% of total)

ival-pi: 2.0ms (0.1% of total)

regimes8.7s (2.1%)

Memory

17.7MiB live, 10 891.5MiB allocated

Counts

6 385 → 605

Calls

96 calls:

962.0ms	x
474.0ms	b
402.0ms	c
391.0ms	(.f64 (cos.f64 x) (exp.f64 (.f64 #s(literal 10 binary64) (*.f64 x x))))
334.0ms	n

Compiler

Compiled 10 915 to 5 759 computations (47.2% saved)

bsearch5.1s (1.2%)

Memory

-42.6MiB live, 7 670.8MiB allocated

Algorithm

191×	binary-search
103×	left-value

Stop Event

187×	narrow-enough
4×	predicate-same

Samples

2.0s	18 558×	0	valid
612.0ms	3 069×	1	valid
515.0ms	1 406×	2	valid
253.0ms	3 312×	0	invalid
48.0ms	84×	3	valid
34.0ms	213×	1	exit
6.0ms	19×	4	valid
1.0ms	1×	5	exit

Compiler

Compiled 45 316 to 30 214 computations (33.3% saved)

Precisions

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

ival-mult: 900.0ms (33.9% of total)

ival-pow: 437.0ms (16.5% of total)

ival-div: 398.0ms (15% of total)

ival-add: 330.0ms (12.4% of total)

ival-sub: 280.0ms (10.6% of total)

adjust: 127.0ms (4.8% of total)

ival-neg: 45.0ms (1.7% of total)

ival-exp: 37.0ms (1.4% of total)

ival-sqrt: 35.0ms (1.3% of total)

exact: 26.0ms (1% of total)

ival-true: 19.0ms (0.7% of total)

ival-assert: 11.0ms (0.4% of total)

ival-expm1: 7.0ms (0.3% of total)

ival-pi: 2.0ms (0.1% of total)

series3.7s (0.9%)

Memory

188.2MiB live, 5 329.0MiB allocated

Counts

1 654 → 31 764

Calls

6474 calls:

Time	Variable		Point	Expression
230.0ms	i	@	-inf	(* (* (* 100 (log (/ i n))) n) (/ n i))
91.0ms	t	@	0	(* (* (sqrt (sqrt (sqrt (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))) (* (sqrt (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (sqrt (sqrt (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))))) (sqrt (sqrt (sqrt (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))))
74.0ms	x	@	0	(/ (- x (sin x)) (tan x))
72.0ms	x	@	inf	(pow (exp -1) (neg (log (* (+ (* (exp (* x (- -1 eps))) (/ (+ eps 1) eps)) (* (exp (- (* x eps) x)) (/ (+ eps 1) eps))) 1/2))))
69.0ms	t	@	-inf	(* (* (sqrt (sqrt (sqrt (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))) (* (sqrt (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (sqrt (sqrt (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))))) (sqrt (sqrt (sqrt (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))))

analyze3.5s (0.8%)

Memory

32.6MiB live, 5 659.3MiB allocated

Algorithm

43×	search
2×	random

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	54.5%	45.5%	0%	0%	0%	0
21.4%	11.7%	42.9%	45.5%	0%	0%	0%	1
37.4%	20.4%	34.1%	45.5%	0%	0%	0%	2
48.7%	26.2%	27.7%	45.5%	0%	0.6%	0%	3
57.7%	30.7%	22.6%	45.5%	0%	1.2%	0%	4
71.2%	37.7%	15.3%	45.5%	0%	1.6%	0%	5
72.9%	38.4%	14.3%	45.5%	0%	1.8%	0%	6
77.9%	40.7%	11.6%	45.5%	0%	2.2%	0%	7
81.5%	42.6%	9.7%	45.5%	0%	2.3%	0%	8
84.1%	43.8%	8.3%	45.5%	0%	2.5%	0%	9
86.2%	44.6%	7.2%	45.5%	0%	2.7%	0%	10
88.2%	45.6%	6.1%	45.5%	0%	2.8%	0%	11
89.1%	45.9%	5.6%	45.5%	0%	2.9%	0%	12

Compiler

Compiled 1 401 to 721 computations (48.5% saved)

end0.0ms (0%)

Memory: 0.8MiB live, 0.7MiB allocated

simplify1.8min (26.2%)

sample1.1min (16.4%)

rewrite1.1min (15.9%)

soundness47.0s (11.3%)

eval31.5s (7.5%)

prune27.6s (6.6%)

localize20.0s (4.8%)

preprocess16.3s (3.9%)

explain10.1s (2.4%)

regimes8.7s (2.1%)

bsearch5.1s (1.2%)

series3.7s (0.9%)

analyze3.5s (0.8%)

end0.0ms (0%)

Profiling