Metrics for Herbie run

Date:	Tuesday, December 17th, 2024
Commit:	a057aa8d on main
Hostname:	nightly with Racket 8.10
Seed:	2024352
Parameters:	256 points for 4 iterations
Flags:	`localize:costslocalize:errorsreduce:regimesreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs` default
Memory:	5 108.2 MB

sample4.3s (48.3%)

Memory

119.5MiB live, 2 640.0MiB allocated; 2.8s collecting garbage

Samples

1.5s	10 504×	1	valid
1.4s	5 626×	2	valid
605.0ms	8 638×	0	valid

Precisions

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

adjust: 1.2s (43.9% of total)

ival-add: 1.2s (43.6% of total)

ival-sub: 207.0ms (7.6% of total)

ival-mult: 94.0ms (3.5% of total)

ival-true: 17.0ms (0.6% of total)

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

exact: 10.0ms (0.4% of total)

Bogosity

simplify1.5s (17.2%)

Memory

50.9MiB live, 729.2MiB allocated; 71ms collecting garbage

Algorithm

17×	egg-herbie

Stop Event

17×	iter limit
11×	node limit
10×	saturated

Counts

57 → 51

rewrite1.2s (13.3%)

Memory

-70.8MiB live, 634.3MiB allocated; 144ms collecting garbage

Stop Event

13×	iter limit
7×	node limit
2×	saturated

Counts

24 → 1 344

preprocess658.0ms (7.4%)

Memory

-7.7MiB live, 335.5MiB allocated; 90ms collecting garbage

Algorithm

3×	egg-herbie

Stop Event

6×	iter limit
4×	node limit
2×	saturated

Compiler

Compiled 421 to 265 computations (37.1% saved)

derivations435.0ms (4.9%)

Memory

17.9MiB live, 110.4MiB allocated; 7ms collecting garbage

Stop Event

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

Compiler

Compiled 82 to 37 computations (54.9% saved)

explain313.0ms (3.5%)

Memory

-6.5MiB live, 238.8MiB allocated; 25ms collecting garbage

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

74.0ms	656×	1	valid
68.0ms	348×	2	valid
19.0ms	532×	0	valid

Compiler

Compiled 159 to 63 computations (60.4% saved)

Precisions

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

adjust: 56.0ms (51.8% of total)

ival-add: 31.0ms (28.7% of total)

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

ival-mult: 6.0ms (5.5% of total)

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

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

exact: 1.0ms (0.9% of total)

localize235.0ms (2.6%)

Memory

-13.2MiB live, 125.4MiB allocated; 9ms collecting garbage

Samples

82.0ms	740×	1	valid
78.0ms	398×	2	valid
29.0ms	654×	0	valid

Compiler

Compiled 172 to 63 computations (63.4% saved)

Precisions

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

adjust: 60.0ms (47.3% of total)

ival-add: 37.0ms (29.2% of total)

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

ival-mult: 13.0ms (10.2% of total)

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

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

exact: 1.0ms (0.8% of total)

eval161.0ms (1.8%)

Memory: 10.9MiB live, 186.8MiB allocated; 27ms collecting garbage
Compiler: Compiled 29 067 to 4 186 computations (85.6% saved)

prune41.0ms (0.5%)

Memory: -90.2MiB live, 64.5MiB allocated; 14ms collecting garbage
Counts: 1 330 → 19
Compiler: Compiled 363 to 212 computations (41.6% saved)

regimes35.0ms (0.4%)

Memory

32.9MiB live, 32.9MiB allocated; 0ms collecting garbage

Counts

23 → 7

Calls

8 calls:

10.0ms	x
7.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 100 to 74 computations (26% saved)

series11.0ms (0.1%)

Memory

8.1MiB live, 8.1MiB allocated; 0ms collecting garbage

Counts

24 → 57

Calls

33 calls:

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

analyze1.0ms (0%)

Memory

1.9MiB live, 1.9MiB allocated; 0ms collecting garbage

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; 0ms collecting garbage

Algorithm

1×	left-value

Compiler

Compiled 12 to 9 computations (25% saved)

start0.0ms (0%)

Memory: 0.3MiB live, 0.3MiB allocated; 0ms collecting garbage

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

sample4.3s (48.3%)

simplify1.5s (17.2%)

rewrite1.2s (13.3%)

preprocess658.0ms (7.4%)

derivations435.0ms (4.9%)

explain313.0ms (3.5%)

localize235.0ms (2.6%)

eval161.0ms (1.8%)

prune41.0ms (0.5%)

regimes35.0ms (0.4%)

series11.0ms (0.1%)

analyze1.0ms (0%)

bsearch0.0ms (0%)

start0.0ms (0%)

end0.0ms (0%)

Profiling