Metrics for Herbie run

Date:	Saturday, July 13th, 2024
Commit:	de67b973 on bsearch-speedup
Hostname:	nightly with Racket 8.11.1
Seed:	2024195
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

rewrite56.2min (49.1%)

Memory

571.3MiB live, 40 300.2MiB allocated

Algorithm

67×	batch-egg-rewrite

Rules

295 696×	`accelerator-lowering-fma.f32`
295 696×	`accelerator-lowering-fma.f64`
235 054×	`-lowering-.f32`
235 054×	`-lowering-.f64`
179 578×	`/-lowering-/.f64`

Stop Event

81×	iter limit
62×	node limit
4×	unsound
2×	saturated

Counts

753 → 49 362

simplify28.6min (25%)

Memory

-104.5MiB live, 51 752.3MiB allocated

Algorithm

148×	egg-herbie

Rules

906 698×	`accelerator-lowering-fma.f32`
906 698×	`accelerator-lowering-fma.f64`
342 934×	`-lowering-.f32`
342 934×	`-lowering-.f64`
171 806×	`+-lowering-+.f32`

Stop Event

129×	iter limit
76×	saturated
74×	node limit

Counts

12 240 → 12 240

sample28.6min (24.9%)

Memory

489.4MiB live, 48 286.8MiB allocated

Samples

28.0min	40 967×	1	valid
9.0s	6 332×	5	exit
8.9s	108 149×	0	valid
4.6s	12 397×	2	valid
927.0ms	9 095×	1	exit
511.0ms	3 867×	0	invalid
224.0ms	1 196×	2	exit
187.0ms	1 395×	0	exit

Precisions

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

const: 27.9min (98.6% of total)

ival-exp: 4.2s (0.2% of total)

ival-pow: 3.3s (0.2% of total)

ival-cos: 2.4s (0.1% of total)

ival-mult: 2.3s (0.1% of total)

adjust: 1.6s (0.1% of total)

ival-log: 1.3s (0.1% of total)

ival-sqrt: 1.3s (0.1% of total)

ival-add: 1.0s (0.1% of total)

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

ival-fmod: 840.0ms (0% of total)

ival-div: 714.0ms (0% of total)

ival-sin: 713.0ms (0% of total)

ival-sinh: 700.0ms (0% of total)

ival-sub: 682.0ms (0% of total)

ival-<=: 464.0ms (0% of total)

ival-pow2: 372.0ms (0% of total)

ival-acos: 365.0ms (0% of total)

ival-neg: 277.0ms (0% of total)

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

ival-<: 113.0ms (0% of total)

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

ival-true: 95.0ms (0% of total)

ival-and: 91.0ms (0% of total)

exact: 81.0ms (0% of total)

ival-assert: 75.0ms (0% of total)

ival-==: 68.0ms (0% of total)

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

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

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

Bogosity

soundness14.4s (0.2%)

Memory

-33.5MiB live, 9 053.1MiB allocated

Rules

580 304×	`accelerator-lowering-fma.f32`
580 304×	`accelerator-lowering-fma.f64`
275 726×	`-lowering-.f32`
275 726×	`-lowering-.f64`
135 518×	`+-lowering-+.f32`

Stop Event

74×	iter limit
62×	node limit
12×	fuel
4×	done
2×	saturated
2×	unsound

Compiler

Compiled 4 194 to 2 114 computations (49.6% saved)

eval14.2s (0.2%)

Memory: 429.8MiB live, 20 721.2MiB allocated
Compiler: Compiled 2 201 718 to 155 097 computations (93% saved)

prune12.8s (0.2%)

Memory: -563.3MiB live, 20 513.8MiB allocated
Counts: 77 966 → 1 582
Compiler: Compiled 60 197 to 30 748 computations (48.9% saved)

localize9.1s (0.1%)

Memory

31.6MiB live, 11 430.6MiB allocated

Samples

2.4s	12 374×	0	valid
1.9s	2 961×	1	valid
1.4s	1 070×	2	valid
121.0ms	216×	0	invalid
100.0ms	307×	1	exit
67.0ms	90×	1	invalid
41.0ms	114×	0	exit
37.0ms	20×	3	valid

Compiler

Compiled 9 250 to 1 483 computations (84% saved)

Precisions

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

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

ival-exp: 415.0ms (9.6% of total)

ival-div: 383.0ms (8.9% of total)

ival-add: 355.0ms (8.2% of total)

ival-cos: 331.0ms (7.7% of total)

const: 307.0ms (7.1% of total)

ival-fmod: 213.0ms (4.9% of total)

adjust: 209.0ms (4.8% of total)

ival-sqrt: 202.0ms (4.7% of total)

ival-sub: 177.0ms (4.1% of total)

ival-log: 168.0ms (3.9% of total)

ival-sin: 165.0ms (3.8% of total)

ival-pow: 121.0ms (2.8% of total)

ival-sinh: 37.0ms (0.9% of total)

ival-neg: 27.0ms (0.6% of total)

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

exact: 21.0ms (0.5% of total)

ival-acos: 19.0ms (0.4% of total)

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

ival-hypot: 13.0ms (0.3% of total)

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

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

ival-asin: 2.0ms (0% of total)

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

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

regimes4.9s (0.1%)

Memory

72.3MiB live, 6 977.0MiB allocated

Counts

3 592 → 138

Calls

40 calls:

581.0ms	x
558.0ms	b
506.0ms	a
473.0ms	r
394.0ms	(/.f64 (sin.f64 b) (cos.f64 (+.f64 a b)))

Compiler

Compiled 1 805 to 1 199 computations (33.6% saved)

analyze3.9s (0.1%)

Memory

-70.8MiB live, 4 593.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.2s (0%)

Memory

-63.6MiB live, 3 667.0MiB allocated

