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

sample9.5min (32.9%)

Results

2.6min	16545×	body	8192	exit
1.8min	298606×	body	256	valid
1.2min	7384×	body	4096	valid
1.0min	45881×	body	512	valid
46.5s	11024×	body	2048	valid
32.6s	25512×	body	1024	valid
25.3s	1091×	body	8192	valid
11.8s	6073×	body	512	infinite
9.9s	27118×	body	256	infinite
8.9s	26141×	body	256	unsamplable
8.3s	28038×	body	256	invalid
7.6s	695×	body	2048	infinite
6.0s	395×	body	4096	infinite
3.6s	540×	body	1024	infinite
1.9s	1167×	body	2048	invalid
1.9s	1717×	body	1024	invalid
983.0ms	1184×	body	512	invalid
144.0ms	862×	body	256	precondition
7.0ms	7×	body	512	unsamplable
5.0ms	3×	body	1024	unsamplable

Precisions

Click to see histograms

Operation ival-tan, total time spent: 709.0ms

Operation ival-sub, total time spent: 9470.0ms

Operation ival-sqrt, total time spent: 8007.0ms

Operation ival-sin, total time spent: 50545.0ms

Operation ival-pow, total time spent: 177357.0ms

Operation ival-pi, total time spent: 1029.0ms

Operation ival-or, total time spent: 0.0ms

Operation ival-neg, total time spent: 2770.0ms

Operation ival-mult, total time spent: 46197.0ms

Operation ival-log, total time spent: 12121.0ms

Operation ival-fabs, total time spent: 211.0ms

Operation ival-exp, total time spent: 12024.0ms

Operation ival-div, total time spent: 34106.0ms

Operation ival-cos, total time spent: 41899.0ms

Operation ival-cbrt, total time spent: 321.0ms

Operation ival-atan2, total time spent: 1804.0ms

Operation ival-atan, total time spent: 1109.0ms

Operation ival-asin, total time spent: 425.0ms

Operation ival-and, total time spent: 741.0ms

Operation ival-add, total time spent: 11893.0ms

Operation ival-acos, total time spent: 917.0ms

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

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

Operation ival-<, total time spent: 2671.0ms

Operation const, total time spent: 5377.0ms

Bogosity

localize7.3min (25.3%)

Results

Compiler

Compiled 80494 to 43633 computations (45.8% saved)

Precisions

Click to see histograms

Operation ival-tan, total time spent: 542.0ms

Operation ival-sub, total time spent: 3948.0ms

Operation ival-sqrt, total time spent: 4533.0ms

Operation ival-sin, total time spent: 132271.0ms

Operation ival-pow, total time spent: 64620.0ms

Operation ival-pi, total time spent: 560.0ms

Operation ival-neg, total time spent: 408.0ms

Operation ival-mult, total time spent: 39962.0ms

Operation ival-log1p, total time spent: 1534.0ms

Operation ival-log, total time spent: 2150.0ms

Operation ival-hypot, total time spent: 1390.0ms

Operation ival-fma, total time spent: 1984.0ms

Operation ival-fabs, total time spent: 81.0ms

Operation ival-expm1, total time spent: 630.0ms

Operation ival-exp, total time spent: 1531.0ms

Operation ival-div, total time spent: 24278.0ms

Operation ival-cos, total time spent: 34893.0ms

Operation ival-cbrt, total time spent: 2096.0ms

Operation ival-atan2, total time spent: 1656.0ms

Operation ival-atan, total time spent: 782.0ms

Operation ival-asin, total time spent: 97.0ms

Operation ival-add, total time spent: 5836.0ms

Operation ival-acos, total time spent: 492.0ms

Operation const, total time spent: 5308.0ms

eval2.8min (9.6%)

Compiler: Compiled 6551458 to 3718212 computations (43.2% saved)

soundness1.8min (6.1%)

Rules

239798×	`fma-def`
164768×	`associate-r`
123626×	`associate-l`
119052×	`log-prod`
117702×	`fma-neg`

Stop Event

4×	saturated
6×	unsound
362×	node limit

Compiler

Compiled 40285 to 24636 computations (38.8% saved)

regimes1.7min (6%)

Counts

17831 → 770

Calls

134 calls:

10.0s	phi2
7.9s	phi1
7.3s	lambda1
6.2s	lambda2
4.7s	b

