Metrics for Herbie run

Date:	Thursday, June 5th, 2025
Commit:	bc377350 on refactor-egg-roots
Seed:	2025156
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:	829 891.4 MB

sample3.7min (33%)

Memory

4 680.9MiB live, 270 396.5MiB allocated; 1.8min collecting garbage

Samples

2.1min	15 302×	3	exit
48.2s	276 589×	0	valid
6.0s	28 655×	1	valid
1.1s	11 136×	0	invalid
787.0ms	2 595×	2	valid
193.0ms	1 606×	1	exit
181.0ms	735×	1	invalid
178.0ms	67×	5	exit
30.0ms	2×	4	exit
1.0ms	3×	3	valid

Precisions

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

ival-mult!: 23.9s (14.7% of total)

ival-exp: 22.0s (13.5% of total)

adjust: 21.8s (13.4% of total)

ival-pow2: 18.5s (11.3% of total)

ival-log: 18.4s (11.3% of total)

ival-sub!: 9.5s (5.8% of total)

ival-add!: 9.3s (5.7% of total)

ival-div!: 9.2s (5.6% of total)

ival-sqrt: 7.6s (4.7% of total)

ival-neg: 6.1s (3.8% of total)

ival-fmax: 3.4s (2.1% of total)

ival-fabs: 2.8s (1.7% of total)

ival-sin: 2.7s (1.7% of total)

ival-fmin: 2.1s (1.3% of total)

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

ival-floor: 681.0ms (0.4% of total)

ival-sinu: 601.0ms (0.4% of total)

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

ival-<=: 487.0ms (0.3% of total)

ival-cosu: 387.0ms (0.2% of total)

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

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

ival-if: 262.0ms (0.2% of total)

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

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

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

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

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

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

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

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

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

const: 4.0ms (0% of total)

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

Bogosity

series3.2min (29.1%)

Memory

4 872.9MiB live, 227 837.1MiB allocated; 1.4min collecting garbage

Stop Event

144×	iter-limit

Counts

10 482 → 35 877

Calls

132 calls:

Time	Variable	Point
2.1min	u1	0
3.6s	s	0
2.0s	x	0
1.3s	x	-inf
1.3s	x	inf

eval1.3min (11.7%)

Memory: 2 514.3MiB live, 92 108.7MiB allocated; 38.1s collecting garbage
Compiler: Compiled 198 196 251 to 2 339 836 computations (98.8% saved)

regimes55.2s (8.2%)

Memory

1 819.5MiB live, 88 087.2MiB allocated; 29.4s collecting garbage

Counts

12 801 → 495

Calls

159 calls:

1.9s	dX.u
805.0ms	(log.f32 (-.f32 #s(literal 1 binary32) u1))
791.0ms	(.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))
785.0ms	(sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (+.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos)))))
766.0ms	maxCos

Compiler

Compiled 363 246 to 43 700 computations (88% saved)

rewrite47.4s (7.1%)

Memory

-1 063.8MiB live, 57 038.4MiB allocated; 20.2s collecting garbage

Stop Event

410×	iter-limit
124×	node-limit
20×	unsound

Counts

10 482 → 146 984

analyze31.8s (4.8%)

Memory

231.9MiB live, 39 208.9MiB allocated; 11.9s 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)

prune21.1s (3.2%)

Memory: -378.0MiB live, 30 520.3MiB allocated; 9.8s collecting garbage
Counts: 202 784 → 4 484
Compiler: Compiled 684 152 to 279 488 computations (59.1% saved)

preprocess7.3s (1.1%)

Memory

-398.1MiB live, 10 607.1MiB allocated; 3.0s collecting garbage

Stop Event

37×	node-limit

Compiler

Compiled 102 117 to 40 563 computations (60.3% saved)

derivations6.8s (1%)

Memory

-118.4MiB live, 6 664.0MiB allocated; 909ms collecting garbage

Stop Event

34×	fuel
1×	done

Compiler

Compiled 22 645 to 3 585 computations (84.2% saved)

bsearch5.6s (0.8%)

Memory

-1 868.7MiB live, 7 371.8MiB allocated; 3.8s collecting garbage

Algorithm

92×	binary-search
46×	left-value

Stop Event

90×	narrow-enough
2×	predicate-same

Samples

2.1s	2 509×	0	valid
257.0ms	1 101×	1	valid
159.0ms	300×	2	valid
14.0ms	195×	0	invalid
8.0ms	49×	1	invalid
0.0ms	1×	3	valid

Compiler

Compiled 382 972 to 129 921 computations (66.1% saved)

Precisions

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

ival-fmax: 810.0ms (36.2% of total)

ival-fmin: 278.0ms (12.4% of total)

ival-sub!: 241.0ms (10.8% of total)

ival-pow2: 194.0ms (8.7% of total)

ival-add!: 187.0ms (8.3% of total)

ival-sqrt: 125.0ms (5.6% of total)

ival-neg: 111.0ms (5% of total)

ival-mult!: 102.0ms (4.6% of total)

ival-exp: 82.0ms (3.7% of total)

adjust: 58.0ms (2.6% of total)

ival-log1p: 19.0ms (0.8% of total)

ival-fabs: 16.0ms (0.7% of total)

ival-sin: 9.0ms (0.4% of total)

ival-cos: 8.0ms (0.4% of total)

const: 0.0ms (0% of total)

start26.0ms (0%)

Memory: 2.7MiB live, 50.7MiB allocated; 7ms collecting garbage

end0.0ms (0%)

Memory

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

Calls

1 calls:

Time	Variable	Point
17.3s	alphax	0

sample3.7min (33%)

series3.2min (29.1%)

eval1.3min (11.7%)

regimes55.2s (8.2%)

rewrite47.4s (7.1%)

analyze31.8s (4.8%)

prune21.1s (3.2%)

preprocess7.3s (1.1%)

derivations6.8s (1%)

bsearch5.6s (0.8%)

start26.0ms (0%)

end0.0ms (0%)

Profiling