Metrics for Herbie run

Date:	Monday, March 25th, 2024
Commit:	f03d6b38 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.7s (25.1%)

Results

2.9s	3943×	256	valid
1.7s	781×	256	invalid
286.0ms	521×	256	infinite
3.7s	334×	2048	valid
2.0s	210×	1024	valid
709.0ms	127×	512	valid
1.5s	88×	4096	valid
691.0ms	69×	2048	infinite
805.0ms	42×	4096	infinite
844.0ms	23×	8192	exit
13.0ms	3×	512	infinite
19.0ms	3×	1024	infinite

Compiler

Compiled 5803 to 3169 computations (45.4% saved)

Precisions

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

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

Operation ival-pow, time spent: 2.1s, 15.0% of total-time

Operation composed, time spent: 2.0s, 14.0% of total-time

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

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

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

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

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

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

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

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

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

Operation ival-neg, time spent: 38.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.1s (20.5%)

Results

8.7s	63012×	256	valid
838.0ms	7190×	256	infinite
2.3s	4102×	2048	valid
534.0ms	1948×	256	invalid

Precisions

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

Operation ival-mult, time spent: 2.0s, 30.0% of total-time

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

Operation ival-div, time spent: 1.2s, 18.0% of total-time

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

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

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

Operation ival-fabs, time spent: 193.0ms, 3.0% of total-time

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

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

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

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

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

Bogosity

eval13.6s (17.3%)

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

prune5.8s (7.3%)

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

preprocess5.4s (6.8%)

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

825.0ms	3338×	256	valid
758.0ms	512×	2048	valid
59.0ms	374×	256	infinite
292.0ms	144×	1024	valid
114.0ms	96×	512	valid
176.0ms	58×	4096	valid
139.0ms	50×	2048	infinite
80.0ms	32×	4096	infinite
2.0ms	2×	512	infinite
3.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: 649.0ms, 41.0% of total-time

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

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

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

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

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

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

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

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

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

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

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

simplify5.0s (6.4%)

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

soundness4.6s (5.9%)

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)

rewrite4.1s (5.2%)

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

Counts

521 → 87

Calls

26 calls:

225.0ms	x
171.0ms	b
149.0ms	z
128.0ms	a
125.0ms	c

Compiler

Compiled 527 to 366 computations (30.6% saved)

series1.2s (1.5%)

Counts

123 → 3176

Calls

708 calls:

Time	Variable		Point	Expression
87.0ms	a	@	0	(exp (* 1/4 (+ (log (* 4 c)) (* -1 (log (/ -1 a))))))
79.0ms	z	@	-inf	(* (/ 1 y) z)
77.0ms	a	@	0	(exp (* 1/4 (+ (log (* 4 a)) (* -1 (log (/ -1 c))))))
69.0ms	c	@	0	(exp (* 1/4 (+ (log (* 4 c)) (* -1 (log (/ -1 a))))))
39.0ms	c	@	-inf	(exp (* 1/4 (+ (log (* 4 c)) (* -1 (log (/ -1 a))))))

analyze1.0s (1.3%)

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

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

Operation ival-mult, time spent: 156.0ms, 25.0% of total-time

Operation ival-sqrt, time spent: 49.0ms, 8.0% of total-time

Operation ival-div, time spent: 40.0ms, 6.0% of total-time

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

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

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

Operation ival->=, time spent: 19.0ms, 3.0% of total-time

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

Operation ival-fabs, time spent: 5.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

bsearch836.0ms (1.1%)

Algorithm

39×	binary-search

Stop Event

10×	predicate-same
29×	narrow-enough

Results

529.0ms	3837×	256	valid
46.0ms	339×	256	infinite
29.0ms	177×	256	invalid

Compiler

Compiled 7989 to 5788 computations (27.6% saved)

Precisions

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

Operation ival-div, time spent: 113.0ms, 35.0% of total-time

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

Operation ival-sub, time spent: 38.0ms, 12.0% of total-time

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

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

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

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

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

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

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

Herbie run

localize19.7s (25.1%)

sample16.1s (20.5%)

eval13.6s (17.3%)

prune5.8s (7.3%)

preprocess5.4s (6.8%)

simplify5.0s (6.4%)

soundness4.6s (5.9%)

rewrite4.1s (5.2%)

regimes1.2s (1.6%)

series1.2s (1.5%)

analyze1.0s (1.3%)

bsearch836.0ms (1.1%)

end0.0ms (0%)

Profiling