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

localize24.0s (27.6%)

Results

3.8s	3973×	256	valid
2.3s	647×	256	invalid
220.0ms	578×	256	infinite
4.5s	258×	2048	valid
2.2s	214×	1024	valid
271.0ms	132×	256	unsamplable
837.0ms	114×	512	valid
1.1s	69×	2048	infinite
1.7s	64×	4096	valid
1.2s	53×	4096	infinite
1.2s	33×	8192	exit
51.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: 18.0s

Operation ival-mult, time spent: 4.5s, 25.0% of total-time

Operation ival-pow, time spent: 4.1s, 23.0% of total-time

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

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

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

Operation ival-sqrt, time spent: 1.2s, 7.0% of total-time

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

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

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

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

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

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

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

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

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

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

eval16.9s (19.5%)

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

sample16.4s (18.9%)

Results

9.0s	63018×	256	valid
1.1s	7198×	256	infinite
1.8s	4088×	2048	valid
397.0ms	1969×	256	invalid

Precisions

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

Operation ival-mult, time spent: 1.9s, 28.0% of total-time

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

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

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

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

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

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

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

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

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

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

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

Bogosity

prune5.7s (6.6%)

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

simplify5.4s (6.2%)

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.2s (5.9%)

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

785.0ms	3342×	256	valid
817.0ms	488×	2048	valid
63.0ms	382×	256	infinite
275.0ms	164×	1024	valid
140.0ms	90×	512	valid
104.0ms	50×	2048	infinite
123.0ms	46×	4096	valid
308.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.7s

Operation ival-mult, time spent: 619.0ms, 36.0% of total-time

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

Operation ival-sub, time spent: 282.0ms, 16.0% of total-time

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

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

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

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

Operation ival-neg, time spent: 26.0ms, 1.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-fabs, time spent: 7.0ms, 0.0% of total-time

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

soundness4.8s (5.5%)

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.4s (5%)

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

series1.5s (1.8%)

Counts

127 → 3304

Calls

720 calls:

Time	Variable		Point	Expression
140.0ms	a	@	inf	(- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))
95.0ms	x	@	-inf	(/ (+ -1/8 (/ -1/16 x)) x)
91.0ms	b	@	inf	(sqrt (- (* b b) (* (* 4 a) c)))
81.0ms	c	@	inf	(* c (/ 2 (- (sqrt (+ (* c (* a -4)) (* b b))) b)))
72.0ms	c	@	0	(exp (* 1/4 (+ (log (* 4 c)) (* -1 (log (/ -1 a))))))

bsearch937.0ms (1.1%)

Algorithm

45×	binary-search

Stop Event

12×	predicate-same
33×	narrow-enough

Results

517.0ms	4118×	256	valid
102.0ms	890×	256	infinite
39.0ms	223×	256	invalid

Compiler

Compiled 9426 to 6832 computations (27.5% saved)

Precisions

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

Operation ival-mult, time spent: 95.0ms, 29.0% of total-time

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

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

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

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

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

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

Operation const, time spent: 10.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

regimes870.0ms (1%)

Counts

412 → 82

Calls

22 calls:

149.0ms	b
126.0ms	x
119.0ms	c
99.0ms	a
70.0ms	(neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x)))

Compiler

Compiled 478 to 329 computations (31.2% saved)

analyze861.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: 454.0ms

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

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

Operation ival-sub, time spent: 51.0ms, 11.0% of total-time

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

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

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

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

Operation ival->=, 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: 6.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

Herbie run

localize24.0s (27.6%)

eval16.9s (19.5%)

sample16.4s (18.9%)

prune5.7s (6.6%)

simplify5.4s (6.2%)

preprocess5.2s (5.9%)

soundness4.8s (5.5%)

rewrite4.4s (5%)

series1.5s (1.8%)

bsearch937.0ms (1.1%)

regimes870.0ms (1%)

analyze861.0ms (1%)

end1.0ms (0%)

Profiling