Metrics for Herbie run

Date:	Thursday, June 5th, 2025
Commit:	f6ac802a on sound-rules-crash-on-unsoundness
Seed:	2025156
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:	830 039.8 MB

sample3.7min (34.8%)

Memory

3 067.0MiB live, 281 753.7MiB allocated; 1.7min collecting garbage

Samples

2.1min	15 347×	3	exit
48.2s	276 601×	0	valid
5.9s	28 655×	1	valid
1.7s	11 136×	0	invalid
981.0ms	2 595×	2	valid
191.0ms	1 606×	1	exit
190.0ms	735×	1	invalid
175.0ms	67×	5	exit
27.0ms	2×	4	exit
1.0ms	3×	3	valid

Precisions

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

ival-mult!: 27.3s (17.3% of total)

adjust: 22.7s (14.3% of total)

ival-pow2: 19.6s (12.4% of total)

ival-exp: 18.4s (11.6% of total)

ival-log: 15.6s (9.8% of total)

ival-div!: 10.1s (6.4% of total)

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

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

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

ival-neg: 6.6s (4.2% of total)

ival-fmax: 4.3s (2.7% of total)

ival-fmin: 2.8s (1.7% of total)

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

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

ival-cos: 935.0ms (0.6% of total)

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

ival-expm1: 642.0ms (0.4% of total)

ival-<=: 634.0ms (0.4% of total)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

const: 4.0ms (0% of total)

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

Bogosity

series3.0min (28%)

Memory

4 033.5MiB live, 221 283.4MiB allocated; 1.1min collecting garbage

Stop Event

144×	iter-limit

Counts

9 898 → 33 579

Calls

132 calls:

Time	Variable	Point
1.3s	z	inf
1.1s	x	-inf
1.1s	x	0
1.1s	x	inf
872.0ms	y	0

eval1.3min (12.3%)

Memory: 2 303.8MiB live, 100 184.8MiB allocated; 38.5s collecting garbage
Compiler: Compiled 196 680 277 to 2 400 566 computations (98.8% saved)

rewrite47.0s (7.3%)

Memory

1 153.6MiB live, 63 187.3MiB allocated; 19.8s collecting garbage

Stop Event

288×	iter-limit
144×	node-limit

Counts

9 898 → 236 626

regimes38.5s (6%)

Memory

234.8MiB live, 65 305.2MiB allocated; 10.9s collecting garbage

Counts

10 916 → 448

Calls

159 calls:

1.5s	r
1.1s	dY.w
893.0ms	ux
693.0ms	uy
686.0ms	s

Compiler

Compiled 281 684 to 38 050 computations (86.5% saved)

analyze32.3s (5%)

Memory

-106.1MiB live, 43 805.4MiB allocated; 11.9s 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)

prune16.5s (2.6%)

Memory: -423.1MiB live, 28 523.5MiB allocated; 5.8s collecting garbage
Counts: 273 707 → 3 758
Compiler: Compiled 518 224 to 226 492 computations (56.3% saved)

derivations14.2s (2.2%)

Memory

-128.7MiB live, 10 782.6MiB allocated; 5.1s collecting garbage

Stop Event

35×	fuel
1×	done

Compiler

Compiled 65 750 to 4 551 computations (93.1% saved)

preprocess10.0s (1.6%)

Memory

-478.2MiB live, 11 819.7MiB allocated; 8.5s collecting garbage

Stop Event

37×	node-limit

Compiler

Compiled 123 838 to 32 854 computations (73.5% saved)

bsearch2.1s (0.3%)

Memory

19.8MiB live, 3 332.7MiB allocated; 480ms collecting garbage

Algorithm

73×	binary-search
38×	left-value

Stop Event

69×	narrow-enough
4×	predicate-same

Samples

618.0ms	1 711×	0	valid
291.0ms	1 076×	1	valid
105.0ms	220×	2	valid
26.0ms	124×	1	invalid
8.0ms	140×	0	invalid
0.0ms	1×	3	valid

Compiler

Compiled 334 934 to 111 033 computations (66.8% saved)

Precisions

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

ival-fmax: 209.0ms (22.8% of total)

ival-exp: 130.0ms (14.2% of total)

ival-pow2: 111.0ms (12.1% of total)

ival-sub!: 89.0ms (9.7% of total)

ival-fmin: 75.0ms (8.2% of total)

ival-log1p: 54.0ms (5.9% of total)

ival-mult!: 52.0ms (5.7% of total)

ival-sqrt: 47.0ms (5.1% of total)

ival-add!: 46.0ms (5% of total)

adjust: 40.0ms (4.4% of total)

ival-neg: 29.0ms (3.2% of total)

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

ival-sin: 11.0ms (1.2% of total)

ival-cos: 9.0ms (1% of total)

const: 0.0ms (0% of total)

start33.0ms (0%)

Memory: 13.6MiB live, 60.6MiB allocated; 14ms collecting garbage

end0.0ms (0%)

Memory

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

Calls

1 calls:

Time	Variable	Point
2.4min	u1	0

sample3.7min (34.8%)

series3.0min (28%)

eval1.3min (12.3%)

rewrite47.0s (7.3%)

regimes38.5s (6%)

analyze32.3s (5%)

prune16.5s (2.6%)

derivations14.2s (2.2%)

preprocess10.0s (1.6%)

bsearch2.1s (0.3%)

start33.0ms (0%)

end0.0ms (0%)

Profiling