Metrics for Herbie run

Date:	Thursday, July 25th, 2024
Commit:	2a1d9f8a on ir-cleanup
Hostname:	nightly with Racket 8.11.1
Seed:	2024207
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.1s (31.3%)

Memory

119.7MiB live, 2 751.4MiB allocated

Samples

1.1s	5 592×	2	valid
909.0ms	10 425×	1	valid
293.0ms	8 727×	0	valid
3.0ms	24×	3	valid

Precisions

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

ival-add: 691.0ms (45.7% of total)

adjust: 473.0ms (31.3% of total)

ival-sub: 213.0ms (14.1% of total)

ival-mult: 95.0ms (6.3% of total)

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

exact: 14.0ms (0.9% of total)

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

Bogosity

simplify2.1s (21.8%)

Memory

96.7MiB live, 1 488.4MiB 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.4s (14%)

Memory

-10.4MiB live, 833.5MiB 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%)

Memory

-13.6MiB live, 680.6MiB 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

soundness891.0ms (9.1%)

Memory

-19.8MiB live, 304.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)

explain347.0ms (3.5%)

Memory

-43.5MiB live, 316.7MiB allocated

Explanations

Click to see full explanations table

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

Confusion

	Predicted +	Predicted -
+	251	1
-	4	512

Precision

0.984313725490196

Recall

0.996031746031746

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	251	1	0
-	4	0	512

Precision?

0.984375

Recall?

1.0

Freqs

test

number	freq
0	513
1	255

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

115.0ms	366×	2	valid
67.0ms	630×	1	valid
18.0ms	540×	0	valid

Compiler

Compiled 194 to 80 computations (58.8% saved)

Precisions

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

ival-add: 46.0ms (50.4% of total)

adjust: 25.0ms (27.4% of total)

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

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

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

exact: 1.0ms (1.1% of total)

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

prune263.0ms (2.7%)

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

localize213.0ms (2.2%)

Memory

-59.7MiB live, 146.8MiB allocated

Samples

40.0ms	1 294×	0	valid
27.0ms	183×	2	valid
25.0ms	315×	1	valid

Compiler

Compiled 116 to 50 computations (56.9% saved)

Precisions

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

ival-add: 19.0ms (39.8% of total)

adjust: 12.0ms (25.1% of total)

ival-sub: 7.0ms (14.7% of total)

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

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

exact: 1.0ms (2.1% of total)

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

eval163.0ms (1.7%)

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

regimes56.0ms (0.6%)

Memory

-35.1MiB live, 61.4MiB allocated

Counts

28 → 8

Calls

8 calls:

19.0ms	x
10.0ms	(*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64)))
9.0ms	(+.f64 x #s(literal 1 binary64))
9.0ms	(-.f64 (*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64))
1.0ms	z

Compiler

Compiled 154 to 87 computations (43.5% saved)

series9.0ms (0.1%)

Memory

8.2MiB live, 8.2MiB 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 x)
0.0ms	x	@	0	(- (* (+ x 1) (+ x 1)) 1)
0.0ms	x	@	-inf	(* (+ x 2) x)

analyze1.0ms (0%)

Memory

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

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

sample3.1s (31.3%)

simplify2.1s (21.8%)

preprocess1.4s (14%)

rewrite1.3s (13%)

soundness891.0ms (9.1%)

explain347.0ms (3.5%)

prune263.0ms (2.7%)

localize213.0ms (2.2%)

eval163.0ms (1.7%)

regimes56.0ms (0.6%)

series9.0ms (0.1%)

analyze1.0ms (0%)

bsearch0.0ms (0%)

end0.0ms (0%)

Profiling