Metrics for Herbie run

Date:	Friday, April 5th, 2024
Commit:	e8a91f21 on egg-serialize
Hostname:	nightly with Racket 8.11.1
Seed:	2024096
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

sample26.4min (24.2%)

Results

8.6min	3340034×	0	valid
1.5min	534808×	0	infinite
3.2min	453109×	1	valid
28.0s	180561×	0	invalid
26.4s	143745×	0	precondition
3.5min	94376×	5	exit
1.4min	92398×	2	valid
14.6s	60888×	0	unsamplable
11.7s	16822×	1	infinite
1.0min	15828×	3	valid
7.3s	15004×	1	invalid
23.9s	2156×	4	valid
4.0s	1895×	2	infinite
4.5s	1199×	3	infinite
816.0ms	1198×	2	invalid
44.0ms	51×	1	unsamplable
18.0ms	6×	5	valid
33.0ms	3×	4	infinite
1.0ms	1×	2	unsamplable

Precisions

Click to see histograms. Total time spent on operations: 15.0min

ival-mult: 2.9min (19.1% of total)

ival-pow: 1.8min (12.3% of total)

ival-sin: 1.4min (9.6% of total)

ival-div: 1.4min (9.3% of total)

backward-pass: 1.2min (7.8% of total)

ival-add: 1.1min (7.5% of total)

ival-sub: 1.0min (6.7% of total)

ival-cos: 52.4s (5.8% of total)

ival-exp: 42.9s (4.8% of total)

ival-log: 24.8s (2.8% of total)

ival-sqrt: 22.1s (2.5% of total)

ival-<=: 19.1s (2.1% of total)

ival-tan: 17.0s (1.9% of total)

const: 15.2s (1.7% of total)

ival-fabs: 8.4s (0.9% of total)

composed: 8.1s (0.9% of total)

ival-neg: 7.9s (0.9% of total)

ival-<: 6.5s (0.7% of total)

ival-and: 3.7s (0.4% of total)

ival-pi: 3.1s (0.3% of total)

ival->: 2.6s (0.3% of total)

ival-acos: 1.9s (0.2% of total)

ival-asin: 1.9s (0.2% of total)

ival-atan2: 1.8s (0.2% of total)

ival-atan: 1.7s (0.2% of total)

ival-sinh: 1.3s (0.1% of total)

ival-cbrt: 916.0ms (0.1% of total)

ival-fmin: 909.0ms (0.1% of total)

ival-fmod: 865.0ms (0.1% of total)

ival-==: 841.0ms (0.1% of total)

ival-floor: 786.0ms (0.1% of total)

ival-cosh: 510.0ms (0.1% of total)

ival-if: 480.0ms (0.1% of total)

ival->=: 465.0ms (0.1% of total)

ival-fmax: 299.0ms (0% of total)

ival-acosh: 278.0ms (0% of total)

ival-asinh: 250.0ms (0% of total)

ival-atanh: 155.0ms (0% of total)

ival-log2: 119.0ms (0% of total)

ival-tanh: 98.0ms (0% of total)

ival-or: 84.0ms (0% of total)

Bogosity

localize24.7min (22.6%)

Results

4.4min	328530×	256	valid
32.4s	45911×	256	infinite
42.7s	29415×	256	invalid
2.1min	20904×	1024	valid
2.1min	13506×	2048	valid
44.3s	11852×	512	valid
8.2min	9837×	8192	exit
3.3s	1958×	256	unsamplable
1.1min	1254×	4096	valid
13.2s	1100×	1024	infinite
10.1s	748×	2048	infinite
3.0s	498×	512	infinite
5.0s	304×	4096	infinite
6.1s	284×	1024	invalid
2.4s	191×	512	invalid
10.0s	71×	8192	valid
1.3s	47×	2048	invalid
1.7s	25×	8192	infinite
170.0ms	16×	2048	unsamplable
34.0ms	15×	1024	unsamplable
15.0ms	13×	512	unsamplable

Compiler

Compiled 442795 to 202422 computations (54.3% saved)

Precisions

Click to see histograms. Total time spent on operations: 19.1min

ival-mult: 3.4min (17.8% of total)

ival-pow: 2.9min (15.3% of total)

ival-sin: 2.4min (12.6% of total)

