Metrics for Herbie run

Date:	Saturday, July 13th, 2024
Commit:	798ab808 on main
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

sample3.3s (33.6%)

Memory

119.5MiB live, 2 715.1MiB allocated

Samples

1.3s	10 452×	1	valid
799.0ms	5 644×	2	valid
344.0ms	8 672×	0	valid

Precisions

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

ival-add: 802.0ms (56% of total)

adjust: 287.0ms (20% of total)

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

ival-mult: 82.0ms (5.7% of total)

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

exact: 13.0ms (0.9% of total)

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

Bogosity

simplify2.3s (23.6%)

Memory

-88.4MiB live, 1 624.4MiB allocated

Algorithm

17×	egg-herbie

Rules

71 098×	`accelerator-lowering-fma.f32`
71 098×	`accelerator-lowering-fma.f64`
16 814×	`-lowering-.f32`
16 814×	`-lowering-.f64`
11 606×	`+-lowering-+.f32`

Stop Event

16×	saturated
10×	iter limit
5×	node limit

Counts

300 → 300

preprocess1.3s (13.2%)

Memory

-1.8MiB live, 913.3MiB 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 196 to 132 computations (32.7% saved)

rewrite1.2s (11.9%)

Memory

-14.1MiB live, 1 087.5MiB allocated

Algorithm

7×	batch-egg-rewrite

Rules

16 752×	`accelerator-lowering-fma.f32`
16 752×	`accelerator-lowering-fma.f64`
11 480×	`-lowering-.f32`
11 480×	`-lowering-.f64`
9 232×	`/-lowering-/.f32`

Stop Event

9×	iter limit
4×	saturated
3×	node limit
2×	unsound

Counts

18 → 1 120

soundness920.0ms (9.4%)

Memory

-51.6MiB live, 294.6MiB allocated

Rules

39 824×	`accelerator-lowering-fma.f32`
39 824×	`accelerator-lowering-fma.f64`
17 324×	`-lowering-.f32`
17 324×	`-lowering-.f64`
10 464×	`/-lowering-/.f64`

Stop Event

7×	iter limit
4×	node limit
3×	done
1×	unsound

Compiler

Compiled 83 to 49 computations (41% saved)

explain270.0ms (2.7%)

Memory

1.8MiB live, 318.6MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`-.f64`	`#f`	cancellation	256	0

Confusion

	Predicted +	Predicted -
+	242	2
-	14	510

Precision

0.9453125

Recall

0.9918032786885246

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	242	0	2
-	14	0	510

Precision?

0.9453125

Recall?

0.9918032786885246

Freqs

test

number	freq
0	512
1	256

Total Confusion?

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

Precision?

1.0

Recall?

0.6666666666666666

Samples

51.0ms	660×	1	valid
45.0ms	322×	2	valid
21.0ms	554×	0	valid

Compiler

Compiled 194 to 80 computations (58.8% saved)

Precisions

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

ival-add: 29.0ms (44.5% of total)

adjust: 17.0ms (26.1% of total)

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

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

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

exact: 1.0ms (1.5% of total)

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

prune205.0ms (2.1%)

Memory: 20.4MiB live, 244.9MiB allocated
Counts: 1 531 → 19
Compiler: Compiled 194 to 112 computations (42.3% saved)

eval160.0ms (1.6%)

Memory: 11.4MiB live, 220.6MiB allocated
Compiler: Compiled 32 062 to 2 981 computations (90.7% saved)

localize130.0ms (1.3%)

Memory

49.7MiB live, 144.1MiB allocated

Samples

40.0ms	1 301×	0	valid
25.0ms	330×	1	valid
23.0ms	161×	2	valid

Compiler

Compiled 115 to 50 computations (56.5% saved)

Precisions

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

ival-add: 18.0ms (42% of total)

adjust: 8.0ms (18.7% of total)

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

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

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

exact: 1.0ms (2.3% of total)

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

regimes50.0ms (0.5%)

Memory

14.4MiB live, 77.9MiB allocated

Counts

28 → 8

Calls

8 calls:

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

Compiler

Compiled 154 to 87 computations (43.5% saved)

series9.0ms (0.1%)

Memory

10.9MiB live, 10.9MiB allocated

Counts

18 → 300

Calls

72 calls:

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

analyze1.0ms (0%)

Memory

0.7MiB live, 0.7MiB 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.3s (33.6%)

simplify2.3s (23.6%)

preprocess1.3s (13.2%)

rewrite1.2s (11.9%)

soundness920.0ms (9.4%)

explain270.0ms (2.7%)

prune205.0ms (2.1%)

eval160.0ms (1.6%)

localize130.0ms (1.3%)

regimes50.0ms (0.5%)

series9.0ms (0.1%)

analyze1.0ms (0%)

bsearch0.0ms (0%)

end0.0ms (0%)

Profiling