Metrics for Herbie run

Date:	Friday, May 23rd, 2025
Commit:	3315eb13 on cleandup
Seed:	2025143
Parameters:	256 points for 4 iterations
Flags:	`reduce:regimesreduce:binary-searchreduce:branch-expressionssetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:proofs` default
Memory:	876 678.5 MB

sample3.7min (33.5%)

Memory

4 774.2MiB live, 316 710.2MiB allocated; 1.3min collecting garbage

Samples

2.1min	18 663×	3	exit
47.7s	276 957×	0	valid
6.0s	28 824×	1	valid
1.2s	11 070×	0	invalid
874.0ms	2 607×	2	valid
159.0ms	67×	5	exit
152.0ms	1 588×	1	exit
142.0ms	699×	1	invalid
62.0ms	5×	4	exit

Precisions

Click to see histograms. Total time spent on operations: 2.7min

ival-mult!: 24.3s (14.9% of total)

adjust: 22.5s (13.8% of total)

ival-log: 20.0s (12.2% of total)

ival-exp: 19.8s (12.1% of total)

ival-pow2: 18.7s (11.4% of total)

ival-add!: 12.5s (7.6% of total)

ival-div!: 9.8s (6% of total)

ival-sub!: 8.9s (5.4% of total)

ival-sqrt: 6.6s (4% of total)

ival-neg: 6.0s (3.6% of total)

ival-fmax: 3.3s (2% of total)

ival-fmin: 2.6s (1.6% of total)

ival-sin: 1.5s (0.9% of total)

ival-fabs: 1.5s (0.9% of total)

ival-floor: 889.0ms (0.5% of total)

ival-cos: 848.0ms (0.5% of total)

ival-cosu: 772.0ms (0.5% of total)

ival-<=: 595.0ms (0.4% of total)

ival-sinu: 548.0ms (0.3% of total)

ival-expm1: 494.0ms (0.3% of total)

ival-and: 303.0ms (0.2% of total)

ival-tan: 300.0ms (0.2% of total)

ival-log2: 228.0ms (0.1% of total)

ival-if: 200.0ms (0.1% of total)

ival-log1p: 160.0ms (0.1% of total)

ival-atan: 130.0ms (0.1% of total)

ival-asin: 109.0ms (0.1% of total)

ival-sinh: 83.0ms (0.1% of total)

ival->: 57.0ms (0% of total)

ival->=: 45.0ms (0% of total)

ival-assert: 30.0ms (0% of total)

ival-<: 25.0ms (0% of total)

const: 2.0ms (0% of total)

ival-pi: 0.0ms (0% of total)

Bogosity

series3.1min (27.7%)

Memory

2 919.7MiB live, 244 274.2MiB allocated; 1.2min collecting garbage

Counts

10 142 → 34 711

Calls

132 calls:

Time	Variable	Point
2.9s	s	-inf
2.5s	x	inf
1.7s	s	inf
1.4s	x	-inf
1.3s	x	0

rewrite1.2min (10.8%)

Memory

1 120.9MiB live, 77 399.0MiB allocated; 35.3s collecting garbage

Stop Event

309×	iter-limit
144×	node-limit

Counts

44 853 → 84 813

eval52.9s (8%)

Memory: 938.9MiB live, 59 839.9MiB allocated; 27.6s collecting garbage
Compiler: Compiled 134 594 427 to 1 336 996 computations (99% saved)

prune37.1s (5.6%)

Memory: -414.2MiB live, 56 985.9MiB allocated; 10.0s collecting garbage
Counts: 109 194 → 4 210
Compiler: Compiled 1 100 521 to 309 953 computations (71.8% saved)

analyze31.4s (4.7%)

Memory

543.0MiB live, 41 913.2MiB allocated; 10.8s collecting garbage

Algorithm

