Metrics for Herbie run

Date:	Sunday, August 25th, 2024
Commit:	a6ae8219 on bhargav-log-space
Hostname:	nightly with Racket 8.11.1
Seed:	2024238
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 (27.2%)

Memory

100.1MiB live, 2 854.3MiB allocated

Samples

1.1s	10 508×	1	valid
975.0ms	5 501×	2	valid
264.0ms	8 759×	0	valid

Precisions

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

adjust: 763.0ms (46.1% of total)

ival-add: 536.0ms (32.4% of total)

ival-sub: 237.0ms (14.3% of total)

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

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

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

exact: 9.0ms (0.5% of total)

Bogosity

simplify3.1s (26.2%)

Memory

35.3MiB live, 2 252.1MiB allocated

Algorithm

15×	egg-herbie

Rules

114 770×	`lower-fma.f32`
114 770×	`lower-fma.f64`
22 896×	`lower-*.f32`
22 888×	`lower-*.f64`
19 974×	`lower-+.f32`

Stop Event

14×	iter limit
12×	saturated
7×	node limit

Counts

360 → 330

rewrite2.0s (17.3%)

Memory

31.3MiB live, 1 561.9MiB allocated

Rules

34 426×	`lower-fma.f32`
34 426×	`lower-fma.f64`
24 282×	`lower-*.f32`
24 274×	`lower-*.f64`
19 992×	`lower-/.f64`

Stop Event

10×	iter limit
6×	node limit
2×	saturated

Counts

20 → 1 586

preprocess1.3s (11.4%)

Memory

-77.1MiB live, 836.3MiB 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 145 computations (39.6% saved)

soundness941.0ms (8%)

Memory

-13.7MiB live, 112.5MiB 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 44 computations (42.9% saved)

eval423.0ms (3.6%)

Memory: -4.8MiB live, 252.1MiB allocated
Compiler: Compiled 46 989 to 4 129 computations (91.2% saved)

explain265.0ms (2.3%)

Memory

10.6MiB live, 316.6MiB allocated

Explanations

Click to see full explanations table

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

Confusion

	Predicted +	Predicted -
+	248	0
-	196	324

Precision

0.5585585585585585

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	248	0	0
-	196	0	324

Precision?

0.5585585585585585

Recall?

1.0

Freqs

test

number	freq
0	324
1	444

Total Confusion?

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

Precision?

0.6666666666666666

Recall?

1.0

Samples

56.0ms	350×	2	valid
54.0ms	638×	1	valid
19.0ms	548×	0	valid

Compiler

Compiled 230 to 94 computations (59.1% saved)

Precisions

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

ival-add: 30.0ms (38.2% of total)

adjust: 28.0ms (35.7% of total)

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

ival-mult: 6.0ms (7.6% 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)

prune230.0ms (2%)

Memory: -40.2MiB live, 286.2MiB allocated
Counts: 2 019 → 12
Compiler: Compiled 139 to 77 computations (44.6% saved)

localize194.0ms (1.6%)

Memory

-24.1MiB live, 220.1MiB allocated

Samples

63.0ms	638×	1	valid
62.0ms	350×	2	valid
22.0ms	548×	0	valid

Compiler

Compiled 145 to 52 computations (64.1% saved)

Precisions

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

ival-add: 35.0ms (37.9% of total)

adjust: 33.0ms (35.7% of total)

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

ival-mult: 9.0ms (9.7% of total)

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

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

exact: 1.0ms (1.1% of total)

regimes36.0ms (0.3%)

Memory

20.6MiB live, 51.6MiB allocated

Counts

15 → 7

Calls

8 calls:

11.0ms	x
6.0ms	(+.f64 x #s(literal 1 binary64))
6.0ms	(*.f64 (+.f64 x #s(literal 1 binary64)) (+.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))
1.0ms	z

Compiler

Compiled 130 to 74 computations (43.1% saved)

series9.0ms (0.1%)

Memory

12.5MiB live, 12.5MiB allocated

Counts

20 → 360

Calls

66 calls:

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

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.3MiB live, 0.3MiB allocated

Algorithm

1×	left-value

Compiler

Compiled 13 to 10 computations (23.1% saved)

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

sample3.2s (27.2%)

simplify3.1s (26.2%)

rewrite2.0s (17.3%)

preprocess1.3s (11.4%)

soundness941.0ms (8%)

eval423.0ms (3.6%)

explain265.0ms (2.3%)

prune230.0ms (2%)

localize194.0ms (1.6%)

regimes36.0ms (0.3%)

series9.0ms (0.1%)

analyze1.0ms (0%)

bsearch0.0ms (0%)

start0.0ms (0%)

end0.0ms (0%)

Profiling