Metrics for Herbie run

Date:	Sunday, January 14th, 2024
Commit:	b7cc74a4 on mix-histograms
Hostname:	nightly with Racket 8.6
Seed:	2024014
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

sample1.2min (27.7%)

Results

25.6s	116088×	body	256	valid
15.5s	12775×	body	8192	exit
12.7s	23206×	body	512	valid
9.1s	15925×	body	1024	valid
5.6s	4885×	body	2048	valid
1.2s	2308×	body	1024	invalid
1.1s	5016×	body	256	infinite
1.0s	4922×	body	256	invalid
329.0ms	1189×	body	512	invalid
243.0ms	1193×	body	256	unsamplable
12.0ms	4×	body	8192	invalid
7.0ms	4×	body	4096	invalid

Precisions

Click to see histograms

Operation ival-tan, total time spent: 1257.0ms

Operation ival-sub, total time spent: 1227.0ms

Operation ival-sqrt, total time spent: 2843.0ms

Operation ival-sinh, total time spent: 2407.0ms

Operation ival-sin, total time spent: 1655.0ms

Operation ival-pow, total time spent: 4908.0ms

Operation ival-or, total time spent: 113.0ms

Operation ival-neg, total time spent: 395.0ms

Operation ival-mult, total time spent: 2949.0ms

Operation ival-log, total time spent: 6832.0ms

Operation ival-fmod, total time spent: 852.0ms

Operation ival-exp, total time spent: 2420.0ms

Operation ival-div, total time spent: 1523.0ms

Operation ival-cos, total time spent: 4606.0ms

Operation ival-atan, total time spent: 90.0ms

Operation ival-and, total time spent: 308.0ms

Operation ival-add, total time spent: 1137.0ms

Operation ival-acos, total time spent: 1036.0ms

Operation ival->=, total time spent: 59.0ms

Operation ival->, total time spent: 39.0ms

Operation ival-==, total time spent: 197.0ms

Operation ival-<=, total time spent: 1467.0ms

Operation ival-<, total time spent: 232.0ms

Operation const, total time spent: 706.0ms

Bogosity

localize48.7s (18.5%)

Compiler: Compiled 7981 to 3752 computations (53% saved)
Precisions: Click to see histograms
Operation ival-tan, total time spent: 440.0ms
Operation ival-sub, total time spent: 1846.0ms
Operation ival-sqrt, total time spent: 1311.0ms
Operation ival-sinh, total time spent: 115.0ms
Operation ival-sin, total time spent: 753.0ms
Operation ival-pow, total time spent: 6984.0ms
Operation ival-pi, total time spent: 37.0ms
Operation ival-neg, total time spent: 357.0ms
Operation ival-mult, total time spent: 2920.0ms
Operation ival-log1p, total time spent: 222.0ms
Operation ival-log, total time spent: 1904.0ms
Operation ival-hypot, total time spent: 28.0ms
Operation ival-fmod, total time spent: 760.0ms
Operation ival-fma, total time spent: 614.0ms
Operation ival-fabs, total time spent: 0.0ms
Operation ival-expm1, total time spent: 71.0ms
Operation ival-exp, total time spent: 896.0ms
Operation ival-e, total time spent: 71.0ms
Operation ival-div, total time spent: 1615.0ms
Operation ival-cos, total time spent: 1022.0ms
Operation ival-cbrt, total time spent: 1419.0ms
Operation ival-atan, total time spent: 2.0ms
Operation ival-asin, total time spent: 3738.0ms
Operation ival-add, total time spent: 1074.0ms
Operation ival-acos, total time spent: 2408.0ms
Operation const, total time spent: 753.0ms

soundness28.1s (10.7%)

Rules

58768×	`fma-def`
37616×	`log-prod`
35303×	`log1p-expm1-u`
31550×	`associate-r`
28961×	`expm1-log1p-u`

Stop Event

6×	saturated
1×	unsound
107×	node limit

Compiler

Compiled 10983 to 7094 computations (35.4% saved)

eval27.8s (10.6%)

Compiler: Compiled 1069762 to 594833 computations (44.4% saved)

analyze17.5s (6.7%)

Algorithm

20×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	73.7%	26.3%	0%	0%	0%	0
22.1%	16.3%	57.5%	26.3%	0%	0%	0%	1
44.1%	32.5%	41.2%	26.3%	0%	0%	0%	2
52.6%	38.7%	35%	26.3%	0%	0%	0%	3
61.9%	45.6%	28.1%	26.3%	0%	0%	0%	4
65.2%	47.5%	25.3%	26.3%	0%	0.9%	0%	5
66.8%	48.4%	24%	26.3%	0%	1.1%	0.2%	6
71%	51.1%	20.8%	26.3%	0%	1.6%	0.2%	7
72%	51.6%	20.1%	26.3%	0%	1.8%	0.2%	8
74.2%	53%	18.4%	26.3%	0%	2%	0.2%	9
75.7%	53.9%	17.3%	26.3%	0%	2.2%	0.3%	10
76.4%	54.3%	16.8%	26.3%	0%	2.3%	0.3%	11
77.2%	54.8%	16.2%	26.3%	0%	2.4%	0.3%	12

Compiler

Compiled 295 to 210 computations (28.8% saved)

Precisions

Click to see histograms

Operation ival-tan, total time spent: 1419.0ms

Operation ival-sub, total time spent: 590.0ms

Operation ival-sqrt, total time spent: 61.0ms

Operation ival-sinh, total time spent: 15.0ms

Operation ival-sin, total time spent: 104.0ms

