Metrics for Herbie run

Date:	Saturday, February 24th, 2024
Commit:	79d5306a on longer-taylor
Hostname:	nightly with Racket 8.11.1
Seed:	2024055
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

eval26.7s (27%)

Compiler: Compiled 1237460 to 872648 computations (29.5% saved)

localize19.1s (19.2%)

Results

4.0s	4396×	256	valid
2.8s	1214×	256	invalid
595.0ms	418×	256	infinite
2.7s	232×	2048	valid
1.1s	192×	1024	valid
353.0ms	79×	512	valid
1.0s	56×	4096	valid
222.0ms	16×	1024	invalid
305.0ms	15×	2048	invalid
124.0ms	12×	2048	infinite
163.0ms	11×	4096	infinite
61.0ms	8×	512	invalid
228.0ms	3×	4096	invalid
14.0ms	2×	1024	infinite
16.0ms	2×	8192	exit

Compiler

Compiled 7049 to 3886 computations (44.9% saved)

Precisions

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

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

Operation ival-div, time spent: 1.6s, 13.0% of total-time

Operation ival-sqrt, time spent: 1.4s, 12.0% of total-time

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

Operation ival-pow, time spent: 1.1s, 10.0% of total-time

Operation ival-add, time spent: 1.1s, 9.0% of total-time

Operation ival-sub, time spent: 686.0ms, 6.0% of total-time

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

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

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

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

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

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

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

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

sample15.9s (16%)

Results

9.3s	63033×	256	valid
974.0ms	7177×	256	infinite
1.7s	4094×	2048	valid
539.0ms	1885×	256	invalid

Precisions

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

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

Operation ival-sqrt, time spent: 1.5s, 21.0% of total-time

Operation ival-div, time spent: 1.3s, 19.0% of total-time

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

Operation ival-neg, time spent: 437.0ms, 6.0% of total-time

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

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

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

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

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

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

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

Bogosity

simplify8.8s (8.9%)

Algorithm

31×	egg-herbie

Rules

14836×	`fma-define`
14432×	`*-commutative`
12168×	`times-frac`
10576×	`fma-neg`
9482×	`distribute-rgt-in`

Stop Event

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

Counts

11084 → 11115

Compiler

Compiled 1285 to 880 computations (31.5% saved)

prune6.4s (6.5%)

Counts: 20343 → 342
Compiler: Compiled 19309 to 13039 computations (32.5% saved)

soundness6.1s (6.2%)

Rules

13200×	`fma-neg`
12894×	`fma-define`
8698×	`times-frac`
6456×	`associate-r`
6312×	`sub-neg`

Stop Event

2×	saturated
24×	node limit

Compiler

Compiled 4170 to 2489 computations (40.3% saved)

preprocess5.3s (5.4%)

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

766.0ms	3368×	256	valid
963.0ms	482×	2048	valid
51.0ms	382×	256	infinite
329.0ms	176×	1024	valid
237.0ms	62×	4096	valid
94.0ms	56×	512	valid
135.0ms	42×	2048	infinite
112.0ms	36×	4096	infinite
6.0ms	4×	1024	infinite

Compiler

Compiled 4152 to 2463 computations (40.7% saved)

Precisions

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

Operation ival-mult, time spent: 734.0ms, 38.0% of total-time

Operation ival-sqrt, time spent: 449.0ms, 23.0% of total-time

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

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

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

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

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

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

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

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

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

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

rewrite4.2s (4.2%)

Algorithm

22×	batch-egg-rewrite

Rules

12830×	`log1p-expm1-u`
7616×	`prod-diff`
7448×	`expm1-log1p-u`
6302×	`unpow-prod-down`
5689×	`pow1`

Stop Event

22×	node limit

Counts

161 → 5177

series2.7s (2.7%)

Counts

161 → 5907

Calls

900 calls:

Time	Variable		Point	Expression
128.0ms	c	@	0	(* (* 4 a) c)
125.0ms	a	@	inf	(- (/ (sqrt (+ (* b b) (* (sqrt (* a (* c -4))) (sqrt (* a (* c -4)))))) a) (/ b a))
58.0ms	n	@	inf	(log (+ 1 (/ (+ f n) (- n f))))
46.0ms	c	@	inf	(sqrt (+ (* c (* a -4)) (* b b)))
44.0ms	n	@	-inf	(sqrt (exp (/ (+ f n) (- n f))))

regimes2.1s (2.1%)

Counts

510 → 90

Calls

26 calls:

362.0ms	a
348.0ms	c
314.0ms	x
305.0ms	b
193.0ms	y

Compiler

Compiled 502 to 347 computations (30.9% saved)

bsearch1.1s (1.1%)

Algorithm

41×	binary-search
2×	left-value

Stop Event

11×	predicate-same
30×	narrow-enough

Results

673.0ms	4459×	256	valid
39.0ms	341×	256	infinite
28.0ms	168×	256	invalid

Compiler

Compiled 9384 to 6888 computations (26.6% saved)

Precisions

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

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

Operation ival-div, time spent: 69.0ms, 22.0% of total-time

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

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

Operation ival-add, time spent: 34.0ms, 11.0% of total-time

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

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

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

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

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

analyze729.0ms (0.7%)

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

Operation ival-mult, time spent: 168.0ms, 38.0% of total-time

Operation ival-sqrt, time spent: 77.0ms, 17.0% of total-time

Operation ival-div, time spent: 69.0ms, 16.0% of total-time

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

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

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

Operation ival-neg, time spent: 15.0ms, 3.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-if, time spent: 5.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

eval26.7s (27%)

localize19.1s (19.2%)

sample15.9s (16%)

simplify8.8s (8.9%)

prune6.4s (6.5%)

soundness6.1s (6.2%)

preprocess5.3s (5.4%)

rewrite4.2s (4.2%)

series2.7s (2.7%)

regimes2.1s (2.1%)

bsearch1.1s (1.1%)

analyze729.0ms (0.7%)

end1.0ms (0%)

Profiling