Compiler

Compiled 445063 to 236615 computations (46.8% saved)

preprocess1.4min (5%)

Algorithm

51×	egg-herbie

Rules

76366×	`fma-def`
27106×	`div-sub`
26806×	`fma-neg`
24952×	`sub-neg`
22390×	`distribute-lft-in`

Stop Event

8×	saturated
43×	node limit

Compiler

Compiled 53572 to 31435 computations (41.3% saved)

Precisions

Click to see histograms

Operation ival-tan, total time spent: 152.0ms

Operation ival-sub, total time spent: 1250.0ms

Operation ival-sqrt, total time spent: 747.0ms

Operation ival-sin, total time spent: 13499.0ms

Operation ival-pow, total time spent: 10531.0ms

Operation ival-pi, total time spent: 68.0ms

Operation ival-neg, total time spent: 77.0ms

Operation ival-mult, total time spent: 7680.0ms

Operation ival-log, total time spent: 314.0ms

Operation ival-fabs, total time spent: 5.0ms

Operation ival-exp, total time spent: 267.0ms

Operation ival-div, total time spent: 6413.0ms

Operation ival-cos, total time spent: 9507.0ms

Operation ival-cbrt, total time spent: 39.0ms

Operation ival-atan2, total time spent: 90.0ms

Operation ival-atan, total time spent: 113.0ms

Operation ival-asin, total time spent: 19.0ms

Operation ival-add, total time spent: 1427.0ms

Operation ival-acos, total time spent: 29.0ms

Operation const, total time spent: 779.0ms

prune1.1min (3.7%)

Counts: 150624 → 6427
Compiler: Compiled 661767 to 465132 computations (29.7% saved)

analyze1.1min (3.7%)

Algorithm

53×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	79.4%	20.6%	0%	0%	0%	0
14.8%	11.8%	67.6%	20.6%	0%	0%	0%	1
22.6%	17.7%	60.4%	21%	0%	0.9%	0%	2
32.7%	24.7%	50.8%	21.2%	0%	3.3%	0%	3
39.8%	29.8%	45%	21.2%	0%	4%	0%	4
45.4%	33.8%	40.6%	21.2%	0%	4.5%	0%	5
48.4%	35.7%	38%	21.2%	0%	5.1%	0%	6
51.8%	37.8%	35.2%	21.2%	0%	5.7%	0.1%	7
53.5%	38.9%	33.8%	21.3%	0%	6%	0.1%	8
56.4%	40.6%	31.4%	21.3%	0%	6.6%	0.2%	9
57.7%	41.4%	30.3%	21.3%	0%	6.8%	0.2%	10
59.8%	42.7%	28.7%	21.3%	0%	7.1%	0.3%	11
61.3%	43.5%	27.5%	21.3%	0%	7.5%	0.3%	12

Compiler

Compiled 1919 to 1343 computations (30% saved)

Precisions

Click to see histograms

Operation ival-tan, total time spent: 95.0ms

Operation ival-sub, total time spent: 957.0ms

Operation ival-sqrt, total time spent: 841.0ms

Operation ival-sin, total time spent: 5522.0ms

Operation ival-pow, total time spent: 17749.0ms

Operation ival-pi, total time spent: 131.0ms

Operation ival-or, total time spent: 0.0ms

Operation ival-neg, total time spent: 254.0ms

Operation ival-mult, total time spent: 8035.0ms

Operation ival-log, total time spent: 92.0ms

Operation ival-fabs, total time spent: 45.0ms

Operation ival-exp, total time spent: 101.0ms

Operation ival-div, total time spent: 3755.0ms

Operation ival-cos, total time spent: 4492.0ms

Operation ival-cbrt, total time spent: 22.0ms

Operation ival-atan2, total time spent: 167.0ms

Operation ival-atan, total time spent: 77.0ms

Operation ival-asin, total time spent: 70.0ms

Operation ival-and, total time spent: 66.0ms

Operation ival-add, total time spent: 1202.0ms

Operation ival-acos, total time spent: 65.0ms

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

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

Operation ival-<, total time spent: 247.0ms

Operation const, total time spent: 654.0ms

simplify59.1s (3.4%)

Algorithm

207×	egg-herbie

Rules