ival-cos: 1.9min (9.8% of total)

ival-tan: 1.5min (7.7% of total)

ival-div: 1.5min (7.6% of total)

composed: 1.1min (5.6% of total)

ival-add: 1.0min (5.3% of total)

ival-log: 37.6s (3.3% of total)

ival-sub: 35.9s (3.1% of total)

ival-atan: 28.5s (2.5% of total)

ival-exp: 24.8s (2.2% of total)

ival-sqrt: 22.4s (2% of total)

ival-asin: 18.6s (1.6% of total)

const: 15.5s (1.4% of total)

ival-cbrt: 7.2s (0.6% of total)

ival-atan2: 3.5s (0.3% of total)

ival-acos: 3.2s (0.3% of total)

ival-fmax: 3.1s (0.3% of total)

ival-neg: 3.0s (0.3% of total)

ival-fmod: 1.4s (0.1% of total)

ival-fabs: 793.0ms (0.1% of total)

ival-pi: 484.0ms (0% of total)

ival->=: 381.0ms (0% of total)

ival-if: 353.0ms (0% of total)

ival-sinh: 300.0ms (0% of total)

ival-e: 189.0ms (0% of total)

ival-cosh: 168.0ms (0% of total)

ival->: 122.0ms (0% of total)

ival-floor: 90.0ms (0% of total)

ival-copysign: 88.0ms (0% of total)

ival-log2: 75.0ms (0% of total)

ival-<: 29.0ms (0% of total)

ival-tanh: 13.0ms (0% of total)

eval11.3min (10.3%)

Compiler: Compiled 36979739 to 17450110 computations (52.8% saved)

soundness6.9min (6.3%)

Rules

560541×	`fma-define`
485338×	`log1p-expm1-u`
396920×	`fma-neg`
358383×	`expm1-log1p-u`
330941×	`times-frac`

Stop Event

137×	saturated
330×	fuel
1703×	node limit
208×	done

Compiler

Compiled 386083 to 213604 computations (44.7% saved)

simplify6.7min (6.1%)

Algorithm

2252×

egg-herbie

Rules

674973×	`fma-define`
521851×	`*-commutative`
492050×	`times-frac`
477795×	`fma-neg`
446536×	`distribute-lft-in`

Stop Event

541×	saturated
1697×	node limit
14×	unsound

Counts

892231 → 686982

rewrite6.2min (5.7%)

Algorithm

1714×

batch-egg-rewrite

Rules

1141813×	`log1p-expm1-u`
841314×	`expm1-log1p-u`
366536×	`pow1`
352588×	`add-exp-log`
339128×	`add-log-exp`

Stop Event

1×	saturated
1702×	node limit
11×	unsound

Counts

13206 → 565908

analyze6.0min (5.5%)

Algorithm

544×	search
2×	random

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	84.4%	15.6%	0%	0%	0%	0
39.4%	33.3%	51.1%	15.6%	0%	0%	0%	1
45.3%	37.9%	45.7%	15.6%	0%	0.7%	0%	2
54.4%	44.4%	37.2%	15.8%	0%	2.7%	0%	3
61.1%	49.2%	31.4%	15.8%	0%	3.6%	0%	4
67.2%	53.9%	26.3%	15.8%	0%	4%	0%	5
71.1%	56.7%	23%	15.9%	0%	4.3%	0%	6
75%	59.4%	19.8%	15.9%	0%	4.8%	0.1%	7
77%	60.7%	18.1%	15.9%	0%	5.2%	0.1%	8
79.6%	62.5%	16%	16%	0%	5.4%	0.1%	9
81.2%	63.5%	14.7%	16%	0%	5.7%	0.1%	10
83.4%	65.1%	12.9%	16%	0%	5.8%	0.1%	11
84.5%	65.8%	12%	16%	0%	6%	0.1%	12

Compiler

Compiled 13430 to 8677 computations (35.4% saved)

Precisions

Click to see histograms. Total time spent on operations: 3.4min

ival-mult: 58.6s (28.7% of total)

ival-<=: 37.6s (18.4% of total)

ival-fabs: 22.8s (11.2% of total)

ival-add: 14.0s (6.9% of total)

ival-floor: 10.2s (5% of total)

