Metrics for Herbie run

Date:	Thursday, August 22nd, 2024
Commit:	0a751149 on faster-egg
Hostname:	nightly with Racket 8.11.1
Seed:	2024235
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.2s (33.9%)

Memory

61.6MiB live, 2 563.8MiB allocated

Samples

1.2s	5 526×	2	valid
1.0s	10 423×	1	valid
254.0ms	8 819×	0	valid

Precisions

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

adjust: 886.0ms (50.1% of total)

ival-add: 542.0ms (30.6% of total)

ival-sub: 225.0ms (12.7% of total)

ival-mult: 85.0ms (4.8% of total)

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

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

exact: 8.0ms (0.5% of total)

Bogosity

simplify1.9s (20.7%)

Memory

-19.3MiB live, 707.2MiB allocated

Algorithm

15×	egg-herbie

Rules

117 170×	`lower-fma.f32`
117 168×	`lower-fma.f64`
23 386×	`lower-*.f32`
23 378×	`lower-*.f64`
19 954×	`lower-+.f32`

Stop Event

14×	iter limit
12×	saturated
7×	node limit

Counts

384 → 352

preprocess953.0ms (10.2%)

Memory

36.8MiB live, 418.9MiB allocated

Algorithm

3×	egg-herbie

Rules

27 818×	`lower-fma.f32`
27 818×	`lower-fma.f64`
6 342×	`lower-+.f32`
6 330×	`lower-+.f64`
6 010×	`unsub-neg`

Stop Event

6×	iter limit
4×	node limit
2×	saturated

Compiler

Compiled 240 to 143 computations (40.4% saved)

rewrite950.0ms (10.2%)

Memory

33.5MiB live, 759.6MiB allocated

Rules

33 752×	`lower-fma.f32`
33 750×	`lower-fma.f64`
23 130×	`lower-*.f32`
23 122×	`lower-*.f64`
19 466×	`lower-/.f64`

Stop Event

10×	iter limit
6×	node limit
2×	saturated

Counts

22 → 1 632

soundness888.0ms (9.5%)

Memory

-12.7MiB live, 175.7MiB allocated

Rules

43 800×	`lower-fma.f64`
43 800×	`lower-fma.f32`
11 434×	`lower-*.f32`
11 432×	`lower-*.f64`
9 120×	`lower-/.f64`

Stop Event

5×	iter limit
3×	node limit
3×	done
1×	saturated

Compiler

Compiled 77 to 43 computations (44.2% saved)

localize445.0ms (4.8%)

Memory

-29.8MiB live, 192.8MiB allocated

Samples

310.0ms	638×	1	valid
56.0ms	354×	2	valid
24.0ms	544×	0	valid

Compiler

Compiled 157 to 55 computations (65% saved)

Precisions

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

adjust: 263.0ms (81.3% of total)

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

ival-sub: 14.0ms (4.3% of total)

ival-mult: 10.0ms (3.1% of total)

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

exact: 1.0ms (0.3% of total)

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

prune344.0ms (3.7%)

Memory: -3.2MiB live, 271.6MiB allocated
Counts: 2 088 → 14
Compiler: Compiled 187 to 103 computations (44.9% saved)

eval327.0ms (3.5%)

Memory: -24.2MiB live, 268.2MiB allocated
Compiler: Compiled 48 389 to 3 845 computations (92.1% saved)

explain273.0ms (2.9%)

Memory

21.5MiB live, 350.2MiB allocated

Explanations

Click to see full explanations table

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

Confusion

	Predicted +	Predicted -
+	251	0
-	5	512

Precision

0.98046875

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	251	0	0
-	5	0	512

Precision?

0.98046875

Recall?

1.0

Freqs

test

number	freq
0	512
1	256

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

58.0ms	354×	2	valid
55.0ms	638×	1	valid
18.0ms	544×	0	valid

Compiler

Compiled 164 to 63 computations (61.6% saved)

Precisions

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

adjust: 30.0ms (38.7% of total)

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

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

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

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

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

exact: 1.0ms (1.3% of total)

regimes36.0ms (0.4%)

Memory

20.2MiB live, 50.1MiB allocated

Counts

16 → 7

Calls

8 calls:

11.0ms	x
6.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	z

Compiler

Compiled 130 to 74 computations (43.1% saved)

series18.0ms (0.2%)

Memory

-6.3MiB live, 22.2MiB allocated

Counts

22 → 384

Calls

69 calls:

Time	Variable		Point	Expression
1.0ms	x	@	inf	(+ (* (+ 1 x) x) x)
0.0ms	x	@	-inf	(* (+ 2 x) 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)

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.2MiB live, 0.2MiB allocated

Algorithm

1×	left-value

Compiler

Compiled 13 to 10 computations (23.1% saved)

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

sample3.2s (33.9%)

simplify1.9s (20.7%)

preprocess953.0ms (10.2%)

rewrite950.0ms (10.2%)

soundness888.0ms (9.5%)

localize445.0ms (4.8%)

prune344.0ms (3.7%)

eval327.0ms (3.5%)

explain273.0ms (2.9%)

regimes36.0ms (0.4%)

series18.0ms (0.2%)

analyze1.0ms (0%)

bsearch0.0ms (0%)

start0.0ms (0%)

end0.0ms (0%)

Profiling