Metrics for Herbie run

Date:	Wednesday, July 2nd, 2025
Commit:	39713cb6 on main
Seed:	2025183
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:proofsgenerate:evaluate` default
Memory:	1 066 528.2 MB

sample3.7min (32.6%)

Memory

4 545.0MiB live, 357 476.2MiB allocated; 1.7min collecting garbage

Samples

2.1min	15 702×	3	exit
45.8s	276 602×	0	valid
5.8s	28 871×	1	valid
1.7s	11 119×	0	invalid
820.0ms	2 568×	2	valid
186.0ms	1 603×	1	exit
172.0ms	74×	5	exit
157.0ms	685×	1	invalid
15.0ms	1×	4	exit
0.0ms	1×	4	valid

Compiler

Compiled 1 665 to 1 474 computations (11.5% saved)

Precisions

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

ival-mult!: 26.5s (16.2% of total)

ival-exp: 20.9s (12.8% of total)

adjust: 19.7s (12.1% of total)

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

ival-log: 17.3s (10.6% of total)

ival-sub!: 9.8s (6.0% of total)

ival-neg: 9.5s (5.8% of total)

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

ival-add!: 7.7s (4.7% of total)

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

ival-fmax: 2.9s (1.8% of total)

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

ival-log2: 2.0s (1.3% of total)

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

ival-fabs: 1.4s (0.8% of total)

ival-sinu: 1.1s (0.7% of total)

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

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

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

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

ival-cosu: 446.0ms (0.3% of total)

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

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

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

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

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

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

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

ival->: 50.0ms (0.0% of total)

ival->=: 42.0ms (0.0% of total)

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

ival-<: 27.0ms (0.0% of total)

const: 3.0ms (0.0% of total)

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

Bogosity

series3.3min (29.3%)

Memory

3 783.1MiB live, 329 219.4MiB allocated; 1.2min collecting garbage

Stop Event

145×	iter-limit

Counts

10 424 → 40 071

Calls

132 calls:

Time	Variable	Point
1.3min	u1	0
6.4s	alphay	inf
5.8s	alphax	0
2.1s	z	0
1.5s	x	0

eval1.3min (12.0%)

Memory: 1 884.6MiB live, 126 828.7MiB allocated; 38.0s collecting garbage
Compiler: Compiled 207 810 219 to 2 402 244 computations (98.8% saved)

rewrite1.0min (9.0%)

Memory

-156.7MiB live, 91 309.0MiB allocated; 31.4s collecting garbage

Stop Event

290×	iter-limit
145×	node-limit

Counts

10 424 → 187 830

regimes40.8s (6.0%)

Memory

356.4MiB live, 63 894.6MiB allocated; 8.8s collecting garbage

Counts

13 397 → 500

Calls

159 calls:

1.2s	x
929.0ms	uy
827.0ms	(.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))
793.0ms	maxCos
787.0ms	cosTheta_i

Compiler

Compiled 332 365 to 42 308 computations (87.3% saved)

analyze30.4s (4.5%)

Memory

-19.6MiB live, 40 453.6MiB allocated; 10.7s collecting garbage

Algorithm

38×

Search

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

Compiler

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

derivations19.6s (2.9%)

Memory

131.4MiB live, 7 158.8MiB allocated; 10.0s collecting garbage

Stop Event

34×	fuel
2×	done

Compiler

Compiled 82 623 to 5 077 computations (93.9% saved)

prune15.7s (2.3%)

Memory: 240.1MiB live, 36 026.3MiB allocated; 8.9s collecting garbage
Counts: 251 366 → 4 465
Compiler: Compiled 606 954 to 248 214 computations (59.1% saved)

preprocess6.2s (0.9%)

Memory

174.1MiB live, 11 617.9MiB allocated; 1.6s collecting garbage

Stop Event

37×	node-limit

Compiler

Compiled 152 965 to 39 551 computations (74.1% saved)

bsearch2.8s (0.4%)

Memory

48.6MiB live, 2 478.2MiB allocated; 279ms collecting garbage

Algorithm

93×	binary-search
47×	left-value

Stop Event

90×	narrow-enough
3×	predicate-same

Samples

1.3s	3 719×	0	valid
180.0ms	856×	1	valid
60.0ms	177×	2	valid

Compiler

Compiled 467 372 to 143 731 computations (69.2% saved)

Precisions

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

ival-fmax: 345.0ms (24.8% of total)

ival-pow2: 153.0ms (11.0% of total)

ival-sub!: 129.0ms (9.3% of total)

ival-fmin: 126.0ms (9.1% of total)

ival-cos: 103.0ms (7.4% of total)

ival-sin: 100.0ms (7.2% of total)

ival-mult!: 97.0ms (7.0% of total)

ival-add!: 86.0ms (6.2% of total)

ival-sqrt: 68.0ms (4.9% of total)

ival-neg: 51.0ms (3.7% of total)

adjust: 49.0ms (3.5% of total)

ival-exp: 49.0ms (3.5% of total)

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

ival-log1p: 12.0ms (0.9% of total)

const: 0.0ms (0.0% of total)

start33.0ms (0.0%)

Memory: 20.4MiB live, 63.6MiB allocated; 10ms collecting garbage

end0.0ms (0.0%)

Memory

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

Calls

1 calls:

Time	Variable	Point
48.3s	u1	0

sample3.7min (32.6%)

series3.3min (29.3%)

eval1.3min (12.0%)

rewrite1.0min (9.0%)

regimes40.8s (6.0%)

analyze30.4s (4.5%)

derivations19.6s (2.9%)

prune15.7s (2.3%)

preprocess6.2s (0.9%)

bsearch2.8s (0.4%)

start33.0ms (0.0%)

end0.0ms (0.0%)

Profiling