Metrics for Herbie run

Date:	Wednesday, January 17th, 2024
Commit:	56550702 on mix-histograms
Hostname:	nightly with Racket 8.6
Seed:	2024017
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

sample2.2min (20.5%)

Results

58.3s	179926×	body	256	valid
19.4s	67300×	body	256	invalid
11.1s	42612×	body	256	infinite
9.9s	10723×	body	1024	valid
9.6s	9521×	body	2048	valid
5.5s	5737×	body	1024	invalid
5.0s	8299×	body	512	valid
2.6s	2053×	body	4096	valid
2.3s	676×	body	4096	infinite
2.2s	3020×	body	512	invalid
1.5s	635×	body	2048	infinite
1.0s	756×	body	8192	valid
263.0ms	342×	body	1024	infinite
220.0ms	393×	body	512	infinite
77.0ms	189×	body	256	unsamplable
16.0ms	12×	body	8192	exit

Precisions

Click to see histograms

Operation ival-tan, total time spent: 4741.0ms

Operation ival-sub, total time spent: 5133.0ms

Operation ival-sqrt, total time spent: 5127.0ms

Operation ival-sin, total time spent: 4340.0ms

Operation ival-pow, total time spent: 7589.0ms

Operation ival-pi, total time spent: 463.0ms

Operation ival-neg, total time spent: 1286.0ms

Operation ival-mult, total time spent: 16341.0ms

Operation ival-log, total time spent: 932.0ms

Operation ival-hypot, total time spent: 359.0ms

Operation ival-fabs, total time spent: 380.0ms

Operation ival-exp, total time spent: 2901.0ms

Operation ival-div, total time spent: 11205.0ms

Operation ival-cos, total time spent: 1468.0ms

Operation ival-asin, total time spent: 307.0ms

Operation ival-and, total time spent: 24.0ms

Operation ival-add, total time spent: 3903.0ms

Operation ival-acos, total time spent: 1568.0ms

Operation ival-<, total time spent: 206.0ms

Operation const, total time spent: 2139.0ms

Bogosity

localize1.9min (17.9%)

Compiler: Compiled 37471 to 19367 computations (48.3% saved)
Precisions: Click to see histograms
Operation ival-tan, total time spent: 3609.0ms
Operation ival-sub, total time spent: 2953.0ms
Operation ival-sqrt, total time spent: 4027.0ms
Operation ival-sin, total time spent: 435.0ms
Operation ival-pow, total time spent: 15672.0ms
Operation ival-pi, total time spent: 168.0ms
Operation ival-neg, total time spent: 719.0ms
Operation ival-mult, total time spent: 12012.0ms
Operation ival-log1p, total time spent: 992.0ms
Operation ival-log, total time spent: 1303.0ms
Operation ival-hypot, total time spent: 949.0ms
Operation ival-fma, total time spent: 3088.0ms
Operation ival-fabs, total time spent: 11.0ms
Operation ival-expm1, total time spent: 512.0ms
Operation ival-exp, total time spent: 1204.0ms
Operation ival-div, total time spent: 9543.0ms
Operation ival-cos, total time spent: 1906.0ms
Operation ival-cbrt, total time spent: 503.0ms
Operation ival-asin, total time spent: 2123.0ms
Operation ival-add, total time spent: 3492.0ms
Operation ival-acos, total time spent: 1454.0ms
Operation const, total time spent: 2468.0ms

soundness1.6min (14.7%)

Rules

161222×	`fma-def`
131312×	`associate-r`
116618×	`times-frac`
106574×	`log-prod`
94832×	`associate-l`

Stop Event

3×	saturated
1×	unsound
327×	node limit

Compiler

Compiled 32314 to 19809 computations (38.7% saved)

eval1.0min (9.9%)

Compiler: Compiled 2597156 to 1649482 computations (36.5% saved)

regimes1.0min (9.5%)

Counts

9265 → 752

Calls

152 calls:

6.1s	l
3.6s	t
3.2s	Vef
2.5s	k
2.4s	NaChar

Compiler

Compiled 143782 to 84168 computations (41.5% saved)

simplify42.1s (6.7%)

Algorithm

148×	egg-herbie

Rules

