Metrics for Herbie run

Date:	Wednesday, July 17th, 2024
Commit:	c34c16ee on main
Hostname:	nightly with Racket 8.11.1
Seed:	2024199
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

sample3.5s (34.9%)

Memory

108.9MiB live, 2 674.5MiB allocated

Samples

1.2s	5 438×	2	valid
945.0ms	10 534×	1	valid
472.0ms	8 772×	0	valid
3.0ms	24×	3	valid

Precisions

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

ival-add: 540.0ms (30.5% of total)

adjust: 527.0ms (29.8% of total)

ival-sub: 385.0ms (21.7% of total)

ival-mult: 282.0ms (15.9% of total)

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

exact: 13.0ms (0.7% of total)

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

Bogosity

simplify1.9s (19.7%)

Memory

-21.9MiB live, 1 544.3MiB allocated

Algorithm

17×	egg-herbie

Rules

71 052×	`accelerator-lowering-fma.f32`
71 052×	`accelerator-lowering-fma.f64`
16 774×	`-lowering-.f32`
16 774×	`-lowering-.f64`
11 586×	`+-lowering-+.f32`

Stop Event

18×	saturated
8×	iter limit
5×	node limit

Counts

264 → 264

rewrite1.5s (15.3%)

Memory

3.1MiB live, 1 041.8MiB allocated

Algorithm

7×	batch-egg-rewrite

Rules

22 514×	`accelerator-lowering-fma.f32`
22 514×	`accelerator-lowering-fma.f64`
15 214×	`-lowering-.f32`
15 214×	`-lowering-.f64`
13 346×	`/-lowering-/.f64`

Stop Event

6×	saturated
4×	iter limit
4×	node limit

Counts

15 → 1 309

preprocess1.3s (12.7%)

Memory

-40.5MiB live, 796.4MiB allocated

Algorithm

6×	egg-herbie

Rules

27 818×	`accelerator-lowering-fma.f32`
27 818×	`accelerator-lowering-fma.f64`
6 504×	`unsub-neg`
6 342×	`+-lowering-+.f32`
6 342×	`+-lowering-+.f64`

Stop Event

4×	node limit
3×	iter limit
2×	saturated

Compiler

Compiled 184 to 132 computations (28.3% saved)

soundness911.0ms (9.2%)

Memory

2.7MiB live, 294.0MiB allocated

Rules

45 606×	`accelerator-lowering-fma.f32`
45 606×	`accelerator-lowering-fma.f64`
21 088×	`-lowering-.f32`
21 088×	`-lowering-.f64`
14 604×	`/-lowering-/.f64`

Stop Event

5×	iter limit
5×	node limit
3×	done

Compiler

Compiled 62 to 42 computations (32.3% saved)

explain290.0ms (2.9%)

Memory

-12.5MiB live, 324.2MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`-.f64`	`#f`	cancellation	250	2

Confusion

	Predicted +	Predicted -
+	245	1
-	5	517

Precision

0.98

Recall

0.9959349593495935

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	245	1	0
-	5	1	516

Precision?

0.9761904761904762

Recall?

1.0

Freqs

test

number	freq
0	518
1	250

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	2	0	0
-	0	0	1

Precision?

1.0

Recall?

1.0

Samples

58.0ms	670×	1	valid
52.0ms	312×	2	valid
20.0ms	548×	0	valid
1.0ms	6×	3	valid

Compiler

Compiled 194 to 80 computations (58.8% saved)

Precisions

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

ival-add: 33.0ms (42.8% of total)

adjust: 25.0ms (32.4% of total)

ival-sub: 12.0ms (15.6% of total)

ival-mult: 5.0ms (6.5% of total)

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

exact: 1.0ms (1.3% of total)

ival-true: 1.0ms (1.3% of total)

eval179.0ms (1.8%)

Memory: -13.1MiB live, 278.8MiB allocated
Compiler: Compiled 39 703 to 3 771 computations (90.5% saved)

prune168.0ms (1.7%)

Memory: 8.4MiB live, 297.7MiB allocated
Counts: 1 682 → 16
Compiler: Compiled 139 to 88 computations (36.7% saved)

localize128.0ms (1.3%)

Memory

28.4MiB live, 156.0MiB allocated

Samples

36.0ms	1 298×	0	valid
28.0ms	335×	1	valid
23.0ms	156×	2	valid
0.0ms	3×	3	valid

Compiler

Compiled 101 to 47 computations (53.5% saved)

Precisions

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

ival-add: 17.0ms (37.9% of total)

adjust: 12.0ms (26.7% of total)

ival-sub: 7.0ms (15.6% of total)

ival-mult: 7.0ms (15.6% of total)

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

exact: 1.0ms (2.2% of total)

ival-true: 1.0ms (2.2% of total)

regimes40.0ms (0.4%)

Memory

28.9MiB live, 60.6MiB allocated

Counts

19 → 7

Calls

8 calls:

10.0ms	x
9.0ms	(+.f64 x #s(literal 1 binary64))
6.0ms	(-.f64 (*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64))
6.0ms	(*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64)))
1.0ms	y

Compiler

Compiled 130 to 74 computations (43.1% saved)

series13.0ms (0.1%)

Memory

-22.1MiB live, 7.5MiB allocated

Counts

15 → 264

Calls

66 calls:

Time	Variable		Point	Expression
1.0ms	x	@	inf	(* 2 x)
0.0ms	x	@	-inf	(- (* (+ x 1) (+ x 1)) 1)
0.0ms	x	@	inf	(- (* (+ x 1) (+ x 1)) 1)
0.0ms	x	@	0	(- (* (+ x 1) (+ x 1)) 1)
0.0ms	x	@	-inf	(* (+ x 2) x)

analyze1.0ms (0%)

Memory

0.9MiB live, 0.9MiB allocated

Algorithm

3×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
100%	99.9%	0%	0.1%	0%	0%	0%	1

Compiler

Compiled 31 to 23 computations (25.8% saved)

bsearch0.0ms (0%)

Memory

0.3MiB live, 0.3MiB allocated

Algorithm

1×	left-value

Compiler

Compiled 13 to 10 computations (23.1% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

sample3.5s (34.9%)

simplify1.9s (19.7%)

rewrite1.5s (15.3%)

preprocess1.3s (12.7%)

soundness911.0ms (9.2%)

explain290.0ms (2.9%)

eval179.0ms (1.8%)

prune168.0ms (1.7%)

localize128.0ms (1.3%)

regimes40.0ms (0.4%)

series13.0ms (0.1%)

analyze1.0ms (0%)

bsearch0.0ms (0%)

end0.0ms (0%)

Profiling