Metrics for Herbie run

Date:	Sunday, March 17th, 2024
Commit:	614f1775 on main
Hostname:	nightly with Racket 8.11.1
Seed:	2024077
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

localize26.6s (28%)

Results

4.2s	3973×	256	valid
2.8s	647×	256	invalid
225.0ms	578×	256	infinite
4.7s	258×	2048	valid
3.2s	214×	1024	valid
89.0ms	132×	256	unsamplable
868.0ms	114×	512	valid
1.2s	69×	2048	infinite
1.9s	64×	4096	valid
1.4s	53×	4096	infinite
1.3s	33×	8192	exit
52.0ms	6×	1024	infinite
18.0ms	3×	512	infinite

Compiler

Compiled 6546 to 3729 computations (43% saved)

Precisions

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

Operation ival-mult, time spent: 5.5s, 27.0% of total-time

Operation ival-pow, time spent: 5.4s, 27.0% of total-time

Operation composed, time spent: 2.4s, 12.0% of total-time

Operation ival-div, time spent: 1.8s, 9.0% of total-time

Operation ival-add, time spent: 1.6s, 8.0% of total-time

Operation ival-sqrt, time spent: 961.0ms, 5.0% of total-time

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

Operation ival-sub, time spent: 574.0ms, 3.0% of total-time

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

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

Operation ival->=, time spent: 215.0ms, 1.0% of total-time

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

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

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

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

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

eval20.0s (21%)

Compiler: Compiled 899370 to 613531 computations (31.8% saved)

sample17.1s (18%)

Results

10.1s	63018×	256	valid
943.0ms	7198×	256	infinite
2.4s	4088×	2048	valid
468.0ms	1969×	256	invalid

Precisions

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

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

Operation ival-div, time spent: 2.0s, 24.0% of total-time

Operation ival-sub, time spent: 1.1s, 13.0% of total-time

Operation ival-sqrt, time spent: 1.0s, 13.0% of total-time

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

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

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

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

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

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

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

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

Bogosity

prune5.9s (6.2%)

Counts: 18761 → 280
Compiler: Compiled 15899 to 10743 computations (32.4% saved)

simplify5.7s (6%)

Algorithm

30×	egg-herbie

Rules

6541×	`distribute-lft-in`
6157×	`fma-define`
6091×	`associate-r`
5921×	`distribute-rgt-in`
5727×	`*-commutative`

Stop Event

9×	saturated
3×	fuel
21×	node limit
6×	done

Counts

7583 → 7464

Compiler

Compiled 1170 to 746 computations (36.2% saved)

preprocess5.1s (5.4%)

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

706.0ms	3342×	256	valid
800.0ms	488×	2048	valid
121.0ms	382×	256	infinite
265.0ms	164×	1024	valid
202.0ms	90×	512	valid
103.0ms	50×	2048	infinite
164.0ms	46×	4096	valid
123.0ms	40×	4096	infinite
6.0ms	4×	1024	infinite
2.0ms	2×	512	infinite

Compiler

Compiled 3890 to 2241 computations (42.4% saved)

Precisions

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

Operation ival-mult, time spent: 722.0ms, 41.0% of total-time

Operation ival-div, time spent: 340.0ms, 19.0% of total-time

Operation ival-sub, time spent: 270.0ms, 15.0% of total-time

Operation ival-sqrt, time spent: 202.0ms, 12.0% of total-time

Operation ival-add, time spent: 60.0ms, 3.0% of total-time

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

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

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

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

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

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

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

soundness5.1s (5.3%)

Rules

5724×	`fma-define`
5484×	`fma-neg`
4554×	`distribute-lft-in`
4195×	`*-commutative`
4191×	`associate-r`

Stop Event

2×	saturated
19×	node limit

Compiler

Compiled 3646 to 2144 computations (41.2% saved)

rewrite4.7s (4.9%)

Algorithm

21×	batch-egg-rewrite

Rules

14311×	`log1p-expm1-u`
9962×	`expm1-log1p-u`
4796×	`prod-diff`
4222×	`add-exp-log`
4089×	`pow1`

Stop Event

21×	node limit

Counts

127 → 4279

regimes1.7s (1.7%)

Counts

412 → 82

Calls

22 calls:

419.0ms	x
267.0ms	n
167.0ms	(-.f64 (/.f64 (+.f64 x #s(literal 4 binary64)) y) (*.f64 (/.f64 x y) z))
167.0ms	b
120.0ms	c

Compiler

Compiled 478 to 329 computations (31.2% saved)

series1.2s (1.3%)

Counts

127 → 3304

Calls

720 calls:

Time	Variable		Point	Expression
104.0ms	f	@	inf	(/ (* n (+ (* 2 (/ n f)) 2)) f)
78.0ms	c	@	0	(exp (* 1/4 (+ (log (* 4 c)) (* -1 (log (/ -1 a))))))
42.0ms	c	@	0	(pow (* (* a -4) c) 1/4)
38.0ms	a	@	0	(pow (* (* a -4) c) 1/4)
29.0ms	a	@	-inf	(exp (* 1/4 (+ (log (* 4 c)) (* -1 (log (/ -1 a))))))

bsearch1.1s (1.1%)

Algorithm

45×	binary-search

Stop Event

12×	predicate-same
33×	narrow-enough

Results

559.0ms	4118×	256	valid
104.0ms	890×	256	infinite
41.0ms	223×	256	invalid

Compiler

Compiled 9426 to 6832 computations (27.5% saved)

Precisions

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

Operation ival-mult, time spent: 103.0ms, 30.0% of total-time

Operation ival-div, time spent: 82.0ms, 24.0% of total-time

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

Operation ival-add, time spent: 40.0ms, 12.0% of total-time

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

Operation ival-fabs, time spent: 21.0ms, 6.0% of total-time

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

Operation ival-neg, time spent: 11.0ms, 3.0% of total-time

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

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

analyze996.0ms (1%)

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: 633.0ms

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

Operation ival-sqrt, time spent: 138.0ms, 22.0% of total-time

Operation ival-if, time spent: 120.0ms, 19.0% of total-time

Operation ival-div, time spent: 91.0ms, 14.0% of total-time

Operation ival-sub, time spent: 54.0ms, 9.0% of total-time

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

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

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

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

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

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

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

Herbie run

localize26.6s (28%)

eval20.0s (21%)

sample17.1s (18%)

prune5.9s (6.2%)

simplify5.7s (6%)

preprocess5.1s (5.4%)

soundness5.1s (5.3%)

rewrite4.7s (4.9%)

regimes1.7s (1.7%)

series1.2s (1.3%)

bsearch1.1s (1.1%)

analyze996.0ms (1%)

end1.0ms (0%)

Profiling