Metrics for Herbie run

Date:	Wednesday, September 11th, 2024
Commit:	b5881a3c on zane-concrete-values
Hostname:	nightly with Racket 8.11.1
Seed:	2024255
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 (34.4%)

Memory

94.2MiB live, 2 650.7MiB allocated

Samples

1.2s	5 542×	2	valid
903.0ms	10 455×	1	valid
299.0ms	8 771×	0	valid

Precisions

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

adjust: 688.0ms (41.2% of total)

ival-add: 602.0ms (36.1% of total)

ival-sub: 207.0ms (12.4% of total)

ival-mult: 135.0ms (8.1% 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

simplify2.0s (21.1%)

Memory

11.2MiB live, 779.7MiB 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.2s (12.5%)

Memory

12.4MiB live, 650.5MiB allocated

Rules

33 752×	`lower-fma.f32`
33 750×	`lower-fma.f64`
23 130×	`lower-*.f32`
23 122×	`lower-*.f64`
19 466×	`lower-/.f64`

Stop Event

10×	iter limit
6×	node limit
2×	saturated

Counts

22 → 1 632

preprocess1.1s (11.3%)

Memory

43.9MiB live, 506.0MiB 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 185 to 169 computations (8.6% saved)

soundness934.0ms (10%)

Memory

-37.3MiB live, 188.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 90 to 57 computations (36.7% saved)

explain301.0ms (3.2%)

Memory

6.0MiB live, 290.0MiB allocated

Explanations

Click to see full explanations table

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

Confusion

	Predicted +	Predicted -
+	244	1
-	7	516

Precision

0.9721115537848606

Recall

0.9959183673469387

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	244	1	0
-	7	0	516

Precision?

0.9722222222222222

Recall?

1.0

Freqs

test

number	freq
0	517
1	251

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

69.0ms	402×	2	valid
53.0ms	586×	1	valid
18.0ms	548×	0	valid

Compiler

Compiled 159 to 63 computations (60.4% saved)

Precisions

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

ival-add: 34.0ms (40.5% of total)

adjust: 29.0ms (34.5% of total)

ival-sub: 13.0ms (15.5% of total)

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

localize277.0ms (3%)

Memory

-20.8MiB live, 179.8MiB allocated

Samples

139.0ms	586×	1	valid
71.0ms	402×	2	valid
28.0ms	548×	0	valid

Compiler

Compiled 157 to 55 computations (65% saved)

Precisions

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

ival-add: 84.0ms (45.3% of total)

adjust: 76.0ms (41% of total)

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

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

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

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

exact: 1.0ms (0.5% of total)

eval260.0ms (2.8%)

Memory: 28.5MiB live, 243.2MiB allocated
Compiler: Compiled 38 646 to 3 947 computations (89.8% saved)

prune92.0ms (1%)

Memory: -18.1MiB live, 111.5MiB allocated
Counts: 2 088 → 14
Compiler: Compiled 154 to 121 computations (21.4% saved)

regimes46.0ms (0.5%)

Memory

4.5MiB live, 65.5MiB allocated

Counts

20 → 8

Calls

8 calls:

12.0ms	x
10.0ms	(-.f64 (*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64))
8.0ms	(+.f64 x #s(literal 1 binary64))
7.0ms	(*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64)))
2.0ms	(-.f64 (+.f64 (+.f64 x y) z) (+.f64 x (+.f64 y z)))

Compiler

Compiled 120 to 87 computations (27.5% saved)

series18.0ms (0.2%)

Memory

-15.5MiB live, 14.5MiB allocated

Counts

22 → 384

Calls

30 calls:

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

analyze1.0ms (0%)

Memory

0.8MiB live, 0.8MiB 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.6MiB live, 0.6MiB allocated

Algorithm

1×	left-value

Compiler

Compiled 12 to 10 computations (16.7% saved)

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

sample3.2s (34.4%)

simplify2.0s (21.1%)

rewrite1.2s (12.5%)

preprocess1.1s (11.3%)

soundness934.0ms (10%)

explain301.0ms (3.2%)

localize277.0ms (3%)

eval260.0ms (2.8%)

prune92.0ms (1%)

regimes46.0ms (0.5%)

series18.0ms (0.2%)

analyze1.0ms (0%)

bsearch0.0ms (0%)

start0.0ms (0%)

end0.0ms (0%)

Profiling