ival-div: 9.6s (4.7% of total)

ival-pow: 6.3s (3.1% of total)

ival-and: 6.3s (3.1% of total)

ival-sqrt: 5.9s (2.9% of total)

ival-sub: 5.4s (2.6% of total)

ival-log2: 5.2s (2.5% of total)

const: 4.0s (2% of total)

ival-fmax: 3.2s (1.6% of total)

ival-sin: 3.0s (1.5% of total)

ival-cos: 2.5s (1.2% of total)

ival-if: 1.6s (0.8% of total)

ival-tan: 1.5s (0.8% of total)

ival-==: 1.2s (0.6% of total)

ival-<: 968.0ms (0.5% of total)

ival-log: 826.0ms (0.4% of total)

ival-exp: 696.0ms (0.3% of total)

ival-neg: 620.0ms (0.3% of total)

ival->: 493.0ms (0.2% of total)

ival->=: 328.0ms (0.2% of total)

ival-atan2: 207.0ms (0.1% of total)

ival-or: 172.0ms (0.1% of total)

ival-pi: 136.0ms (0.1% of total)

ival-acos: 124.0ms (0.1% of total)

ival-atan: 116.0ms (0.1% of total)

ival-asin: 84.0ms (0% of total)

ival-fmod: 45.0ms (0% of total)

ival-sinh: 34.0ms (0% of total)

ival-cbrt: 19.0ms (0% of total)

ival-cosh: 17.0ms (0% of total)

ival-tanh: 9.0ms (0% of total)

ival-fmin: 8.0ms (0% of total)

ival-atanh: 1.0ms (0% of total)

composed: 0.0ms (0% of total)

ival-asinh: 0.0ms (0% of total)

ival-acosh: 0.0ms (0% of total)

prune5.0min (4.6%)

Counts: 1033550 → 35108
Compiler: Compiled 1661535 to 1115585 computations (32.9% saved)

regimes4.4min (4%)

Counts

83522 → 9036

Calls

1185 calls:

24.2s	x
22.0s	z
20.9s	y
16.8s	t
15.0s	a

Compiler

Compiled 87113 to 65869 computations (24.4% saved)

explain4.2min (3.8%)

Results

1.1min	208684×	256	valid
9.6s	32118×	256	infinite
30.6s	15568×	1024	valid
9.6s	8960×	512	valid
24.5s	7636×	2048	valid
32.1s	1256×	4096	valid
5.1s	1050×	1024	infinite
1.6s	488×	512	infinite
2.3s	344×	2048	infinite
15.1s	148×	8192	valid
1.7s	124×	4096	infinite
519.0ms	102×	8192	exit
514.0ms	2×	8192	infinite

Compiler

Compiled 96190 to 46852 computations (51.3% saved)

Precisions

Click to see histograms. Total time spent on operations: 2.6min

ival-mult: 32.1s (20.6% of total)

ival-sin: 25.5s (16.3% of total)

ival-div: 21.7s (14% of total)

ival-cos: 20.4s (13.1% of total)

ival-pow: 16.6s (10.6% of total)

ival-add: 10.6s (6.8% of total)

ival-sub: 9.1s (5.8% of total)

ival-log: 5.6s (3.6% of total)

ival-tan: 2.9s (1.9% of total)

ival-sqrt: 2.8s (1.8% of total)

const: 2.6s (1.7% of total)

ival-exp: 2.5s (1.6% of total)

ival-atan: 824.0ms (0.5% of total)

ival-neg: 562.0ms (0.4% of total)

composed: 488.0ms (0.3% of total)

ival-atan2: 460.0ms (0.3% of total)

ival-asin: 436.0ms (0.3% of total)

ival-acos: 161.0ms (0.1% of total)

ival-pi: 135.0ms (0.1% of total)

ival-cbrt: 98.0ms (0.1% of total)

ival-sinh: 92.0ms (0.1% of total)

ival-fabs: 74.0ms (0% of total)

ival-fmod: 52.0ms (0% of total)

ival-fmax: 45.0ms (0% of total)

ival-floor: 41.0ms (0% of total)

ival->=: 38.0ms (0% of total)

ival-if: 31.0ms (0% of total)

ival-copysign: 15.0ms (0% of total)

