Metrics for Herbie run

Date:	Tuesday, July 15th, 2025
Commit:	7e01615e on main
Seed:	2025196
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:	828 789.4 MB

sample3.6min (32.4%)

Memory

3 782.5MiB live, 270 624.8MiB allocated; 1.5min collecting garbage

Samples

2.1min	15 502×	3	exit
47.2s	276 392×	0	valid
5.2s	28 988×	1	valid
1.2s	10 992×	0	invalid
808.0ms	2 549×	2	valid
179.0ms	73×	5	exit
159.0ms	737×	1	invalid
152.0ms	1 617×	1	exit
52.0ms	4×	4	exit

Compiler

Compiled 1 658 to 1 470 computations (11.3% saved)

Precisions

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

ival-mult!: 27.8s (17.5% of total)

adjust: 23.7s (14.9% of total)

ival-exp: 17.1s (10.7% of total)

ival-pow2: 16.9s (10.6% of total)

ival-log: 16.4s (10.3% of total)

ival-sub!: 11.3s (7.1% of total)

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

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

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

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

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

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

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

ival-expm1: 2.3s (1.5% of total)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

const: 4.0ms (0.0% of total)

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

Bogosity

series3.3min (30.1%)

Memory

2 313.2MiB live, 240 079.0MiB allocated; 1.5min collecting garbage

Stop Event

144×	iter-limit

Counts

10 502 → 38 400

Calls

132 calls:

Time	Variable	Point
2.0s	y	-inf
1.9s	u2	-inf
1.5s	z	0
1.2s	x	-inf
1.2s	x	0

eval1.4min (12.3%)

Memory: 1 154.6MiB live, 99 254.5MiB allocated; 47.2s collecting garbage
Compiler: Compiled 194 867 754 to 2 302 553 computations (98.8% saved)

rewrite58.4s (8.8%)

Memory

2 277.6MiB live, 74 170.4MiB allocated; 24.3s collecting garbage

Stop Event

288×	iter-limit
144×	node-limit

Counts

10 502 → 186 949

regimes41.1s (6.2%)

Memory

1 078.0MiB live, 64 407.6MiB allocated; 10.5s collecting garbage

Counts

11 350 → 426

Calls

159 calls:

809.0ms	r
805.0ms	uy
793.0ms	(.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))
740.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)))))
730.0ms	(*.f32 uy #s(literal 2 binary32))

Compiler

Compiled 330 991 to 39 897 computations (87.9% saved)

analyze32.5s (4.9%)

Memory

1 064.8MiB live, 37 480.1MiB allocated; 13.2s 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)

prune13.4s (2.0%)

Memory: 536.7MiB live, 23 268.9MiB allocated; 3.7s collecting garbage
Counts: 240 395 → 4 326
Compiler: Compiled 618 696 to 252 318 computations (59.2% saved)

derivations11.6s (1.7%)

Memory

-236.2MiB live, 7 777.4MiB allocated; 1.4s collecting garbage

Stop Event

35×	fuel
1×	done

Compiler

Compiled 59 726 to 4 676 computations (92.2% saved)

preprocess5.7s (0.9%)

Memory

-185.8MiB live, 8 972.6MiB allocated; 1.6s collecting garbage

Stop Event

37×	node-limit

Compiler

Compiled 125 304 to 35 236 computations (71.9% saved)

bsearch4.7s (0.7%)

Memory

-1.5MiB live, 2 692.2MiB allocated; 5.1s collecting garbage

Algorithm

66×	binary-search
32×	left-value

Stop Event

62×	narrow-enough
4×	predicate-same

Samples

3.8s	2 091×	0	valid
162.0ms	716×	1	valid
34.0ms	121×	2	valid

Compiler

Compiled 238 309 to 74 575 computations (68.7% saved)

Precisions

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

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

ival-fmin: 146.0ms (3.8% of total)

ival-sub!: 95.0ms (2.5% of total)

ival-pow2: 85.0ms (2.2% of total)

ival-exp: 65.0ms (1.7% of total)

ival-sqrt: 61.0ms (1.6% of total)

ival-add!: 59.0ms (1.5% of total)

ival-mult!: 41.0ms (1.1% of total)

ival-neg: 38.0ms (1.0% of total)

adjust: 23.0ms (0.6% of total)

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

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

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

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

const: 0.0ms (0.0% of total)

start338.0ms (0.1%)

Memory: -79.5MiB live, 60.9MiB allocated; 693ms collecting garbage

end0.0ms (0.0%)

Memory

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

Calls

1 calls:

Time	Variable	Point
2.4min	u1	0

sample3.6min (32.4%)

series3.3min (30.1%)

eval1.4min (12.3%)

rewrite58.4s (8.8%)

regimes41.1s (6.2%)

analyze32.5s (4.9%)

prune13.4s (2.0%)

derivations11.6s (1.7%)

preprocess5.7s (0.9%)

bsearch4.7s (0.7%)

start338.0ms (0.1%)

end0.0ms (0.0%)

Profiling