Operation ival-pow, total time spent: 218.0ms

Operation ival-or, total time spent: 233.0ms

Operation ival-neg, total time spent: 20.0ms

Operation ival-mult, total time spent: 170.0ms

Operation ival-log, total time spent: 35.0ms

Operation ival-fmod, total time spent: 39.0ms

Operation ival-exp, total time spent: 59.0ms

Operation ival-div, total time spent: 88.0ms

Operation ival-cos, total time spent: 138.0ms

Operation ival-atan, total time spent: 2.0ms

Operation ival-and, total time spent: 481.0ms

Operation ival-add, total time spent: 939.0ms

Operation ival-acos, total time spent: 0.0ms

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

Operation ival->, total time spent: 0.0ms

Operation ival-==, total time spent: 220.0ms

Operation ival-<=, total time spent: 2136.0ms

Operation ival-<, total time spent: 0.0ms

Operation const, total time spent: 409.0ms

simplify16.8s (6.4%)

Algorithm

81×	egg-herbie

Rules

44770×	`fma-def`
32790×	`log-prod`
27104×	`distribute-lft-in`
25194×	`times-frac`
25022×	`associate-r`

Stop Event

5×	done
4×	unsound
20×	saturated
15×	fuel
57×	node limit

Counts

27669 → 22046

Compiler

Compiled 1483 to 1005 computations (32.2% saved)

rewrite13.5s (5.1%)

Algorithm

61×	batch-egg-rewrite

Rules

34183×	`log1p-expm1-u`
29655×	`expm1-log1p-u`
22924×	`log-prod`
19550×	`prod-diff`
17802×	`expm1-udef`

Stop Event

61×	node limit

Counts

495 → 19515

regimes13.0s (4.9%)

Counts

3342 → 131

Calls

53 calls:

2.2s	a
1.3s	x
1.1s	b
889.0ms	r
546.0ms	y

Compiler

Compiled 40820 to 18628 computations (54.4% saved)

prune12.6s (4.8%)

Counts: 41959 → 1736
Compiler: Compiled 104890 to 69651 computations (33.6% saved)

preprocess6.7s (2.6%)

Algorithm

20×	egg-herbie

Rules

23976×	`fma-def`
6950×	`fma-neg`
6346×	`distribute-lft-neg-in`
5212×	`div-sub`
4916×	`distribute-rgt-neg-in`

Stop Event

12×	saturated
8×	node limit

Compiler

Compiled 8004 to 4647 computations (41.9% saved)

Precisions

Click to see histograms

Operation ival-tan, total time spent: 24.0ms

Operation ival-sub, total time spent: 45.0ms

Operation ival-sqrt, total time spent: 83.0ms

Operation ival-sinh, total time spent: 31.0ms

Operation ival-sin, total time spent: 48.0ms

Operation ival-pow, total time spent: 84.0ms

Operation ival-neg, total time spent: 6.0ms

Operation ival-mult, total time spent: 96.0ms

Operation ival-log, total time spent: 88.0ms

Operation ival-fmod, total time spent: 15.0ms

Operation ival-exp, total time spent: 34.0ms

Operation ival-div, total time spent: 70.0ms

Operation ival-cos, total time spent: 126.0ms

Operation ival-atan, total time spent: 2.0ms

Operation ival-add, total time spent: 48.0ms

Operation ival-acos, total time spent: 35.0ms

Operation const, total time spent: 22.0ms

series4.2s (1.6%)

Counts

495 → 8154

Calls

2313 calls:

Time	Variable		Point	Expression
275.0ms	x	@	0	(.f64 (pow.f64 2 1/8) (.f64 (pow.f64 2 1/4) x))
251.0ms	x	@	-inf	(*.f64 (pow.f64 2 1/4) x)
189.0ms	z	@	-inf	(log1p.f64 (+.f64 (tan.f64 z) (+.f64 (tan.f64 a) x)))
92.0ms	hi	@	inf	(cbrt.f64 (-.f64 -1 (/.f64 hi lo)))
87.0ms	x	@	0	(pow.f64 (*.f64 (pow.f64 x 4) 4) 1/4)

bsearch1.0s (0.4%)

Algorithm

25×	binary-search
10×	left-value

Stop Event

25×	narrow-enough

Results

580.0ms	1307×	body	512	valid
384.0ms	1925×	body	256	valid
8.0ms	32×	body	256	infinite

Compiler

Compiled 4977 to 3699 computations (25.7% saved)

Precisions

Click to see histograms

Operation ival-sub, total time spent: 1.0ms

Operation ival-sin, total time spent: 157.0ms

Operation ival-pow, total time spent: 7.0ms

Operation ival-neg, total time spent: 1.0ms

Operation ival-mult, total time spent: 51.0ms

Operation ival-exp, total time spent: 3.0ms

Operation ival-div, total time spent: 37.0ms

Operation ival-cos, total time spent: 137.0ms

Operation ival-add, total time spent: 32.0ms

Operation ival-acos, total time spent: 3.0ms

Operation const, total time spent: 6.0ms

Herbie run

sample1.2min (27.7%)

localize48.7s (18.5%)

soundness28.1s (10.7%)

eval27.8s (10.6%)

analyze17.5s (6.7%)

simplify16.8s (6.4%)

rewrite13.5s (5.1%)

regimes13.0s (4.9%)

prune12.6s (4.8%)

preprocess6.7s (2.6%)

series4.2s (1.6%)

bsearch1.0s (0.4%)

end2.0ms (0%)

Profiling