Metrics for Herbie run

Date:	Tuesday, July 16th, 2024
Commit:	a85c6450 on fix-terminal-costs
Hostname:	nightly with Racket 8.11.1
Seed:	2024198
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.7min (25.2%)

Memory

-823.7MiB live, 121 663.8MiB allocated

Algorithm

332×	egg-herbie

Rules

2 592 394×	`accelerator-lowering-fma.f32`
2 592 394×	`accelerator-lowering-fma.f64`
866 764×	`-lowering-.f32`
866 764×	`-lowering-.f64`
493 058×	`+-lowering-+.f32`

Stop Event

272×	iter limit
196×	node limit
154×	saturated

Counts

29 664 → 29 664

sample1.1min (17%)

Memory

181.6MiB live, 87 327.5MiB allocated

Samples

31.5s	285 681×	0	valid
11.6s	25 203×	2	valid
8.5s	35 370×	1	valid
416.0ms	4 236×	0	invalid
155.0ms	397×	3	valid
141.0ms	961×	0	exit
60.0ms	101×	3	exit
58.0ms	101×	4	exit
43.0ms	101×	4	valid
6.0ms	18×	5	exit
5.0ms	42×	1	exit

Precisions

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

ival-mult: 9.4s (24.4% of total)

ival-add: 4.9s (12.9% of total)

ival-div: 3.8s (10% of total)

ival-pow: 3.2s (8.4% of total)

ival-sub: 3.2s (8.3% of total)

const: 2.6s (6.8% of total)

ival-<=: 2.3s (6% of total)

ival-sin: 1.8s (4.8% of total)

ival-cos: 1.6s (4.1% of total)

adjust: 1.5s (4% of total)

ival-neg: 744.0ms (1.9% of total)

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

exact: 476.0ms (1.2% of total)

ival-sqrt: 443.0ms (1.2% of total)

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

ival-pow2: 331.0ms (0.9% of total)

ival-==: 295.0ms (0.8% of total)

ival-expm1: 212.0ms (0.6% of total)

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

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

ival-<: 82.0ms (0.2% of total)

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

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

ival-tan: 54.0ms (0.1% of total)

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

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

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

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

Bogosity

rewrite1.1min (15.8%)

Memory

1 020.4MiB live, 82 308.6MiB allocated

Algorithm

145×	batch-egg-rewrite

Rules

750 030×	`accelerator-lowering-fma.f32`
750 030×	`accelerator-lowering-fma.f64`
582 222×	`-lowering-.f32`
582 222×	`-lowering-.f64`
471 406×	`/-lowering-/.f64`

Stop Event

143×	iter limit
135×	node limit
19×	saturated

Counts

1 532 → 93 097

soundness45.3s (11.3%)

Memory

-227.4MiB live, 26 170.8MiB allocated

Rules

1 467 264×	`accelerator-lowering-fma.f32`
1 467 264×	`accelerator-lowering-fma.f64`
727 052×	`-lowering-.f32`
727 052×	`-lowering-.f64`
400 278×	`/-lowering-/.f64`

Stop Event

169×	iter limit
163×	node limit
24×	fuel
18×	done
9×	saturated

Compiler

Compiled 17 404 to 7 368 computations (57.7% saved)

eval33.4s (8.3%)

Memory: 970.2MiB live, 41 685.1MiB allocated
Compiler: Compiled 4 979 805 to 329 397 computations (93.4% saved)

prune24.2s (6%)

Memory: -340.0MiB live, 38 667.5MiB allocated
Counts: 150 439 → 2 193
Compiler: Compiled 76 882 to 37 868 computations (50.7% saved)

localize18.7s (4.7%)

Memory

84.1MiB live, 24 732.2MiB allocated

Samples

6.2s	31 346×	0	valid
1.5s	2 041×	2	valid
1.4s	2 669×	1	valid
489.0ms	159×	4	valid
459.0ms	153×	5	exit
385.0ms	250×	3	valid
119.0ms	124×	1	exit
73.0ms	324×	0	invalid
21.0ms	8×	4	exit
12.0ms	46×	0	exit

Compiler

Compiled 23 047 to 3 215 computations (86.1% saved)

Precisions

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

ival-mult: 2.9s (38.3% of total)

ival-add: 1.3s (17.1% of total)

ival-div: 1.1s (14.7% of total)

const: 491.0ms (6.4% of total)

ival-pow: 371.0ms (4.8% of total)

adjust: 344.0ms (4.5% of total)

ival-sub: 290.0ms (3.8% of total)

ival-neg: 196.0ms (2.5% of total)

ival-cos: 137.0ms (1.8% of total)

ival-sin: 109.0ms (1.4% of total)

ival-sqrt: 106.0ms (1.4% of total)

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

exact: 50.0ms (0.6% of total)

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

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

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

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

ival-log1p: 10.0ms (0.1% of total)

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

ival-fabs: 6.0ms (0.1% of total)

ival-tan: 6.0ms (0.1% of total)

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

preprocess15.6s (3.9%)

Memory

2.6MiB live, 18 029.7MiB allocated

Algorithm

84×	egg-herbie

Rules

283 340×	`accelerator-lowering-fma.f32`
283 340×	`accelerator-lowering-fma.f64`
55 342×	`-lowering-.f32`
55 342×	`-lowering-.f64`
38 680×	`unsub-neg`

Stop Event

55×	saturated
40×	iter limit
31×	node limit

Compiler

Compiled 22 112 to 6 134 computations (72.3% saved)

explain10.1s (2.5%)

Memory

