Metrics for Herbie run

Date:	Thursday, July 25th, 2024
Commit:	3139208f on main
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.8%)

Memory

113.8MiB live, 2 765.6MiB allocated

Samples

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

Precisions

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

ival-add: 550.0ms (36.6% of total)

adjust: 419.0ms (27.9% of total)

ival-sub: 412.0ms (27.4% of total)

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

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

exact: 14.0ms (0.9% of total)

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

Bogosity

simplify2.2s (22.8%)

Memory

12.8MiB live, 1 457.3MiB 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.3s (13%)

Memory

6.7MiB live, 796.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 192 to 128 computations (33.3% saved)

rewrite1.2s (12.1%)

Memory

44.6MiB live, 771.4MiB 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

soundness884.0ms (9.2%)

Memory

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

localize348.0ms (3.6%)

Memory

-27.9MiB live, 127.2MiB allocated

Samples

39.0ms	1 294×	0	valid
28.0ms	183×	2	valid
26.0ms	315×	1	valid

Compiler

Compiled 115 to 50 computations (56.5% saved)

Precisions

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

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

adjust: 13.0ms (26.8% of total)

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

ival-mult: 7.0ms (14.4% 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)

explain287.0ms (3%)

Memory

22.8MiB live, 317.0MiB 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

64.0ms	630×	1	valid
58.0ms	366×	2	valid
21.0ms	540×	0	valid

Compiler

Compiled 194 to 80 computations (58.8% saved)

Precisions

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

ival-add: 31.0ms (41% of total)

adjust: 25.0ms (33.1% of total)

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

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

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

exact: 1.0ms (1.3% of total)

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

eval211.0ms (2.2%)

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

prune149.0ms (1.5%)

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

regimes63.0ms (0.7%)

Memory

11.0MiB live, 42.7MiB allocated

Counts

28 → 8

Calls

8 calls:

25.0ms	x
10.0ms	(+.f64 x #s(literal 1 binary64))
9.0ms	(*.f64 (+.f64 x #s(literal 1 binary64)) (+.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

7.2MiB live, 7.2MiB allocated

Counts

18 → 300

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	(* (+ x 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.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

sample3.1s (31.8%)

simplify2.2s (22.8%)

preprocess1.3s (13%)

rewrite1.2s (12.1%)

soundness884.0ms (9.2%)

localize348.0ms (3.6%)

explain287.0ms (3%)

eval211.0ms (2.2%)

prune149.0ms (1.5%)

regimes63.0ms (0.7%)

series9.0ms (0.1%)

analyze1.0ms (0%)

bsearch0.0ms (0%)

end0.0ms (0%)

Profiling