38×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	23.1%	76.9%	0%	0%	0%	0
22.7%	5.3%	17.8%	76.9%	0%	0%	0%	1
23.4%	5.4%	17.7%	76.9%	0%	0%	0%	2
23.5%	5.4%	17.7%	76.9%	0%	0%	0%	3
25.3%	5.9%	17.3%	76.9%	0%	0%	0%	4
36.2%	8.4%	14.7%	76.9%	0%	0%	0%	5
40.9%	9.4%	13.6%	76.9%	0%	0%	0%	6
47%	10.7%	12%	76.9%	0%	0.4%	0%	7
49.6%	11.3%	11.5%	76.9%	0%	0.4%	0%	8
54%	12.3%	10.4%	76.9%	0%	0.4%	0%	9
57.2%	13%	9.7%	76.9%	0%	0.4%	0%	10
59.6%	13.5%	9.1%	76.9%	0%	0.5%	0%	11
61%	13.8%	8.8%	76.9%	0%	0.5%	0%	12

Compiler

Compiled 23 139 to 2 670 computations (88.5% saved)

regimes29.1s (4.4%)

Memory

1 059.4MiB live, 40 912.5MiB allocated; 9.2s collecting garbage

Counts

11 856 → 541

Calls

159 calls:

811.0ms	cosTheta_i
759.0ms	(*.f32 uy #s(literal 2 binary32))
723.0ms	x
723.0ms	(.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))
705.0ms	uy

Compiler

Compiled 54 613 to 26 630 computations (51.2% saved)

derivations18.8s (2.8%)

Memory

-149.2MiB live, 16 312.7MiB allocated; 4.4s collecting garbage

Stop Event

34×	fuel
2×	done

Compiler

Compiled 136 126 to 5 370 computations (96.1% saved)

bsearch8.5s (1.3%)

Memory

157.1MiB live, 11 220.7MiB allocated; 1.2s collecting garbage

Algorithm

120×	binary-search
46×	left-value

Stop Event

115×	narrow-enough
5×	predicate-same

Samples

5.0s	4 413×	0	valid
344.0ms	1 033×	1	valid
183.0ms	234×	2	valid
9.0ms	64×	1	invalid
9.0ms	166×	0	invalid

Compiler

Compiled 802 985 to 236 013 computations (70.6% saved)

Precisions

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

ival-fmax: 2.2s (43.1% of total)

ival-fmin: 664.0ms (12.9% of total)

ival-sub!: 523.0ms (10.1% of total)

ival-add!: 381.0ms (7.4% of total)

ival-pow2: 374.0ms (7.2% of total)

ival-neg: 348.0ms (6.7% of total)

ival-sqrt: 220.0ms (4.3% of total)

ival-mult!: 115.0ms (2.2% of total)

ival-exp: 89.0ms (1.7% of total)

ival-cos: 71.0ms (1.4% of total)

ival-sin: 69.0ms (1.3% of total)

adjust: 51.0ms (1% of total)

ival-log1p: 20.0ms (0.4% of total)

ival-fabs: 15.0ms (0.3% of total)

const: 1.0ms (0% of total)

preprocess8.1s (1.2%)

Memory

-395.0MiB live, 11 038.8MiB allocated; 1.8s collecting garbage

Stop Event

37×	node-limit

Compiler

Compiled 212 326 to 42 055 computations (80.2% saved)

start70.0ms (0%)

Memory: -65.4MiB live, 70.6MiB allocated; 66ms collecting garbage

end0.0ms (0%)

Memory

0.7MiB live, 0.7MiB allocated; 0ms collecting garbage

Calls

1 calls:

Time	Variable	Point
2.4min	u1	0

sample3.7min (33.5%)

series3.1min (27.7%)

rewrite1.2min (10.8%)

eval52.9s (8%)

prune37.1s (5.6%)

analyze31.4s (4.7%)

regimes29.1s (4.4%)

derivations18.8s (2.8%)

bsearch8.5s (1.3%)

preprocess8.1s (1.2%)

start70.0ms (0%)

end0.0ms (0%)

Profiling