Counts

788 → 13 068

Calls

2559 calls:

Time	Variable		Point	Expression
275.0ms	a	@	0	(* b (/ r (cos a)))
114.0ms	x	@	0	(* (sqrt (* (* 2 x) (sqrt (* x (sqrt x))))) (sqrt (sqrt (sqrt x))))
110.0ms	x	@	-inf	(sqrt (* x (sqrt (sqrt x))))
101.0ms	x	@	inf	(log (/ (sinh x) x))
96.0ms	x	@	0	(* x (pow 2 1/4))

preprocess3.2s (0%)

Memory

11.5MiB live, 3 653.2MiB allocated

Algorithm

38×	egg-herbie

Rules

26 190×	`accelerator-lowering-fma.f32`
26 190×	`accelerator-lowering-fma.f64`
5 680×	`+-lowering-+.f32`
5 680×	`+-lowering-+.f64`
4 698×	`unsub-neg`

Stop Event

36×	saturated
18×	iter limit
3×	node limit

Compiler

Compiled 7 424 to 3 030 computations (59.2% saved)

explain2.6s (0%)

Memory

34.8MiB live, 3 145.6MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`#f`	oflow-rescue	614	0
`cos.f64`	`#f`	sensitivity	533	0
`-.f64`	`#f`	cancellation	338	1
`sqrt.f64`	`#f`	uflow-rescue	325	0
`/.f64`	`#f`	n/o	257	0
`acos.f64`	`(acos.f64 (-.f64 #s(literal 1 binary64) x))`	sensitivity	254	1
`log.f64`	`(log.f64 (/.f64 (sinh.f64 x) x))`	sensitivity	248	0
`pow.f64`	`(pow.f64 l (exp.f64 w))`	sensitivity	130	14
`*.f64`	`#f`	*no**	58	0
`*.f64`	`#f`	*uo**	37	0
`-.f64`	`(-.f64 (.f64 a a) (.f64 b b))`	nan-rescue	20	0
↳	`(*.f64 a a)`	overflow	123
↳	`(*.f64 b b)`	overflow	20
`*.f64`	`#f`	*nu**	18	0
`log.f64`	`(log.f64 (/.f64 (sinh.f64 x) x))`	oflow-rescue	6	0
↳	`(sinh.f64 x)`	overflow	6
↳	`(/.f64 (sinh.f64 x) x)`	overflow	6

Confusion

	Predicted +	Predicted -
+	2139	274
-	627	1824

Precision

0.7733188720173536

Recall

0.8864484044757563

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	2139	2	272
-	627	14	1810

Precision?

0.7695902228612509

Recall?

0.887277248238707

Freqs

test

number	freq
0	2098
1	2695
2	70
3	1

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	17	0	0
-	0	0	2

Precision?

1.0

Recall?

1.0

Samples

407.0ms	2 354×	1	valid
366.0ms	6 504×	0	valid
355.0ms	766×	2	valid
44.0ms	104×	1	exit

Compiler

Compiled 1 200 to 520 computations (56.7% saved)

Precisions

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

ival-mult: 112.0ms (13.2% of total)

ival-sqrt: 111.0ms (13.1% of total)

adjust: 91.0ms (10.7% of total)

ival-div: 90.0ms (10.6% of total)

ival-sinh: 66.0ms (7.8% of total)

ival-cos: 62.0ms (7.3% of total)

ival-log: 59.0ms (7% of total)

ival-exp: 47.0ms (5.5% of total)

ival-sin: 42.0ms (5% of total)

ival-sub: 29.0ms (3.4% of total)

ival-add: 28.0ms (3.3% of total)

ival-fmod: 27.0ms (3.2% of total)

ival-pow2: 24.0ms (2.8% of total)

ival-acos: 20.0ms (2.4% of total)

ival-pow: 8.0ms (0.9% of total)

ival-hypot: 8.0ms (0.9% of total)

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

ival-neg: 5.0ms (0.6% of total)

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

exact: 3.0ms (0.4% of total)

ival-atan: 3.0ms (0.4% of total)

bsearch512.0ms (0%)

Memory

-5.7MiB live, 533.6MiB allocated

Algorithm

22×	binary-search
21×	left-value

Stop Event

22×	narrow-enough

Samples

199.0ms	2 025×	0	valid
89.0ms	224×	2	valid
72.0ms	535×	1	valid
3.0ms	50×	0	exit

Compiler

Compiled 4 275 to 3 041 computations (28.9% saved)

Precisions

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

ival-exp: 88.0ms (33.8% of total)

ival-cos: 27.0ms (10.4% of total)

ival-sin: 27.0ms (10.4% of total)

ival-pow: 24.0ms (9.2% of total)

ival-mult: 22.0ms (8.4% of total)

ival-fmod: 22.0ms (8.4% of total)

adjust: 11.0ms (4.2% of total)

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

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

ival-div: 6.0ms (2.3% of total)

ival-pow2: 5.0ms (1.9% of total)

ival-add: 4.0ms (1.5% of total)

ival-acos: 4.0ms (1.5% of total)

ival-true: 2.0ms (0.8% of total)

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

ival-sub: 1.0ms (0.4% of total)

exact: 0.0ms (0% of total)

end0.0ms (0%)

Memory: 0.4MiB live, 0.4MiB allocated

rewrite56.2min (49.1%)

simplify28.6min (25%)

sample28.6min (24.9%)

soundness14.4s (0.2%)

eval14.2s (0.2%)

prune12.8s (0.2%)

localize9.1s (0.1%)

regimes4.9s (0.1%)

analyze3.9s (0.1%)

series3.2s (0%)

preprocess3.2s (0%)

explain2.6s (0%)

bsearch512.0ms (0%)

end0.0ms (0%)

Profiling