Metrics for Herbie run

Date:	Wednesday, June 11th, 2025
Commit:	f3943c8d on fewer-unsound
Seed:	2025162
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:	986 124.9 MB

sample3.6min (32.4%)

Memory

5 006.5MiB live, 293 083.6MiB allocated; 1.6min collecting garbage

Samples

2.1min	16 495×	3	exit
43.8s	276 494×	0	valid
6.9s	28 946×	1	valid
1.2s	11 065×	0	invalid
769.0ms	2 516×	2	valid
205.0ms	731×	1	invalid
179.0ms	1 697×	1	exit
167.0ms	74×	5	exit
22.0ms	2×	4	exit
0.0ms	1×	3	valid

Precisions

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

ival-exp: 23.8s (14.8% of total)

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

adjust: 21.0s (13% of total)

ival-pow2: 19.9s (12.3% of total)

ival-log: 19.5s (12.1% of total)

ival-div!: 9.4s (5.8% of total)

ival-add!: 8.5s (5.3% of total)

ival-sub!: 8.4s (5.2% of total)

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

ival-neg: 5.7s (3.5% of total)

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

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

ival-cos: 1.6s (1% of total)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

const: 2.0ms (0% of total)

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

Bogosity

series3.2min (28.9%)

Memory

4 687.9MiB live, 256 376.4MiB allocated; 1.3min collecting garbage

Stop Event

144×	iter-limit

Counts

9 984 → 35 885

Calls

132 calls:

Time	Variable	Point
2.1s	z	inf
1.7s	s	0
1.4s	x	inf
1.4s	x	-inf
1.3s	x	0

eval1.7min (14.8%)

Memory: 1 973.3MiB live, 161 225.3MiB allocated; 47.3s collecting garbage
Compiler: Compiled 175 534 367 to 2 243 651 computations (98.7% saved)

rewrite49.0s (7.3%)

Memory

739.2MiB live, 66 042.0MiB allocated; 19.8s collecting garbage

Stop Event

288×	iter-limit
144×	node-limit

Counts

9 984 → 200 486

prune41.3s (6.2%)

Memory: 232.4MiB live, 108 441.4MiB allocated; 21.3s collecting garbage
Counts: 254 590 → 4 476
Compiler: Compiled 622 736 to 254 417 computations (59.1% saved)

analyze28.6s (4.3%)

Memory

292.8MiB live, 39 566.3MiB allocated; 8.3s 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)

regimes25.8s (3.9%)

Memory

103.5MiB live, 41 678.7MiB allocated; 7.1s collecting garbage

Counts

11 548 → 492

Calls

158 calls:

889.0ms	cosTheta_i
759.0ms	uy
681.0ms	(*.f32 uy #s(literal 2 binary32))
647.0ms	(.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))
644.0ms	maxCos

Compiler

Compiled 170 176 to 32 826 computations (80.7% saved)

derivations7.6s (1.1%)

Memory

38.8MiB live, 7 359.0MiB allocated; 1.1s collecting garbage

Stop Event

33×	fuel
2×	done

Compiler

Compiled 26 705 to 3 719 computations (86.1% saved)

preprocess6.0s (0.9%)

Memory

45.1MiB live, 10 354.3MiB allocated; 2.4s collecting garbage

Stop Event

37×	node-limit

Compiler

Compiled 96 139 to 36 487 computations (62% saved)

bsearch1.3s (0.2%)

Memory

59.7MiB live, 1 945.5MiB allocated; 363ms collecting garbage

Algorithm

99×	binary-search
49×	left-value

Stop Event

95×	narrow-enough
4×	predicate-same

Samples

520.0ms	2 844×	0	valid
251.0ms	834×	1	valid
54.0ms	208×	2	valid
3.0ms	46×	0	invalid
2.0ms	15×	1	invalid
1.0ms	2×	3	valid

Compiler

Compiled 42 062 to 28 375 computations (32.5% saved)

Precisions

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

ival-sin: 141.0ms (20.8% of total)

ival-cos: 102.0ms (15.1% of total)

ival-pow2: 93.0ms (13.7% of total)

ival-mult!: 73.0ms (10.8% of total)

ival-exp: 70.0ms (10.3% of total)

adjust: 69.0ms (10.2% of total)

ival-fabs: 36.0ms (5.3% of total)

ival-sqrt: 27.0ms (4% of total)

ival-add!: 24.0ms (3.5% of total)

ival-sub!: 19.0ms (2.8% of total)

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

ival-fmax: 11.0ms (1.6% of total)

start66.0ms (0%)

Memory: 6.9MiB live, 51.8MiB allocated; 44ms collecting garbage

end0.0ms (0%)

Memory

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

Calls

1 calls:

Time	Variable	Point
2.4min	u1	0

sample3.6min (32.4%)

series3.2min (28.9%)

eval1.7min (14.8%)

rewrite49.0s (7.3%)

prune41.3s (6.2%)

analyze28.6s (4.3%)

regimes25.8s (3.9%)

derivations7.6s (1.1%)

preprocess6.0s (0.9%)

bsearch1.3s (0.2%)

start66.0ms (0%)

end0.0ms (0%)

Profiling