Metrics for Herbie run

Date:	Sunday, March 24th, 2024
Commit:	5a8b346c on main
Hostname:	nightly with Racket 8.11.1
Seed:	2024084
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.5s (25.8%)

Results

3.8s	4280×	256	valid
2.1s	875×	256	invalid
4.8s	314×	2048	valid
120.0ms	304×	256	infinite
2.0s	223×	1024	valid
1.2s	209×	512	valid
1.8s	74×	4096	valid
1.3s	57×	4096	infinite
555.0ms	36×	2048	infinite
1.8s	23×	8192	exit
16.0ms	3×	512	infinite
13.0ms	2×	1024	infinite

Compiler

Compiled 7149 to 3880 computations (45.7% saved)

Precisions

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

Operation ival-mult, time spent: 4.7s, 26.0% of total-time

Operation ival-pow, time spent: 4.5s, 24.0% of total-time

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

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

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

Operation ival-sqrt, time spent: 1.1s, 6.0% of total-time

Operation ival-sub, time spent: 707.0ms, 4.0% of total-time

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

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

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

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

Operation ival-cbrt, time spent: 186.0ms, 1.0% of total-time

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

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

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

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

eval22.6s (23.8%)

Compiler: Compiled 1099849 to 712076 computations (35.3% saved)

sample16.2s (17.1%)

Results

8.9s	62927×	256	valid
890.0ms	7244×	256	infinite
2.3s	4133×	2048	valid
560.0ms	1889×	256	invalid

Precisions

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

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

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

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

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

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

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

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

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

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

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

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

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

Bogosity

prune7.5s (7.9%)

Counts: 22354 → 296
Compiler: Compiled 17590 to 11837 computations (32.7% saved)

simplify5.6s (5.9%)

Algorithm

30×	egg-herbie

Rules

8087×	`fma-define`
6822×	`*-commutative`
6540×	`times-frac`
6315×	`distribute-lft-in`
5577×	`distribute-rgt-in`

Stop Event

9×	saturated
21×	node limit

Counts

8428 → 8763

preprocess5.3s (5.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

1.3s	3390×	256	valid
618.0ms	462×	2048	valid
53.0ms	374×	256	infinite
219.0ms	128×	1024	valid
158.0ms	116×	512	valid
192.0ms	60×	4096	valid
204.0ms	46×	4096	infinite
62.0ms	28×	2048	infinite
5.0ms	2×	512	infinite
3.0ms	2×	1024	infinite

Compiler

Compiled 4198 to 2409 computations (42.6% saved)

Precisions

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

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

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

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

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

Operation ival-if, time spent: 159.0ms, 8.0% of total-time

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

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

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

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

Operation ival-log, time spent: 21.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.7s (5%)

Rules

5441×	`fma-define`
4897×	`fma-neg`
4425×	`log1p-expm1-u`
4138×	`times-frac`
3607×	`*-commutative`

Stop Event

2×	saturated
19×	node limit
3×	fuel
6×	done

Compiler

Compiled 4679 to 2705 computations (42.2% saved)

rewrite4.1s (4.3%)

Algorithm

21×	batch-egg-rewrite

Rules

11801×	`log1p-expm1-u`
7944×	`expm1-log1p-u`
5365×	`pow1`
4615×	`add-exp-log`
4255×	`unpow-prod-down`

Stop Event

21×	node limit

Counts

131 → 4822

series1.6s (1.6%)

Counts

131 → 3606

Calls

795 calls:

Time	Variable		Point	Expression
124.0ms	b	@	0	(/ c (+ (neg b) (sqrt (- (* b b) (* 4 (* a c))))))
70.0ms	c	@	-inf	(exp (* 1/4 (+ (log (* 4 c)) (* -1 (log (/ -1 a))))))
64.0ms	a	@	0	(exp (* 1/4 (+ (log c) (log (* -4 a)))))
62.0ms	a	@	0	(pow (+ (* c (* a -4)) (pow b 2)) 1/4)
44.0ms	n	@	-inf	(/ (* f (- f (* -1 f))) n)

bsearch1.1s (1.1%)

Algorithm

38×	binary-search
2×	left-value

Stop Event

10×	predicate-same
28×	narrow-enough

Results

668.0ms	3614×	256	valid
49.0ms	322×	256	invalid
37.0ms	274×	256	infinite

Compiler

Compiled 10474 to 7362 computations (29.7% saved)

Precisions

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

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

Operation ival->=, time spent: 90.0ms, 20.0% of total-time

Operation ival-div, time spent: 58.0ms, 13.0% of total-time

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

Operation ival-sqrt, time spent: 40.0ms, 9.0% of total-time

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

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

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

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

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

regimes950.0ms (1%)

Counts

388 → 82

Calls

26 calls:

177.0ms	b
128.0ms	a
114.0ms	c
89.0ms	(fabs.f64 (-.f64 (/.f64 (+.f64 x #s(literal 4 binary64)) y) (*.f64 (/.f64 x y) z)))
79.0ms	x

Compiler

Compiled 525 to 362 computations (31% saved)

analyze947.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: 418.0ms

Operation ival-mult, time spent: 147.0ms, 35.0% of total-time

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

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

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

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

Operation ival->=, time spent: 23.0ms, 6.0% of total-time

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

Operation ival-if, time spent: 17.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-log, time spent: 1.0ms, 0.0% of total-time

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

Herbie run

localize24.5s (25.8%)

eval22.6s (23.8%)

sample16.2s (17.1%)

prune7.5s (7.9%)

simplify5.6s (5.9%)

preprocess5.3s (5.6%)

soundness4.7s (5%)

rewrite4.1s (4.3%)

series1.6s (1.6%)

bsearch1.1s (1.1%)

regimes950.0ms (1%)

analyze947.0ms (1%)

end0.0ms (0%)

Profiling