132928×	`fma-def`
98272×	`associate-r`
85082×	`associate-l`
75620×	`times-frac`
75182×	`log-prod`

Stop Event

2×	unsound
46×	saturated
8×	done
38×	fuel
159×	node limit

Counts

73357 → 60822

Compiler

Compiled 11731 to 7819 computations (33.3% saved)

rewrite37.9s (2.2%)

Algorithm

161×	batch-egg-rewrite

Rules

84245×	`log1p-expm1-u`
64730×	`expm1-log1p-u`
55296×	`expm1-udef`
49098×	`log1p-udef`
45662×	`prod-diff`

Stop Event

3×	unsound
158×	node limit

Counts

1470 → 43165

bsearch22.7s (1.3%)

Algorithm

281×	binary-search
45×	left-value

Stop Event

274×	narrow-enough
7×	predicate-same

Results

9.5s	24519×	body	256	valid
6.4s	6339×	body	512	valid
1.9s	1371×	body	4096	valid
1.2s	1128×	body	2048	valid
904.0ms	2995×	body	256	invalid
767.0ms	827×	body	1024	valid
255.0ms	225×	body	1024	invalid
162.0ms	117×	body	2048	invalid
119.0ms	166×	body	512	invalid
67.0ms	253×	body	256	infinite
6.0ms	11×	body	512	infinite
2.0ms	22×	body	256	unsamplable

Compiler

Compiled 80011 to 59898 computations (25.1% saved)

Precisions

Click to see histograms

Operation ival-tan, total time spent: 0.0ms

Operation ival-sub, total time spent: 848.0ms

Operation ival-sqrt, total time spent: 673.0ms

Operation ival-sin, total time spent: 1758.0ms

Operation ival-pow, total time spent: 1232.0ms

Operation ival-pi, total time spent: 101.0ms

Operation ival-neg, total time spent: 160.0ms

Operation ival-mult, total time spent: 2037.0ms

Operation ival-log, total time spent: 80.0ms

Operation ival-fabs, total time spent: 0.0ms

Operation ival-exp, total time spent: 70.0ms

Operation ival-div, total time spent: 629.0ms

Operation ival-cos, total time spent: 2077.0ms

Operation ival-cbrt, total time spent: 19.0ms

Operation ival-atan2, total time spent: 557.0ms

Operation ival-atan, total time spent: 432.0ms

Operation ival-asin, total time spent: 32.0ms

Operation ival-add, total time spent: 461.0ms

Operation ival-acos, total time spent: 1233.0ms

Operation const, total time spent: 205.0ms

series17.0s (1%)

Counts

1470 → 30192

Calls

8232 calls:

Time	Variable		Point	Expression
808.0ms	phi2	@	-inf	(fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (cos.f64 lambda2)) (.f64 (sin.f64 phi1) (sin.f64 phi2)))
629.0ms	x-scale	@	-inf	(/.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) (pow.f64 y-scale 2)) (+.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64))) b) 2)) (pow.f64 x-scale 2)) (hypot.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64))) b) 2)) (pow.f64 x-scale 2)) (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) (pow.f64 y-scale 2))) (.f64 (/.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64))) y-scale) (/.f64 (.f64 2 (.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))) (-.f64 (pow.f64 b 2) (pow.f64 a 2)))) x-scale))))) (.f64 2 (.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))) (-.f64 (pow.f64 b 2) (pow.f64 a 2)))))
329.0ms	c	@	inf	(pow.f64 (.f64 -9/8 (.f64 (pow.f64 a 2) (pow.f64 c 2))) 2)
329.0ms	a	@	-inf	(-.f64 (exp.f64 (log1p.f64 (.f64 (.f64 (*.f64 a (pow.f64 c 2)) (pow.f64 b -3)) -3/8))) 1)
200.0ms	a	@	0	(-.f64 (exp.f64 (log1p.f64 (*.f64 a (pow.f64 b -3)))) 1)

Herbie run

sample9.5min (32.9%)

localize7.3min (25.3%)

eval2.8min (9.6%)

soundness1.8min (6.1%)

regimes1.7min (6%)

preprocess1.4min (5%)

prune1.1min (3.7%)

analyze1.1min (3.7%)

simplify59.1s (3.4%)

rewrite37.9s (2.2%)

bsearch22.7s (1.3%)

series17.0s (1%)

end27.0ms (0%)

Profiling