9.5MiB live, 15 041.7MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`-.f64`	`#f`	cancellation	1340	3
`+.f64`	`#f`	cancellation	366	90
`-.f64`	(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))	oflow-left	219	0
`sqrt.f64`	`#f`	oflow-rescue	206	0
`log.f64`	`(log.f64 (+.f64 #s(literal 1 binary64) x))`	sensitivity	172	0
`/.f64`	`#f`	n/o	171	0
`/.f64`	`#f`	o/o	158	0
`-.f64`	`#f`	nan-rescue	117	0
`pow.f64`	`(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)`	sensitivity	110	1
`/.f64`	`#f`	u/n	79	0
`/.f64`	`#f`	u/u	58	0
`/.f64`	`#f`	n/u	44	0
`/.f64`	`#f`	o/n	41	0
`+.f64`	`#f`	nan-rescue	37	0
`*.f64`	`#f`	*nu**	30	0
`pow.f64`	`(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)`	oflow-rescue	22	0
↳	`(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)`	overflow	27
↳	`(/.f64 i n)`	overflow	22
↳	`(+.f64 #s(literal 1 binary64) (/.f64 i n))`	overflow	22
`*.f64`	`#f`	*no**	22	0
`sqrt.f64`	`#f`	uflow-rescue	14	0

Confusion

	Predicted +	Predicted -
+	3632	476
-	114	6530

Precision

0.9695675387079552

Recall

0.8841285296981499

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	3632	162	314
-	114	186	6344

Precision?

0.9267220322423058

Recall?

0.9235637779941578

Freqs

test

number	freq
0	7006
1	3301
2	410
3	35

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	30	1	1
-	2	0	8

Precision?

0.9393939393939394

Recall?

0.96875

Samples

1.7s	16 854×	0	valid
881.0ms	1 950×	2	valid
483.0ms	2 542×	1	valid
79.0ms	66×	5	exit
77.0ms	86×	3	valid
2.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.1s

ival-mult: 680.0ms (33.1% of total)

ival-add: 260.0ms (12.7% of total)

ival-div: 230.0ms (11.2% of total)

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

ival-sub: 168.0ms (8.2% of total)

adjust: 163.0ms (7.9% of total)

ival-sin: 99.0ms (4.8% of total)

ival-cos: 67.0ms (3.3% of total)

const: 43.0ms (2.1% of total)

ival-sqrt: 29.0ms (1.4% of total)

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

exact: 23.0ms (1.1% of total)

ival-neg: 21.0ms (1% of total)

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

ival-pow2: 14.0ms (0.7% of total)

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

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

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

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

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

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

regimes7.5s (1.9%)

Memory

-116.8MiB live, 10 751.5MiB allocated

Counts

5 771 → 541

Calls

96 calls:

807.0ms	x
586.0ms	(/.f64 (.f64 (-.f64 x y) (+.f64 x y)) (+.f64 (.f64 x x) (*.f64 y y)))
418.0ms	a
415.0ms	b
350.0ms	eps

Compiler

Compiled 9 980 to 5 359 computations (46.3% saved)

analyze5.6s (1.4%)

Memory

-82.9MiB live, 5 397.2MiB 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)

bsearch4.3s (1.1%)

Memory

118.0MiB live, 5 374.4MiB allocated

Algorithm

166×	binary-search
88×	left-value

Stop Event

152×	narrow-enough
14×	predicate-same

Samples

1.9s	16 320×	0	valid
456.0ms	1 382×	2	valid
421.0ms	2 339×	1	valid
275.0ms	2 690×	0	invalid
27.0ms	68×	3	valid
11.0ms	35×	4	valid
4.0ms	21×	0	exit
2.0ms	5×	5	exit
1.0ms	9×	1	exit

Compiler

Compiled 38 283 to 25 288 computations (33.9% saved)

Precisions

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

ival-mult: 1.1s (45.8% of total)

ival-div: 291.0ms (12.3% of total)

ival-pow: 278.0ms (11.8% of total)

ival-add: 248.0ms (10.5% of total)

ival-sub: 182.0ms (7.7% of total)

ival-neg: 82.0ms (3.5% of total)

adjust: 66.0ms (2.8% of total)

ival-sqrt: 63.0ms (2.7% of total)

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

exact: 19.0ms (0.8% of total)

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

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

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

series3.7s (0.9%)

Memory

-514.6MiB live, 4 021.2MiB allocated

Counts

1 532 → 29 664

Calls

6072 calls:

Time	Variable		Point	Expression
185.0ms	x2	@	inf	(+ (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) 3)) (* (* x1 x1) x1)) x1)
139.0ms	c	@	-inf	(/ (+ (* b b) (+ (* b b) (* c (* a -4)))) (* (* a 2) (- b (sqrt (+ (* b b) (* c (* a -4)))))))
109.0ms	t	@	0	(* (* (sqrt (sqrt (sqrt (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))) (* (sqrt (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (sqrt (sqrt (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))))) (sqrt (sqrt (sqrt (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))))
106.0ms	t	@	0	(* (sqrt (sqrt (sqrt (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))) (* (sqrt (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (sqrt (sqrt (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))))
89.0ms	t	@	inf	(* (sqrt (sqrt (sqrt (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))) (* (sqrt (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (sqrt (sqrt (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))))

end0.0ms (0%)

Memory: 0.7MiB live, 0.6MiB allocated

simplify1.7min (25.2%)

sample1.1min (17%)

rewrite1.1min (15.8%)

soundness45.3s (11.3%)

eval33.4s (8.3%)

prune24.2s (6%)

localize18.7s (4.7%)

preprocess15.6s (3.9%)

explain10.1s (2.5%)

regimes7.5s (1.9%)

analyze5.6s (1.4%)

bsearch4.3s (1.1%)

series3.7s (0.9%)

end0.0ms (0%)

Profiling