Metrics for Herbie run

Date:	Tuesday, August 20th, 2024
Commit:	fce740b4 on ffi-types
Hostname:	nightly with Racket 8.11.1
Seed:	2024233
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.9%)

Memory

122.3MiB live, 2 783.6MiB allocated

Samples

1.0s	5 485×	2	valid
971.0ms	10 497×	1	valid
260.0ms	8 786×	0	valid

Precisions

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

adjust: 650.0ms (41.7% of total)

ival-add: 555.0ms (35.6% of total)

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

ival-mult: 118.0ms (7.6% 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.4s (20.9%)

Memory

-17.8MiB live, 1 421.1MiB allocated

Algorithm

15×	egg-herbie

Rules

117 186×	`lower-fma.f32`
117 184×	`lower-fma.f64`
23 320×	`lower-*.f32`
23 312×	`lower-*.f64`
19 954×	`lower-+.f32`

Stop Event

14×	iter limit
12×	saturated
7×	node limit

Counts

384 → 352

rewrite1.9s (16.7%)

Memory

65.4MiB live, 1 267.1MiB allocated

Rules

38 574×	`lower-fma.f32`
38 572×	`lower-fma.f64`
23 528×	`lower-*.f32`
23 520×	`lower-*.f64`
19 220×	`lower-/.f64`

Stop Event

10×	iter limit
6×	node limit
2×	saturated

Counts

22 → 2 380

preprocess1.1s (9.7%)

Memory

8.8MiB live, 656.8MiB 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 252 to 147 computations (41.7% saved)

soundness947.0ms (8.4%)

Memory

7.2MiB live, 126.7MiB 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 99 to 51 computations (48.5% saved)

eval896.0ms (7.9%)

Memory: -60.9MiB live, 347.8MiB allocated
Compiler: Compiled 70 322 to 4 592 computations (93.5% saved)

prune346.0ms (3.1%)

Memory: -20.1MiB live, 434.2MiB allocated
Counts: 2 836 → 14
Compiler: Compiled 187 to 102 computations (45.5% saved)

explain291.0ms (2.6%)

Memory

-32.4MiB live, 267.0MiB allocated

Explanations

Click to see full explanations table

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

Confusion

	Predicted +	Predicted -
+	248	0
-	7	513

Precision

0.9725490196078431

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	248	0	0
-	7	0	513

Precision?

0.9725490196078431

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

78.0ms	660×	1	valid
54.0ms	334×	2	valid
18.0ms	542×	0	valid

Compiler

Compiled 164 to 63 computations (61.6% saved)

Precisions

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

ival-add: 39.0ms (43.7% of total)

adjust: 31.0ms (34.7% of total)

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

ival-mult: 5.0ms (5.6% 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)

localize257.0ms (2.3%)

Memory

19.9MiB live, 209.2MiB allocated

Samples

120.0ms	334×	2	valid
65.0ms	660×	1	valid
23.0ms	542×	0	valid

Compiler

Compiled 157 to 54 computations (65.6% saved)

Precisions

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

adjust: 35.0ms (37.8% of total)

ival-add: 32.0ms (34.6% of total)

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

ival-sub: 12.0ms (13% 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)

regimes44.0ms (0.4%)

Memory

0.7MiB live, 62.3MiB allocated

Counts

20 → 8

Calls

8 calls:

12.0ms	x
8.0ms	(*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64)))
8.0ms	(+.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 154 to 87 computations (43.5% saved)

series18.0ms (0.2%)

Memory

-15.7MiB live, 20.0MiB allocated

Counts

22 → 384

Calls

69 calls:

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

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.3MiB live, 0.3MiB 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.2s (27.9%)

simplify2.4s (20.9%)

rewrite1.9s (16.7%)

preprocess1.1s (9.7%)

soundness947.0ms (8.4%)

eval896.0ms (7.9%)

prune346.0ms (3.1%)

explain291.0ms (2.6%)

localize257.0ms (2.3%)

regimes44.0ms (0.4%)

series18.0ms (0.2%)

analyze1.0ms (0%)

bsearch0.0ms (0%)

start0.0ms (0%)

end0.0ms (0%)

Profiling