Metrics for Herbie run

Date:	Tuesday, August 6th, 2024
Commit:	2.2 on release
Hostname:	nightly with Racket 8.11.1
Seed:	2024219
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.0s (32%)

Memory

128.9MiB live, 2 702.5MiB allocated

Samples

1.1s	10 401×	1	valid
886.0ms	5 605×	2	valid
261.0ms	8 762×	0	valid

Precisions

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

ival-add: 827.0ms (50.8% of total)

adjust: 457.0ms (28.1% of total)

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

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

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

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

exact: 9.0ms (0.6% of total)

Bogosity

simplify2.0s (20.9%)

Memory

70.7MiB live, 1 494.7MiB allocated

Algorithm

17×	egg-herbie

Rules

71 098×	`lower-fma.f32`
71 096×	`lower-fma.f64`
16 814×	`lower-*.f32`
16 806×	`lower-*.f64`
11 606×	`lower-+.f32`

Stop Event

18×	saturated
15×	iter limit
5×	node limit

Counts

300 → 270

preprocess1.3s (14%)

Memory

11.6MiB live, 789.6MiB 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 192 to 128 computations (33.3% saved)

rewrite1.3s (13.7%)

Memory

-40.1MiB live, 697.8MiB allocated

Algorithm

7×	batch-egg-rewrite

Rules

16 752×	`lower-fma.f32`
16 750×	`lower-fma.f64`
11 480×	`lower-*.f32`
11 472×	`lower-*.f64`
9 232×	`lower-/.f64`

Stop Event

14×	iter limit
6×	saturated
3×	node limit
2×	unsound

Counts

18 → 1 120

soundness885.0ms (9.3%)

Memory

-12.6MiB live, 346.6MiB allocated

Rules

39 824×	`lower-fma.f32`
39 822×	`lower-fma.f64`
17 324×	`lower-*.f32`
17 316×	`lower-*.f64`
10 464×	`lower-/.f64`

Stop Event

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

Compiler

Compiled 83 to 49 computations (41% saved)

explain352.0ms (3.7%)

Memory

-43.3MiB live, 315.0MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`-.f64`	`#f`	cancellation	254	1

Confusion

	Predicted +	Predicted -
+	249	0
-	5	514

Precision

0.9803149606299213

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	249	0	0
-	5	1	513

Precision?

0.9764705882352941

Recall?

1.0

Freqs

test

number	freq
0	514
1	254

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

68.0ms	592×	1	valid
67.0ms	400×	2	valid
20.0ms	544×	0	valid

Compiler

Compiled 194 to 80 computations (58.8% saved)

Precisions

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

ival-add: 52.0ms (51% of total)

adjust: 29.0ms (28.4% of total)

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

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

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

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

exact: 1.0ms (1% of total)

prune195.0ms (2.1%)

Memory: 10.7MiB live, 215.4MiB allocated
Counts: 1 499 → 19
Compiler: Compiled 194 to 112 computations (42.3% saved)

localize178.0ms (1.9%)

Memory

-34.0MiB live, 135.4MiB allocated

Samples

76.0ms	1 296×	0	valid
31.0ms	200×	2	valid
28.0ms	296×	1	valid

Compiler

Compiled 116 to 50 computations (56.9% saved)

Precisions

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

ival-add: 23.0ms (42.4% of total)

adjust: 14.0ms (25.8% of total)

ival-sub: 8.0ms (14.8% of total)

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

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

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

exact: 1.0ms (1.8% of total)

eval174.0ms (1.8%)

Memory: 8.2MiB live, 193.2MiB allocated
Compiler: Compiled 31 212 to 2 971 computations (90.5% saved)

regimes54.0ms (0.6%)

Memory

2.5MiB live, 62.2MiB allocated

Counts

28 → 8

Calls

8 calls:

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

Compiler

Compiled 154 to 87 computations (43.5% saved)

series9.0ms (0.1%)

Memory

9.6MiB live, 9.6MiB allocated

Counts

18 → 300

Calls

72 calls:

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

analyze1.0ms (0%)

Memory

0.8MiB live, 0.8MiB 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)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

sample3.0s (32%)

simplify2.0s (20.9%)

preprocess1.3s (14%)

rewrite1.3s (13.7%)

soundness885.0ms (9.3%)

explain352.0ms (3.7%)

prune195.0ms (2.1%)

localize178.0ms (1.9%)

eval174.0ms (1.8%)

regimes54.0ms (0.6%)

series9.0ms (0.1%)

analyze1.0ms (0%)

bsearch0.0ms (0%)

end0.0ms (0%)

Profiling