Metrics for Herbie run

Date:	Saturday, August 17th, 2024
Commit:	4554f346 on faster-egg
Hostname:	nightly with Racket 8.11.1
Seed:	2024230
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 (31.7%)

Memory

124.9MiB live, 2 672.0MiB allocated

Samples

1.3s	10 526×	1	valid
831.0ms	5 466×	2	valid
361.0ms	8 776×	0	valid

Precisions

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

ival-add: 766.0ms (48.1% of total)

adjust: 503.0ms (31.6% of total)

ival-sub: 199.0ms (12.5% of total)

ival-mult: 91.0ms (5.7% 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.2s (20.6%)

Memory

65.9MiB live, 1 030.8MiB allocated

Algorithm

17×	egg-herbie

Rules

66 442×	`lower-fma.f32`
66 441×	`lower-fma.f64`
14 621×	`lower-*.f32`
14 617×	`lower-*.f64`
12 022×	`lower-+.f32`

Stop Event

17×	iter limit
12×	saturated
9×	node limit

Counts

408 → 378

rewrite1.5s (14%)

Memory

24.5MiB live, 755.8MiB allocated

Rules

14 003×	`lower-fma.f32`
14 002×	`lower-fma.f64`
9 970×	`lower-*.f32`
9 966×	`lower-*.f64`
8 020×	`lower-/.f64`

Stop Event

14×	iter limit
7×	node limit
2×	saturated

Counts

24 → 1 166

preprocess1.2s (11.3%)

Memory

-3.0MiB live, 466.5MiB allocated

Algorithm

3×	egg-herbie

Rules

13 909×	`lower-fma.f32`
13 909×	`lower-fma.f64`
3 171×	`lower-+.f32`
3 165×	`lower-+.f64`
3 005×	`unsub-neg`

Stop Event

6×	iter limit
4×	node limit
2×	saturated

Compiler

Compiled 244 to 143 computations (41.4% saved)

soundness912.0ms (8.6%)

Memory

5.1MiB live, 104.9MiB allocated

Rules

22 212×	`lower-fma.f32`
22 211×	`lower-fma.f64`
5 882×	`lower-*.f32`
5 878×	`lower-*.f64`
4 729×	`lower-/.f64`

Stop Event

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

Compiler

Compiled 101 to 53 computations (47.5% saved)

localize523.0ms (4.9%)

Memory

-70.9MiB live, 160.4MiB allocated

Samples

90.0ms	390×	2	valid
65.0ms	726×	1	valid
38.0ms	676×	0	valid

Compiler

Compiled 171 to 62 computations (63.7% saved)

Precisions

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

ival-add: 68.0ms (53% of total)

adjust: 32.0ms (24.9% of total)

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

ival-mult: 12.0ms (9.3% 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)

prune389.0ms (3.7%)

Memory: -5.2MiB live, 257.2MiB allocated
Counts: 1 653 → 19
Compiler: Compiled 219 to 113 computations (48.4% saved)

explain290.0ms (2.7%)

Memory

1.6MiB live, 291.4MiB allocated

Explanations

Click to see full explanations table

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

Confusion

	Predicted +	Predicted -
+	248	1
-	6	513

Precision

0.9763779527559056

Recall

0.9959839357429718

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	248	0	1
-	6	0	513

Precision?

0.9763779527559056

Recall?

0.9959839357429718

Freqs

test

number	freq
0	514
1	254

Total Confusion?

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

Precision?

1.0

Recall?

0.6666666666666666

Samples

56.0ms	650×	1	valid
56.0ms	346×	2	valid
25.0ms	540×	0	valid

Compiler

Compiled 164 to 63 computations (61.6% saved)

Precisions

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

adjust: 32.0ms (37% of total)

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

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

ival-mult: 11.0ms (12.7% of total)

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

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

exact: 1.0ms (1.2% of total)

eval193.0ms (1.8%)

Memory: -3.0MiB live, 243.6MiB allocated
Compiler: Compiled 32 468 to 3 063 computations (90.6% saved)

regimes47.0ms (0.4%)

Memory

-3.8MiB live, 54.6MiB allocated

Counts

23 → 7

Calls

8 calls:

18.0ms	x
8.0ms	(+.f64 x #s(literal 1 binary64))
7.0ms	(*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64)))
7.0ms	(-.f64 (*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64))
1.0ms	y

Compiler

Compiled 130 to 74 computations (43.1% saved)

series19.0ms (0.2%)

Memory

-13.7MiB live, 16.0MiB allocated

Counts

24 → 408

Calls

72 calls:

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

analyze1.0ms (0%)

Memory

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

simplify2.2s (20.6%)

rewrite1.5s (14%)

preprocess1.2s (11.3%)

soundness912.0ms (8.6%)

localize523.0ms (4.9%)

prune389.0ms (3.7%)

explain290.0ms (2.7%)

eval193.0ms (1.8%)

regimes47.0ms (0.4%)

series19.0ms (0.2%)

analyze1.0ms (0%)

bsearch0.0ms (0%)

start0.0ms (0%)

end0.0ms (0%)

Profiling