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

simplify3.5s (29.4%)

Memory

105.6MiB live, 2 656.3MiB allocated

Algorithm

17×	egg-herbie

Rules

132 884×	`lower-fma.f32`
132 882×	`lower-fma.f64`
29 242×	`lower-*.f32`
29 234×	`lower-*.f64`
24 044×	`lower-+.f32`

Stop Event

17×	iter limit
12×	saturated
9×	node limit

Counts

408 → 378

sample3.1s (26.5%)

Memory

128.0MiB live, 2 793.0MiB allocated

Samples

932.0ms	5 605×	2	valid
922.0ms	10 401×	1	valid
246.0ms	8 762×	0	valid

Precisions

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

adjust: 552.0ms (39.3% of total)

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

ival-sub: 196.0ms (14% of total)

ival-mult: 91.0ms (6.5% of total)

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

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

exact: 9.0ms (0.6% of total)

Bogosity

rewrite1.9s (16.4%)

Memory

-9.3MiB live, 1 269.4MiB allocated

Algorithm

7×	batch-egg-rewrite

Rules

28 076×	`lower-fma.f32`
28 074×	`lower-fma.f64`
19 942×	`lower-*.f32`
19 934×	`lower-*.f64`
16 044×	`lower-/.f64`

Stop Event

14×	iter limit
7×	node limit
2×	saturated

Counts

24 → 1 166

preprocess1.3s (11.2%)

Memory

-20.9MiB live, 808.2MiB 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 214 to 126 computations (41.1% saved)

soundness907.0ms (7.7%)

Memory

4.4MiB live, 167.4MiB allocated

Rules

44 494×	`lower-fma.f32`
44 492×	`lower-fma.f64`
11 766×	`lower-*.f32`
11 758×	`lower-*.f64`
9 462×	`lower-/.f64`

Stop Event

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

Compiler

Compiled 101 to 53 computations (47.5% saved)

explain356.0ms (3%)

Memory

-1.7MiB live, 329.9MiB 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

73.0ms	544×	0	valid
64.0ms	400×	2	valid
54.0ms	592×	1	valid

Compiler

Compiled 194 to 80 computations (58.8% saved)

Precisions

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

ival-add: 85.0ms (61.3% of total)

adjust: 31.0ms (22.4% of total)

ival-sub: 15.0ms (10.8% of total)

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

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

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

exact: 1.0ms (0.7% of total)

localize227.0ms (1.9%)

Memory

-56.7MiB live, 190.6MiB allocated

Samples

74.0ms	457×	2	valid
65.0ms	662×	1	valid
29.0ms	673×	0	valid

Compiler

Compiled 171 to 62 computations (63.7% saved)

Precisions

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

ival-add: 38.0ms (37.6% of total)

adjust: 34.0ms (33.7% of total)

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

ival-mult: 12.0ms (11.9% of total)

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

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

exact: 1.0ms (1% of total)

eval198.0ms (1.7%)

Memory: -7.3MiB live, 213.0MiB allocated
Compiler: Compiled 32 477 to 3 061 computations (90.6% saved)

prune165.0ms (1.4%)

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

regimes83.0ms (0.7%)

Memory

3.6MiB live, 35.1MiB allocated

Counts

23 → 7

Calls

8 calls:

50.0ms	(+.f64 x #s(literal 1 binary64))
11.0ms	x
7.0ms	(-.f64 (*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64))
7.0ms	(*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64)))
1.0ms	z

Compiler

Compiled 130 to 74 computations (43.1% saved)

series10.0ms (0.1%)

Memory

12.2MiB live, 12.2MiB allocated

Counts

24 → 408

Calls

72 calls:

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

analyze1.0ms (0%)

Memory

0.7MiB live, 0.7MiB 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.1MiB live, 0.1MiB allocated

Algorithm

1×	left-value

Compiler

Compiled 13 to 10 computations (23.1% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

simplify3.5s (29.4%)

sample3.1s (26.5%)

rewrite1.9s (16.4%)

preprocess1.3s (11.2%)

soundness907.0ms (7.7%)

explain356.0ms (3%)

localize227.0ms (1.9%)

eval198.0ms (1.7%)

prune165.0ms (1.4%)

regimes83.0ms (0.7%)

series10.0ms (0.1%)

analyze1.0ms (0%)

bsearch0.0ms (0%)

end0.0ms (0%)

Profiling