Metrics for Herbie run

Date:	Monday, March 25th, 2024
Commit:	5a8b346c on main
Hostname:	nightly with Racket 8.11.1
Seed:	2024085
Parameters:	256 points for 4 iterations
Flags:	`reduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs` default

localize19.9s (25.1%)

Results

3.0s	3943×	256	valid
1.8s	781×	256	invalid
287.0ms	521×	256	infinite
4.3s	334×	2048	valid
1.9s	210×	1024	valid
726.0ms	127×	512	valid
1.6s	88×	4096	valid
752.0ms	69×	2048	infinite
722.0ms	42×	4096	infinite
886.0ms	23×	8192	exit
13.0ms	3×	512	infinite
21.0ms	3×	1024	infinite

Compiler

Compiled 5803 to 3169 computations (45.4% saved)

Precisions

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

Operation ival-mult, time spent: 4.3s, 31.0% of total-time

Operation ival-pow, time spent: 1.8s, 13.0% of total-time

Operation composed, time spent: 1.7s, 13.0% of total-time

Operation ival-add, time spent: 1.5s, 11.0% of total-time

Operation ival-div, time spent: 1.4s, 10.0% of total-time

Operation ival-sqrt, time spent: 777.0ms, 6.0% of total-time

Operation ival-sub, time spent: 675.0ms, 5.0% of total-time

Operation ival-log, time spent: 635.0ms, 5.0% of total-time

Operation const, time spent: 306.0ms, 2.0% of total-time

Operation ival-exp, time spent: 288.0ms, 2.0% of total-time

Operation ival->=, time spent: 245.0ms, 2.0% of total-time

Operation ival-if, time spent: 115.0ms, 1.0% of total-time

Operation ival-neg, time spent: 50.0ms, 0.0% of total-time

Operation ival-fabs, time spent: 31.0ms, 0.0% of total-time

Operation ival-cbrt, time spent: 9.0ms, 0.0% of total-time

Operation ival-e, time spent: 6.0ms, 0.0% of total-time

sample16.3s (20.5%)

Results

9.3s	63012×	256	valid
777.0ms	7190×	256	infinite
2.2s	4102×	2048	valid
600.0ms	1948×	256	invalid

Precisions

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

Operation ival-mult, time spent: 2.4s, 33.0% of total-time

Operation ival-div, time spent: 1.4s, 19.0% of total-time

Operation ival-sub, time spent: 1.3s, 17.0% of total-time

Operation ival-sqrt, time spent: 946.0ms, 13.0% of total-time

Operation ival-add, time spent: 297.0ms, 4.0% of total-time

Operation ival-neg, time spent: 284.0ms, 4.0% of total-time

Operation const, time spent: 192.0ms, 3.0% of total-time

Operation ival-log, time spent: 155.0ms, 2.0% of total-time

Operation ival-fabs, time spent: 119.0ms, 2.0% of total-time

Operation ival->=, time spent: 113.0ms, 2.0% of total-time

Operation ival-if, time spent: 105.0ms, 1.0% of total-time

Operation ival-exp, time spent: 87.0ms, 1.0% of total-time

Bogosity

eval14.3s (18%)

Compiler: Compiled 722498 to 482915 computations (33.2% saved)

prune5.6s (7%)

Counts: 16846 → 302
Compiler: Compiled 16690 to 11448 computations (31.4% saved)

simplify5.2s (6.6%)

Algorithm

30×	egg-herbie

Rules

7252×	`times-frac`
6773×	`distribute-lft-in`
6737×	`fma-define`
6624×	`distribute-rgt-in`
6023×	`*-commutative`

Stop Event

9×	saturated
21×	node limit

Counts

7850 → 7911

preprocess5.2s (6.6%)

Algorithm

9×	egg-herbie

Rules

3285×	`fma-neg`
2821×	`fma-define`
1502×	`times-frac`
1470×	`div-sub`
1170×	`sub-neg`

Stop Event

5×	saturated
4×	node limit

Results

708.0ms	3338×	256	valid
886.0ms	512×	2048	valid
52.0ms	374×	256	infinite
236.0ms	144×	1024	valid
101.0ms	96×	512	valid
163.0ms	58×	4096	valid
168.0ms	50×	2048	infinite
88.0ms	32×	4096	infinite
2.0ms	2×	512	infinite
4.0ms	2×	1024	infinite

Compiler

Compiled 3800 to 2233 computations (41.2% saved)

Precisions

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

Operation ival-mult, time spent: 676.0ms, 42.0% of total-time

Operation ival-sub, time spent: 290.0ms, 18.0% of total-time

Operation ival-sqrt, time spent: 219.0ms, 14.0% of total-time

Operation ival-div, time spent: 176.0ms, 11.0% of total-time

Operation ival-add, time spent: 101.0ms, 6.0% of total-time

Operation const, time spent: 49.0ms, 3.0% of total-time

Operation ival->=, time spent: 31.0ms, 2.0% of total-time

Operation ival-neg, time spent: 26.0ms, 2.0% of total-time

Operation ival-log, time spent: 20.0ms, 1.0% of total-time

Operation ival-if, time spent: 18.0ms, 1.0% of total-time

Operation ival-fabs, time spent: 7.0ms, 0.0% of total-time

