Metrics for Herbie run

Date:	Wednesday, June 11th, 2025
Commit:	cc53dc15 on main
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:	1 158 232.3 MB

sample3.6min (32.3%)

Memory

5 349.1MiB live, 385 964.5MiB allocated; 1.7min collecting garbage

Samples

2.1min	14 883×	3	exit
45.6s	276 244×	0	valid
5.4s	28 946×	1	valid
1.7s	11 065×	0	invalid
921.0ms	2 516×	2	valid
154.0ms	1 697×	1	exit
152.0ms	731×	1	invalid
144.0ms	74×	5	exit
23.0ms	2×	4	exit
0.0ms	1×	3	valid

Precisions

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

ival-mult!: 26.4s (16.3% of total)

ival-pow2: 21.5s (13.3% of total)

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

adjust: 20.3s (12.5% of total)

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

ival-div!: 11.3s (7% of total)

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

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

ival-sqrt: 7.1s (4.4% of total)

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

ival-fmax: 4.1s (2.5% of total)

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

ival-cos: 2.4s (1.5% of total)

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

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

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

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

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

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

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

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

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

ival-sinh: 275.0ms (0.2% of total)

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

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

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

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

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

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

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

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

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

const: 2.0ms (0% of total)

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

Bogosity

series3.2min (29.2%)

Memory

4 246.3MiB live, 272 789.8MiB allocated; 1.5min collecting garbage

Stop Event

145×	iter-limit

Counts

10 042 → 36 600

Calls

132 calls:

Time	Variable	Point
1.4min	u1	0
13.9s	alphay	inf
2.5s	alphax	0
2.4s	y	0
2.1s	alpha	-inf

eval1.7min (15.7%)

Memory: 3 297.9MiB live, 241 237.8MiB allocated; 49.1s collecting garbage
Compiler: Compiled 178 640 049 to 2 264 234 computations (98.7% saved)

rewrite52.5s (7.9%)

Memory

695.1MiB live, 74 870.2MiB allocated; 24.8s collecting garbage

Stop Event

290×	iter-limit
145×	node-limit

Counts

10 042 → 201 485

prune31.8s (4.8%)

Memory: 50.9MiB live, 77 600.7MiB allocated; 12.7s collecting garbage
Counts: 241 207 → 4 467
Compiler: Compiled 624 262 to 255 259 computations (59.1% saved)

analyze28.1s (4.2%)

Memory

527.6MiB live, 38 727.8MiB allocated; 6.8s 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)

regimes24.9s (3.7%)

Memory

506.3MiB live, 44 172.5MiB allocated; 5.8s collecting garbage

Counts

11 548 → 492

Calls

158 calls:

634.0ms	(*.f32 uy #s(literal 2 binary32))
605.0ms	s
591.0ms	uy
584.0ms	(.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))
564.0ms	maxCos

Compiler

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

derivations7.6s (1.1%)

Memory

-142.5MiB live, 7 658.2MiB allocated; 973ms collecting garbage

Stop Event

33×	fuel
2×	done

Compiler

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

preprocess6.2s (0.9%)

Memory

-49.2MiB live, 12 244.4MiB 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

-13.9MiB live, 2 900.0MiB allocated; 364ms collecting garbage

Algorithm

99×	binary-search
49×	left-value

Stop Event

95×	narrow-enough
4×	predicate-same

Samples

596.0ms	2 844×	0	valid
215.0ms	834×	1	valid
65.0ms	208×	2	valid
2.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: 754.0ms

ival-cos: 134.0ms (17.8% of total)

ival-mult!: 130.0ms (17.2% of total)

ival-sin: 121.0ms (16% of total)

ival-pow2: 110.0ms (14.6% of total)

ival-exp: 84.0ms (11.1% of total)

adjust: 48.0ms (6.4% of total)

ival-sqrt: 28.0ms (3.7% of total)

ival-add!: 25.0ms (3.3% of total)

ival-fabs: 25.0ms (3.3% of total)

ival-sub!: 22.0ms (2.9% of total)

ival-log1p: 18.0ms (2.4% of total)

ival-fmax: 9.0ms (1.2% of total)

start27.0ms (0%)

Memory: 21.4MiB live, 65.8MiB allocated; 7ms collecting garbage

end0.0ms (0%)

Memory

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

Calls

1 calls:

Time	Variable	Point
30.6s	u1	0

sample3.6min (32.3%)

series3.2min (29.2%)

eval1.7min (15.7%)

rewrite52.5s (7.9%)

prune31.8s (4.8%)

analyze28.1s (4.2%)

regimes24.9s (3.7%)

derivations7.6s (1.1%)

preprocess6.2s (0.9%)

bsearch1.3s (0.2%)

start27.0ms (0%)

end0.0ms (0%)

Profiling