Metrics for Herbie run

Date:	Saturday, March 16th, 2024
Commit:	110598d9 on longer-taylor
Hostname:	nightly with Racket 8.11.1
Seed:	2024076
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.1s (27.7%)

Results

4.2s	4068×	256	valid
2.3s	1049×	256	invalid
700.0ms	712×	256	infinite
4.4s	296×	2048	valid
2.1s	222×	1024	valid
703.0ms	95×	512	valid
1.7s	77×	4096	valid
1.1s	45×	4096	infinite
578.0ms	40×	2048	infinite
543.0ms	21×	2048	invalid
160.0ms	12×	1024	infinite
160.0ms	12×	1024	invalid
34.0ms	4×	512	invalid
223.0ms	3×	4096	invalid

Compiler

Compiled 6624 to 3672 computations (44.6% saved)

Precisions

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

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

Operation ival-pow, time spent: 3.6s, 20.0% of total-time

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

Operation ival-add, time spent: 2.2s, 13.0% of total-time

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

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

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

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

Operation ival-cbrt, time spent: 420.0ms, 2.0% of total-time

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

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

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

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

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

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

eval17.8s (20.4%)

Compiler: Compiled 861233 to 588157 computations (31.7% saved)

sample15.3s (17.5%)

Results

8.6s	62935×	256	valid
1.3s	7188×	256	infinite
1.6s	4181×	2048	valid
387.0ms	1948×	256	invalid

Precisions

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

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

Operation ival-div, time spent: 1.1s, 17.0% of total-time

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

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

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

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

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

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

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

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

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

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

Bogosity

simplify6.3s (7.2%)

Algorithm

32×	egg-herbie

Rules

19142×	`distribute-lft-in`
15472×	`distribute-rgt-in`
15092×	`*-commutative`
14896×	`fma-define`
13394×	`times-frac`

Stop Event

9×	saturated
5×	fuel
23×	node limit
4×	done

Counts

9457 → 9351

Compiler

Compiled 866 to 585 computations (32.4% saved)

prune5.7s (6.6%)

Counts: 19996 → 321
Compiler: Compiled 17974 to 12229 computations (32% saved)

preprocess4.8s (5.5%)

Algorithm

9×	egg-herbie

Rules

6570×	`fma-neg`
5642×	`fma-define`
3004×	`times-frac`
2940×	`div-sub`
2342×	`sub-neg`

Stop Event

5×	saturated
4×	node limit

Results

773.0ms	3394×	256	valid
785.0ms	492×	2048	valid
46.0ms	350×	256	infinite
340.0ms	174×	1024	valid
127.0ms	72×	512	valid
151.0ms	50×	4096	valid
105.0ms	38×	4096	infinite
64.0ms	32×	2048	infinite
10.0ms	6×	1024	infinite

Compiler

Compiled 3252 to 1927 computations (40.7% saved)

Precisions

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

Operation ival-mult, time spent: 599.0ms, 39.0% of total-time

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

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

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

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

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

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

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

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

Operation ival-log, time spent: 21.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

rewrite4.4s (5%)

Algorithm

23×	batch-egg-rewrite

Rules

14073×	`log1p-expm1-u`
9161×	`expm1-log1p-u`
7614×	`unpow-prod-down`
5854×	`add-exp-log`
5824×	`log-prod`

Stop Event

23×	node limit

Counts

154 → 5441

soundness3.8s (4.4%)

Rules

10070×	`fma-define`
10036×	`fma-neg`
7454×	`distribute-lft-in`
7288×	`distribute-rgt-in`
7166×	`times-frac`

Stop Event

2×	saturated
14×	node limit

Compiler

Compiled 3380 to 2105 computations (37.7% saved)

regimes2.1s (2.4%)

Counts

378 → 64

Calls

26 calls:

409.0ms	a
362.0ms	c
269.0ms	b
227.0ms	y
202.0ms	x

Compiler

Compiled 482 to 339 computations (29.7% saved)

series1.4s (1.6%)

Counts

154 → 4016

Calls

873 calls:

Time	Variable		Point	Expression
83.0ms	f	@	inf	(sqrt (- n f))
45.0ms	a	@	0	(exp (* 1/4 (+ (log (* 4 a)) (* -1 (log (/ -1 c))))))
45.0ms	c	@	-inf	(pow (exp 1/4) (+ (log (* c -4)) (log a)))
37.0ms	c	@	0	(pow (exp 1/4) (+ (log (* c -4)) (log a)))
36.0ms	x	@	inf	(pow (cbrt (exp (+ (* x x) -1))) 15/4)

analyze775.0ms (0.9%)

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

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

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

Operation ival-div, time spent: 50.0ms, 12.0% of total-time

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

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

Operation ival-if, time spent: 23.0ms, 5.0% of total-time

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

Operation ival-neg, 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-exp, time spent: 0.0ms, 0.0% of total-time

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

bsearch671.0ms (0.8%)

Algorithm

27×	binary-search

Stop Event

4×	predicate-same
23×	narrow-enough

Results

387.0ms	2898×	256	valid
51.0ms	414×	256	infinite
19.0ms	119×	256	invalid

Compiler

Compiled 6831 to 4898 computations (28.3% saved)

Precisions

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

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

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

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

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

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

Operation ival-fabs, time spent: 12.0ms, 5.0% of total-time

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

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

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

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

Herbie run

localize24.1s (27.7%)

eval17.8s (20.4%)

sample15.3s (17.5%)

simplify6.3s (7.2%)

prune5.7s (6.6%)

preprocess4.8s (5.5%)

rewrite4.4s (5%)

soundness3.8s (4.4%)

regimes2.1s (2.4%)

series1.4s (1.6%)

analyze775.0ms (0.9%)

bsearch671.0ms (0.8%)

end1.0ms (0%)

Profiling