Metrics for Herbie run

Date:	Wednesday, June 4th, 2025
Commit:	b0d1c723 on main
Seed:	2025155
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:	891 253.6 MB

sample3.7min (32.4%)

Memory

5 047.6MiB live, 274 745.2MiB allocated; 1.6min collecting garbage

Samples

2.1min	16 921×	3	exit
48.8s	276 769×	0	valid
4.8s	28 776×	1	valid
1.6s	11 225×	0	invalid
924.0ms	2 572×	2	valid
168.0ms	1 727×	1	exit
158.0ms	67×	5	exit
152.0ms	693×	1	invalid
37.0ms	3×	4	exit
0.0ms	1×	3	valid

Precisions

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

ival-mult!: 27.0s (16.6% of total)

adjust: 23.4s (14.4% of total)

ival-exp: 20.5s (12.6% of total)

ival-pow2: 19.4s (11.9% of total)

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

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

ival-add!: 8.0s (4.9% of total)

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

ival-sub!: 7.4s (4.5% of total)

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

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

ival-fmin: 2.4s (1.4% of total)

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

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

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

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

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

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

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

ival-asin: 555.0ms (0.3% of total)

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

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

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

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

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

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

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

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

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

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

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

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

const: 4.0ms (0% of total)

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

Bogosity

series3.2min (28.5%)

Memory

3 941.4MiB live, 244 736.1MiB allocated; 1.5min collecting garbage

Stop Event

145×	iter-limit

Counts

10 567 → 36 851

Calls

132 calls:

Time	Variable	Point
1.5min	u1	0
12.6s	alphay	inf
4.0s	alphax	0
3.0s	x	0
2.0s	y	-inf

eval1.5min (13.3%)

Memory: 2 690.0MiB live, 120 656.1MiB allocated; 43.3s collecting garbage
Compiler: Compiled 159 751 790 to 2 024 396 computations (98.7% saved)

rewrite55.6s (8.1%)

Memory

-170.1MiB live, 66 188.2MiB allocated; 29.2s collecting garbage

Stop Event

290×	iter-limit
145×	node-limit

Counts

10 567 → 197 735

regimes37.7s (5.5%)

Memory

561.7MiB live, 60 706.1MiB allocated; 11.6s collecting garbage

Counts

13 558 → 461

Calls

158 calls:

1.8s	cosTheta_i
855.0ms	uy
850.0ms	(.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))
844.0ms	u1
840.0ms	maxCos

Compiler

Compiled 366 361 to 39 182 computations (89.3% saved)

prune35.5s (5.2%)

Memory: -472.4MiB live, 59 184.5MiB allocated; 13.4s collecting garbage
Counts: 230 376 → 4 586
Compiler: Compiled 724 344 to 282 720 computations (61% saved)

analyze31.7s (4.6%)

Memory

438.2MiB live, 45 333.7MiB allocated; 11.0s 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)

derivations8.1s (1.2%)

Memory

30.8MiB live, 7 571.4MiB allocated; 1.3s collecting garbage

Stop Event

33×	fuel
2×	done

Compiler

Compiled 23 121 to 3 534 computations (84.7% saved)

preprocess6.3s (0.9%)

Memory

-410.3MiB live, 10 540.1MiB allocated; 2.0s collecting garbage

Stop Event

37×	node-limit

Compiler

Compiled 85 651 to 36 116 computations (57.8% saved)

bsearch1.1s (0.2%)

Memory

121.8MiB live, 1 527.0MiB allocated; 258ms collecting garbage

Algorithm

79×	binary-search
29×	left-value

Stop Event

79×	narrow-enough

Samples

472.0ms	2 453×	0	valid
186.0ms	1 013×	1	valid
27.0ms	145×	1	invalid
13.0ms	236×	0	invalid
9.0ms	37×	2	valid
0.0ms	1×	4	valid

Compiler

Compiled 37 334 to 23 742 computations (36.4% saved)

Precisions

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

ival-exp: 108.0ms (18.3% of total)

ival-cos: 76.0ms (12.9% of total)

ival-mult!: 71.0ms (12.1% of total)

ival-pow2: 68.0ms (11.5% of total)

ival-fmax: 59.0ms (10% of total)

ival-sub!: 42.0ms (7.1% of total)

ival-sin: 41.0ms (7% of total)

ival-log1p: 25.0ms (4.2% of total)

adjust: 23.0ms (3.9% of total)

ival-sqrt: 20.0ms (3.4% of total)

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

ival-add!: 14.0ms (2.4% of total)

ival-fabs: 13.0ms (2.2% of total)

ival-neg: 13.0ms (2.2% of total)

start28.0ms (0%)

Memory: 15.9MiB live, 64.5MiB allocated; 10ms collecting garbage

end0.0ms (0%)

Memory

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

Calls

1 calls:

Time	Variable	Point
25.1s	u1	0

sample3.7min (32.4%)

series3.2min (28.5%)

eval1.5min (13.3%)

rewrite55.6s (8.1%)

regimes37.7s (5.5%)

prune35.5s (5.2%)

analyze31.7s (4.6%)

derivations8.1s (1.2%)

preprocess6.3s (0.9%)

bsearch1.1s (0.2%)

start28.0ms (0%)

end0.0ms (0%)

Profiling