96194×	`fma-def`
68542×	`times-frac`
66850×	`associate-r`
56382×	`*-commutative`
54150×	`log-prod`

Stop Event

3×	done
31×	saturated
28×	fuel
117×	node limit

Counts

62212 → 51084

Compiler

Compiled 13307 to 8684 computations (34.7% saved)

rewrite27.4s (4.3%)

Algorithm

117×	batch-egg-rewrite

Rules

55377×	`log1p-expm1-u`
41092×	`expm1-udef`
39591×	`expm1-log1p-u`
33636×	`prod-diff`
32632×	`log1p-udef`

Stop Event

1×	unsound
116×	node limit

Counts

1222 → 33933

prune26.1s (4.1%)

Counts: 77076 → 2994
Compiler: Compiled 228353 to 162755 computations (28.7% saved)

bsearch25.0s (4%)

Algorithm

373×	binary-search
67×	left-value

Stop Event

359×	narrow-enough
14×	predicate-same

Results

13.6s	35373×	body	256	valid
3.8s	10317×	body	256	invalid
2.7s	6967×	body	256	infinite
854.0ms	286×	body	2048	infinite
805.0ms	197×	body	4096	infinite
572.0ms	513×	body	2048	valid
512.0ms	521×	body	1024	valid
339.0ms	209×	body	4096	valid
161.0ms	304×	body	512	valid
120.0ms	140×	body	1024	infinite
100.0ms	27×	body	8192	valid
86.0ms	57×	body	1024	invalid
31.0ms	71×	body	512	infinite
16.0ms	33×	body	512	invalid

Compiler

Compiled 119883 to 90224 computations (24.7% saved)

Precisions

Click to see histograms

Operation ival-tan, total time spent: 1349.0ms

Operation ival-sub, total time spent: 676.0ms

Operation ival-sqrt, total time spent: 372.0ms

Operation ival-sin, total time spent: 853.0ms

Operation ival-pow, total time spent: 1763.0ms

Operation ival-pi, total time spent: 2.0ms

Operation ival-neg, total time spent: 375.0ms

Operation ival-mult, total time spent: 2708.0ms

Operation ival-hypot, total time spent: 28.0ms

Operation ival-fabs, total time spent: 6.0ms

Operation ival-exp, total time spent: 237.0ms

Operation ival-div, total time spent: 2542.0ms

Operation ival-cos, total time spent: 133.0ms

Operation ival-asin, total time spent: 4.0ms

Operation ival-add, total time spent: 970.0ms

Operation const, total time spent: 330.0ms

preprocess23.4s (3.7%)

Algorithm

31×	egg-herbie

Rules

40752×	`fma-def`
16598×	`fma-neg`
15324×	`div-sub`
14446×	`distribute-lft-neg-in`
13254×	`associate-/l*`

Stop Event

4×	saturated
27×	node limit

Compiler

Compiled 58550 to 36005 computations (38.5% saved)

Precisions

Click to see histograms

Operation ival-tan, total time spent: 378.0ms

Operation ival-sub, total time spent: 529.0ms

Operation ival-sqrt, total time spent: 244.0ms

Operation ival-sin, total time spent: 119.0ms

Operation ival-pow, total time spent: 683.0ms

Operation ival-pi, total time spent: 37.0ms

Operation ival-neg, total time spent: 175.0ms

Operation ival-mult, total time spent: 1275.0ms

Operation ival-log, total time spent: 52.0ms

Operation ival-hypot, total time spent: 61.0ms

Operation ival-fabs, total time spent: 2.0ms

Operation ival-exp, total time spent: 221.0ms

Operation ival-div, total time spent: 755.0ms

Operation ival-cos, total time spent: 143.0ms

Operation ival-asin, total time spent: 7.0ms

Operation ival-add, total time spent: 274.0ms

Operation ival-acos, total time spent: 29.0ms

Operation const, total time spent: 180.0ms

analyze16.2s (2.6%)

Algorithm