ival-cosh: 13.0ms (0% of total)

ival-tanh: 9.0ms (0% of total)

ival-log2: 9.0ms (0% of total)

ival->: 5.0ms (0% of total)

ival-<: 4.0ms (0% of total)

bsearch2.8min (2.6%)

Algorithm

4528×	binary-search
552×	left-value

Stop Event

106×	predicate-same
4422×	narrow-enough

Results

1.2min	413720×	0	valid
33.1s	107652×	0	infinite
12.9s	25340×	1	valid
2.7s	18820×	0	invalid
2.1s	3252×	2	valid
1.1s	1856×	1	infinite
743.0ms	900×	3	valid
116.0ms	129×	4	valid
16.0ms	111×	0	unsamplable
46.0ms	43×	2	infinite
12.0ms	30×	1	invalid
20.0ms	4×	3	infinite
2.0ms	4×	2	invalid
4.0ms	2×	5	exit

Compiler

Compiled 1111213 to 823347 computations (25.9% saved)

Precisions

Click to see histograms. Total time spent on operations: 1.2min

ival-mult: 27.5s (37.3% of total)

ival-sub: 11.9s (16.2% of total)

ival-add: 9.6s (13% of total)

ival-div: 7.2s (9.8% of total)

ival-sin: 3.0s (4.1% of total)

ival-pow: 2.5s (3.5% of total)

backward-pass: 2.2s (3% of total)

ival-log: 2.1s (2.9% of total)

ival-cos: 2.0s (2.7% of total)

ival-sqrt: 1.6s (2.1% of total)

const: 1.2s (1.6% of total)

ival-exp: 1.1s (1.5% of total)

ival-tan: 500.0ms (0.7% of total)

ival-neg: 449.0ms (0.6% of total)

ival-atan2: 249.0ms (0.3% of total)

ival-fabs: 131.0ms (0.2% of total)

ival-acos: 128.0ms (0.2% of total)

ival-atan: 119.0ms (0.2% of total)

ival-pi: 72.0ms (0.1% of total)

ival->=: 24.0ms (0% of total)

ival-if: 22.0ms (0% of total)

ival-copysign: 19.0ms (0% of total)

ival-asin: 16.0ms (0% of total)

ival-tanh: 14.0ms (0% of total)

ival-sinh: 8.0ms (0% of total)

ival-cosh: 7.0ms (0% of total)

ival-cbrt: 3.0ms (0% of total)

preprocess2.6min (2.4%)

Algorithm

540×	egg-herbie

Rules

253965×	`fma-define`
251881×	`fma-neg`
117280×	`unsub-neg`
100884×	`sub-neg`
93755×	`distribute-lft-in`

Stop Event

293×	saturated
247×	node limit

Compiler

Compiled 353464 to 194686 computations (44.9% saved)

series2.0min (1.8%)

Counts

13206 → 326323

Calls

81822 calls:

Time	Variable		Point	Expression
2.0s	h	@	inf	(pow (cbrt (pow (fmax (pow (sqrt (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v)))) 2) (pow (sqrt (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) 2)) -1/2)) 3)
1.4s	sin2phi	@	0	(/ (+ (/ cos2phi (pow alphax 2)) (* sin2phi (pow alphay -2))) (log (+ 1 u0)))
326.0ms	eps	@	0	(* (- (/ 1 eps) 1) (exp (neg (* (+ 1 eps) x))))
326.0ms	g	@	0	(cbrt (/ (* 2 a) g))
299.0ms	x	@	inf	(- (log 2) (log (+ 1 (pow (exp -2) x))))

end3.0ms (0%)

Precisions: Click to see histograms. Total time spent on operations: 6.6s
ival-mult: 3.8s (58.3% of total)
ival-add: 2.8s (41.7% of total)

sample26.4min (24.2%)

localize24.7min (22.6%)

eval11.3min (10.3%)

soundness6.9min (6.3%)

simplify6.7min (6.1%)

rewrite6.2min (5.7%)

analyze6.0min (5.5%)

prune5.0min (4.6%)

regimes4.4min (4%)

explain4.2min (3.8%)

bsearch2.8min (2.6%)

preprocess2.6min (2.4%)

series2.0min (1.8%)

end3.0ms (0%)

Profiling