Metrics for Herbie run

Date:	Sunday, June 8th, 2025
Commit:	0a03e455 on main
Seed:	2025159
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:	1 126 585.6 MB

sample3.8min (33%)

Memory

3 775.4MiB live, 384 275.8MiB allocated; 1.9min collecting garbage

Samples

2.1min	15 585×	3	exit
47.4s	276 523×	0	valid
8.3s	28 722×	1	valid
1.6s	11 224×	0	invalid
962.0ms	2 504×	2	valid
158.0ms	78×	5	exit
156.0ms	1 632×	1	exit
133.0ms	681×	1	invalid
12.0ms	1×	4	exit
0.0ms	1×	3	valid

Precisions

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

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

ival-exp: 21.7s (13.1% of total)

adjust: 20.3s (12.3% of total)

ival-pow2: 19.3s (11.7% of total)

ival-log: 19.3s (11.6% of total)

ival-sqrt: 11.4s (6.9% of total)

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

ival-neg: 8.9s (5.3% of total)

ival-add!: 8.3s (5% of total)

ival-sub!: 6.6s (4% of total)

ival-fmax: 3.1s (1.9% of total)

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

ival-expm1: 1.7s (1% of total)

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

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

ival-floor: 921.0ms (0.6% of total)

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

ival-cosu: 604.0ms (0.4% of total)

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

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

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

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

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

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

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

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

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

ival-atan: 80.0ms (0% of total)

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

ival->: 58.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

3 848.6MiB live, 253 326.3MiB allocated; 1.4min collecting garbage

Stop Event

145×	iter-limit

Counts

10 095 → 35 538

Calls

132 calls:

Time	Variable	Point
1.5min	u1	0
13.9s	alphay	inf
2.7s	alphax	0
2.6s	z	inf
1.8s	s	0

eval1.8min (15.6%)

Memory: 3 787.9MiB live, 222 841.2MiB allocated; 1.1min collecting garbage
Compiler: Compiled 171 356 675 to 2 103 393 computations (98.8% saved)

rewrite46.6s (6.8%)

Memory

1 420.3MiB live, 74 838.1MiB allocated; 16.0s collecting garbage

Stop Event

290×	iter-limit
145×	node-limit

Counts

10 095 → 188 805

prune37.3s (5.5%)

Memory: -91.8MiB live, 68 127.5MiB allocated; 14.7s collecting garbage
Counts: 225 791 → 4 496
Compiler: Compiled 602 624 to 250 314 computations (58.5% saved)

analyze31.2s (4.6%)

Memory

-1 728.7MiB live, 41 992.7MiB allocated; 12.5s 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)

regimes30.1s (4.4%)

Memory

994.3MiB live, 61 928.9MiB allocated; 8.4s collecting garbage

Counts

12 578 → 419

Calls

158 calls:

1.0s	ux
929.0ms	cosTheta_i
877.0ms	(.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))
798.0ms	uy
771.0ms	s

Compiler

Compiled 161 720 to 33 020 computations (79.6% saved)

preprocess7.9s (1.2%)

Memory

-597.9MiB live, 11 277.5MiB allocated; 6.2s collecting garbage

Stop Event

37×	node-limit

Compiler

Compiled 76 027 to 30 955 computations (59.3% saved)

derivations7.6s (1.1%)

Memory

-471.9MiB live, 6 592.5MiB allocated; 4.1s collecting garbage

Stop Event

34×	fuel
1×	done

Compiler

Compiled 20 567 to 3 359 computations (83.7% saved)

bsearch861.0ms (0.1%)

Memory

34.6MiB live, 1 339.1MiB allocated; 341ms collecting garbage

Algorithm

57×	binary-search
28×	left-value

Stop Event

55×	narrow-enough
2×	predicate-same

Samples

293.0ms	1 891×	0	valid
179.0ms	814×	1	valid
93.0ms	191×	2	valid
12.0ms	44×	1	invalid
4.0ms	74×	0	invalid

Compiler

Compiled 25 331 to 16 525 computations (34.8% saved)

Precisions

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

ival-sqrt: 134.0ms (27.8% of total)

ival-exp: 92.0ms (19.1% of total)

ival-pow2: 57.0ms (11.8% of total)

adjust: 34.0ms (7% of total)

ival-sub!: 34.0ms (7% of total)

ival-mult!: 34.0ms (7% of total)

ival-fmax: 32.0ms (6.6% of total)

ival-fabs: 21.0ms (4.4% of total)

ival-add!: 15.0ms (3.1% of total)

ival-log1p: 13.0ms (2.7% of total)

ival-fmin: 12.0ms (2.5% of total)

ival-neg: 4.0ms (0.8% of total)

start37.0ms (0%)

Memory: -98.8MiB live, 45.1MiB allocated; 11ms collecting garbage

end0.0ms (0%)

Memory

1.0MiB live, 0.9MiB allocated; 0ms collecting garbage

Calls

1 calls:

Time	Variable	Point
31.8s	u1	0

sample3.8min (33%)

series3.1min (27.7%)

eval1.8min (15.6%)

rewrite46.6s (6.8%)

prune37.3s (5.5%)

analyze31.2s (4.6%)

regimes30.1s (4.4%)

preprocess7.9s (1.2%)

derivations7.6s (1.1%)

bsearch861.0ms (0.1%)

start37.0ms (0%)

end0.0ms (0%)

Profiling