31×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	98.2%	1.8%	0%	0%	0%	0
23%	22.6%	75.6%	1.8%	0%	0%	0%	1
24.2%	23.3%	73.2%	1.8%	0%	1.6%	0%	2
29.6%	27.4%	65.2%	1.8%	0%	5.6%	0%	3
33.6%	30.4%	60.2%	1.8%	0%	7.3%	0.4%	4
35.9%	32.4%	57.9%	1.8%	0%	7.3%	0.6%	5
40.2%	36.2%	53.8%	1.8%	0%	7.5%	0.7%	6
45.3%	40.3%	48.7%	1.8%	0%	8.1%	1.1%	7
47.6%	41.8%	45.9%	1.8%	0%	9.4%	1.2%	8
50.6%	44.1%	43.1%	1.8%	0%	9.7%	1.2%	9
51.8%	44.9%	41.8%	1.8%	0%	10.1%	1.3%	10
53.5%	46.1%	40.1%	1.8%	0%	10.7%	1.3%	11
55.2%	47.2%	38.3%	1.8%	0%	11.3%	1.4%	12

Compiler

Compiled 845 to 607 computations (28.2% saved)

Precisions

Click to see histograms

Operation ival-tan, total time spent: 176.0ms

Operation ival-sub, total time spent: 364.0ms

Operation ival-sqrt, total time spent: 628.0ms

Operation ival-sin, total time spent: 265.0ms

Operation ival-pow, total time spent: 3496.0ms

Operation ival-pi, total time spent: 38.0ms

Operation ival-neg, total time spent: 84.0ms

Operation ival-mult, total time spent: 2051.0ms

Operation ival-log, total time spent: 21.0ms

Operation ival-hypot, total time spent: 0.0ms

Operation ival-fabs, total time spent: 14.0ms

Operation ival-exp, total time spent: 89.0ms

Operation ival-div, total time spent: 1059.0ms

Operation ival-cos, total time spent: 44.0ms

Operation ival-asin, total time spent: 456.0ms

Operation ival-and, total time spent: 4.0ms

Operation ival-add, total time spent: 542.0ms

Operation ival-acos, total time spent: 150.0ms

Operation ival-<, total time spent: 21.0ms

Operation const, total time spent: 249.0ms

series13.4s (2.1%)

Counts

1222 → 28279

Calls

8577 calls:

Time	Variable		Point	Expression
328.0ms	M	@	inf	(fma.f64 (/.f64 (/.f64 c0 w) h) (.f64 (/.f64 d D) (/.f64 d D)) (sqrt.f64 (.f64 (+.f64 (.f64 (/.f64 c0 (.f64 w h)) (pow.f64 (/.f64 d D) 2)) M) (fma.f64 (/.f64 (.f64 d d) (.f64 w (*.f64 h D))) (/.f64 c0 D) (neg.f64 M)))))
282.0ms	D	@	inf	(.f64 (/.f64 (/.f64 c0 w) 2) (fma.f64 (/.f64 (/.f64 c0 w) h) (.f64 (/.f64 d D) (/.f64 d D)) (neg.f64 (/.f64 (/.f64 c0 w) (/.f64 (*.f64 (pow.f64 D 2) h) (pow.f64 d 2))))))
222.0ms	c0	@	0	(.f64 (/.f64 (/.f64 c0 w) 2) (fma.f64 (/.f64 (/.f64 c0 w) h) (.f64 (/.f64 d D) (/.f64 d D)) (neg.f64 (/.f64 (/.f64 c0 w) (/.f64 (*.f64 (pow.f64 D 2) h) (pow.f64 d 2))))))
214.0ms	w	@	0	(.f64 (/.f64 (/.f64 c0 w) 2) (fma.f64 (/.f64 (/.f64 c0 w) h) (.f64 (/.f64 d D) (/.f64 d D)) (neg.f64 (/.f64 (/.f64 c0 w) (/.f64 (*.f64 (pow.f64 D 2) h) (pow.f64 d 2))))))
193.0ms	d	@	-inf	(pow.f64 (/.f64 d l) 1/4)

Herbie run

sample2.2min (20.5%)

localize1.9min (17.9%)

soundness1.6min (14.7%)

eval1.0min (9.9%)

regimes1.0min (9.5%)

simplify42.1s (6.7%)

rewrite27.4s (4.3%)

prune26.1s (4.1%)

bsearch25.0s (4%)

preprocess23.4s (3.7%)

analyze16.2s (2.6%)

series13.4s (2.1%)

end24.0ms (0%)

Profiling