Operation ival-exp, time spent: 5.0ms, 0.0% of total-time

soundness4.6s (5.8%)

Rules

6540×	`fma-define`
5532×	`times-frac`
5100×	`distribute-lft-in`
5080×	`fma-neg`
4936×	`distribute-rgt-in`

Stop Event

2×	saturated
4×	fuel
21×	node limit
5×	done

Compiler

Compiled 4345 to 2559 computations (41.1% saved)

rewrite3.9s (4.9%)

Algorithm

21×	batch-egg-rewrite

Rules

12149×	`log1p-expm1-u`
9985×	`expm1-log1p-u`
4527×	`add-exp-log`
4357×	`pow1`
4082×	`add-log-exp`

Stop Event

21×	node limit

Counts

123 → 4674

regimes1.3s (1.7%)

Counts

521 → 87

Calls

26 calls:

301.0ms	x
171.0ms	b
135.0ms	a
124.0ms	c
86.0ms	y

Compiler

Compiled 527 to 366 computations (30.6% saved)

series1.3s (1.6%)

Counts

123 → 3176

Calls

708 calls:

Time	Variable		Expression
100.0ms	a	@	(exp (* 1/4 (+ (log (* 4 c)) (* -1 (log (/ -1 a))))))
81.0ms	b	@	(* c (/ -2 (+ b (sqrt (+ (* c (* a -4)) (* b b))))))
73.0ms	c	@	(exp (* 1/4 (+ (log (* 4 c)) (* -1 (log (/ -1 a))))))
65.0ms	a	@	(exp (* 1/4 (+ (log (* 4 a)) (* -1 (log (/ -1 c))))))
52.0ms	n	@	(/ (- n f) (+ f n))

analyze922.0ms (1.2%)

Algorithm

9×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
22.2%	22.2%	77.7%	0.1%	0%	0%	0%	1
29.4%	27.8%	66.6%	0.1%	0%	5.6%	0%	2
50%	44.4%	44.4%	0.1%	0%	11.1%	0%	3
59.7%	51.3%	34.7%	0.1%	0%	13.9%	0%	4
67.2%	56.9%	27.7%	0.1%	0%	15.3%	0%	5
74.4%	62.4%	21.5%	0.1%	0%	16%	0%	6
78.9%	64.9%	17.3%	0.1%	0%	17.7%	0%	7
80.8%	66.3%	15.8%	0.1%	0%	17.9%	0%	8
85.9%	69.9%	11.5%	0.1%	0%	18.5%	0%	9
88%	70.7%	9.7%	0.1%	0%	19.6%	0%	10
90%	72.1%	8%	0.1%	0%	19.8%	0%	11
92.3%	73.5%	6.2%	0.1%	0%	20.3%	0%	12

Compiler

Compiled 161 to 110 computations (31.7% saved)

Precisions

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

Operation ival-mult, time spent: 176.0ms, 44.0% of total-time

Operation ival-sub, time spent: 53.0ms, 13.0% of total-time

Operation ival-sqrt, time spent: 45.0ms, 11.0% of total-time

Operation ival-div, time spent: 38.0ms, 9.0% of total-time

Operation ival-add, time spent: 22.0ms, 5.0% of total-time

Operation ival-neg, time spent: 20.0ms, 5.0% of total-time

Operation ival->=, time spent: 18.0ms, 4.0% of total-time

Operation ival-if, time spent: 16.0ms, 4.0% of total-time

Operation const, time spent: 12.0ms, 3.0% of total-time

Operation ival-fabs, time spent: 4.0ms, 1.0% of total-time

Operation ival-exp, time spent: 0.0ms, 0.0% of total-time

Operation ival-log, time spent: 0.0ms, 0.0% of total-time

bsearch861.0ms (1.1%)

Algorithm

39×	binary-search

Stop Event

10×	predicate-same
29×	narrow-enough

Results

538.0ms	3837×	256	valid
44.0ms	339×	256	infinite
28.0ms	177×	256	invalid

Compiler

Compiled 7989 to 5788 computations (27.6% saved)

Precisions

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

Operation ival-sub, time spent: 81.0ms, 24.0% of total-time

Operation ival-mult, time spent: 79.0ms, 24.0% of total-time

Operation ival-div, time spent: 76.0ms, 23.0% of total-time

Operation ival-add, time spent: 27.0ms, 8.0% of total-time

Operation ival-sqrt, time spent: 20.0ms, 6.0% of total-time

Operation ival-fabs, time spent: 14.0ms, 4.0% of total-time

Operation ival-neg, time spent: 13.0ms, 4.0% of total-time

Operation const, time spent: 10.0ms, 3.0% of total-time

Operation ival->=, time spent: 8.0ms, 2.0% of total-time

Operation ival-if, time spent: 7.0ms, 2.0% of total-time

Herbie run

localize19.9s (25.1%)

sample16.3s (20.5%)

eval14.3s (18%)

prune5.6s (7%)

simplify5.2s (6.6%)

preprocess5.2s (6.6%)

soundness4.6s (5.8%)

rewrite3.9s (4.9%)

regimes1.3s (1.7%)

series1.3s (1.6%)

analyze922.0ms (1.2%)

bsearch861.0ms (1.1%)

end0.0ms (0%)

Profiling