Details

analyze548.0ms (11.2%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
25%	74.9%	0.1%	7
31.2%	68.6%	0.1%	8
42.1%	57.7%	0.1%	9
56.9%	42.9%	0.1%	10
59.5%	40.4%	0.1%	11
68.1%	31.8%	0.1%	12
75.1%	24.4%	0.5%	13
75.7%	23.3%	1%	14

Compiler

Compiled 12 to 8 computations (33.3% saved)

sample2.0s (41%)

Results

745.0ms	5560×	body	128	valid
738.0ms	1438×	body	1024	valid
274.0ms	838×	body	512	valid
98.0ms	414×	body	256	valid
78.0ms	557×	body	128	invalid
21.0ms	45×	body	512	invalid
11.0ms	22×	body	1024	invalid
9.0ms	38×	body	256	invalid
5.0ms	6×	body	2048	valid

Compiler

Compiled 35 to 23 computations (34.3% saved)

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

14×	`associate-/l*_binary64`
12×	`*-commutative_binary64`
10×	`associate-/r/_binary64`
6×	`associate-*l/_binary64`
5×	`associate-*r/_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	12
1	13	12
2	24	12
3	48	12
4	63	12
5	68	12
6	68	12

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Error

4.0b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	4.0b	(/.f64 (*.f64 x (/.f64 (sin.f64 y) y)) z)

Compiler

Compiled 33 to 21 computations (36.4% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 (sin.f64 y) y)
✓	0.1b	(*.f64 x (/.f64 (sin.f64 y) y))
✓	3.9b	(/.f64 (*.f64 x (/.f64 (sin.f64 y) y)) z)

series42.0ms (0.9%)

Counts

3 → 64

Calls

3 calls:

28.0ms	(/.f64 (*.f64 x (/.f64 (sin.f64 y) y)) z)
12.0ms	(*.f64 x (/.f64 (sin.f64 y) y))
3.0ms	(/.f64 (sin.f64 y) y)

rewrite62.0ms (1.3%)

Algorithm

2×	batch-egg-rewrite

Rules

525×	`log-prod_binary64`
242×	`pow2_binary64`
172×	`pow1/3_binary64`
165×	`expm1-udef_binary64`
165×	`log1p-udef_binary64`

Counts

3 → 119

Calls

3 calls:

59.0ms	(/.f64 (sin.f64 y) y)
59.0ms	(*.f64 x (/.f64 (sin.f64 y) y))
59.0ms	(/.f64 (*.f64 x (/.f64 (sin.f64 y) y)) z)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	27
1	172	27
2	2449	27
3	5062	27
0	0	0
1	0	0

simplify78.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

695×	`fma-def_binary64`
645×	`associate-l_binary64`
538×	`cancel-sign-sub-inv_binary64`
402×	`associate-/l*_binary64`
366×	`fma-neg_binary64`

Counts

183 → 142

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	50	790
1	144	783
2	404	765
3	1212	759
4	4168	759
5	4875	759
6	5053	759

prune113.0ms (2.3%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	132	10	142
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	132	11	143

Error

Counts

143 → 11

Alt Table

Status	Error	Program
	35.2b	(*.f64 (/.f64 x (sqrt.f64 z)) (/.f64 (/.f64 (sin.f64 y) y) (sqrt.f64 z)))
✓	4.0b	(/.f64 (*.f64 x (/.f64 (sin.f64 y) y)) z)
	4.0b	(/.f64 (/.f64 x (/.f64 y (sin.f64 y))) z)
	4.1b	(pow.f64 (/.f64 z (*.f64 x (/.f64 (sin.f64 y) y))) -1)
	4.9b	(*.f64 (/.f64 x z) (/.f64 (sin.f64 y) y))
	10.2b	(/.f64 (.f64 (sin.f64 y) x) (.f64 y z))
▶	2.3b	(*.f64 (/.f64 x 1) (/.f64 (/.f64 (sin.f64 y) y) z))
	17.2b	(/.f64 (*.f64 x (cbrt.f64 (pow.f64 (/.f64 (sin.f64 y) y) 3))) z)
	4.9b	(.f64 (pow.f64 (cbrt.f64 (.f64 x (/.f64 (sin.f64 y) y))) 2) (.f64 (cbrt.f64 (.f64 x (/.f64 (sin.f64 y) y))) (/.f64 1 z)))
	4.1b	(.f64 (.f64 x (/.f64 (sin.f64 y) y)) (/.f64 1 z))
	5.0b	(.f64 (/.f64 (sin.f64 y) y) (.f64 x (/.f64 1 z)))

Compiler

Compiled 2189 to 900 computations (58.9% saved)

localize8.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 (/.f64 (sin.f64 y) y) z)
	0.1b	(/.f64 (sin.f64 y) y)
✓	2.2b	(*.f64 (/.f64 x 1) (/.f64 (/.f64 (sin.f64 y) y) z))

series41.0ms (0.8%)

Counts

2 → 60

Calls

2 calls:

28.0ms	(*.f64 (/.f64 x 1) (/.f64 (/.f64 (sin.f64 y) y) z))
13.0ms	(/.f64 (/.f64 (sin.f64 y) y) z)

rewrite95.0ms (1.9%)

Algorithm

2×	batch-egg-rewrite

Rules

535×	`log-prod_binary64`
315×	`prod-diff_binary64`
215×	`log-div_binary64`
175×	`expm1-udef_binary64`
175×	`log1p-udef_binary64`

Counts

2 → 107

Calls

2 calls:

92.0ms	(/.f64 (/.f64 (sin.f64 y) y) z)
92.0ms	(*.f64 (/.f64 x 1) (/.f64 (/.f64 (sin.f64 y) y) z))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	21
1	197	21
2	2685	21
3	4976	21
4	5591	21
0	0	0
1	0	0

simplify88.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

731×	`distribute-rgt-neg-in_binary64`
426×	`associate-r_binary64`
406×	`associate-l_binary64`
316×	`distribute-neg-frac_binary64`
300×	`associate-/l*_binary64`

Counts

167 → 122

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	46	746
1	126	746
2	324	738
3	865	732
4	3416	732
5	5153	732

prune214.0ms (4.4%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	167	1	168
Fresh	2	7	9
Picked	0	1	1
Done	1	0	1
Total	170	9	179

Error

Counts

179 → 9

Alt Table

Status	Error	Program
	4.1b	(.f64 (.f64 x (/.f64 (sin.f64 y) y)) (/.f64 1 z))
▶	2.3b	(/.f64 x (*.f64 z (/.f64 y (sin.f64 y))))
	4.0b	(/.f64 (/.f64 x (/.f64 y (sin.f64 y))) z)
	4.9b	(*.f64 (/.f64 x z) (/.f64 (sin.f64 y) y))
	10.2b	(/.f64 (.f64 (sin.f64 y) x) (.f64 y z))
	35.2b	(*.f64 (/.f64 x (sqrt.f64 z)) (/.f64 (/.f64 (sin.f64 y) y) (sqrt.f64 z)))
✓	2.3b	(*.f64 (/.f64 x 1) (/.f64 (/.f64 (sin.f64 y) y) z))
	17.2b	(/.f64 (*.f64 x (cbrt.f64 (pow.f64 (/.f64 (sin.f64 y) y) 3))) z)
	4.9b	(.f64 (pow.f64 (cbrt.f64 (.f64 x (/.f64 (sin.f64 y) y))) 2) (.f64 (cbrt.f64 (.f64 x (/.f64 (sin.f64 y) y))) (/.f64 1 z)))

Compiler

Compiled 2667 to 1196 computations (55.2% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.1b	(*.f64 z (/.f64 y (sin.f64 y)))
✓	0.2b	(/.f64 y (sin.f64 y))
✓	2.3b	(/.f64 x (*.f64 z (/.f64 y (sin.f64 y))))

series61.0ms (1.2%)

Counts

3 → 64

Calls

3 calls:

36.0ms	(/.f64 x (*.f64 z (/.f64 y (sin.f64 y))))
18.0ms	(*.f64 z (/.f64 y (sin.f64 y)))
7.0ms	(/.f64 y (sin.f64 y))

rewrite60.0ms (1.2%)

Algorithm

2×	batch-egg-rewrite

Rules

520×	`log-prod_binary64`
242×	`pow2_binary64`
172×	`pow1/3_binary64`
165×	`expm1-udef_binary64`
165×	`log1p-udef_binary64`

Counts

3 → 120

Calls

3 calls:

57.0ms	(*.f64 z (/.f64 y (sin.f64 y)))
57.0ms	(/.f64 y (sin.f64 y))
57.0ms	(/.f64 x (*.f64 z (/.f64 y (sin.f64 y))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	27
1	172	27
2	2437	27
3	5035	27
0	0	0
1	0	0

simplify66.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

802×	`fma-neg_binary64`
719×	`fma-def_binary64`
565×	`cancel-sign-sub-inv_binary64`
284×	`distribute-rgt-neg-in_binary64`
261×	`*-commutative_binary64`

Counts

184 → 143

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	57	782
1	152	776
2	405	765
3	1119	759
4	2944	755
5	4783	755
6	4967	755

prune138.0ms (2.8%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	143	0	143
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	143	9	152

Error

Counts

152 → 9

Alt Table

Status	Error	Program
	4.1b	(.f64 (.f64 x (/.f64 (sin.f64 y) y)) (/.f64 1 z))
✓	2.3b	(/.f64 x (*.f64 z (/.f64 y (sin.f64 y))))
▶	4.0b	(/.f64 (/.f64 x (/.f64 y (sin.f64 y))) z)
	4.9b	(*.f64 (/.f64 x z) (/.f64 (sin.f64 y) y))
	10.2b	(/.f64 (.f64 (sin.f64 y) x) (.f64 y z))
	35.2b	(*.f64 (/.f64 x (sqrt.f64 z)) (/.f64 (/.f64 (sin.f64 y) y) (sqrt.f64 z)))
✓	2.3b	(*.f64 (/.f64 x 1) (/.f64 (/.f64 (sin.f64 y) y) z))
	17.2b	(/.f64 (*.f64 x (cbrt.f64 (pow.f64 (/.f64 (sin.f64 y) y) 3))) z)
	4.9b	(.f64 (pow.f64 (cbrt.f64 (.f64 x (/.f64 (sin.f64 y) y))) 2) (.f64 (cbrt.f64 (.f64 x (/.f64 (sin.f64 y) y))) (/.f64 1 z)))

Compiler

Compiled 2107 to 842 computations (60% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
	0.2b	(/.f64 y (sin.f64 y))
✓	0.4b	(/.f64 x (/.f64 y (sin.f64 y)))
✓	3.9b	(/.f64 (/.f64 x (/.f64 y (sin.f64 y))) z)

series129.0ms (2.6%)

Counts

2 → 60

Calls

2 calls:

114.0ms	(/.f64 (/.f64 x (/.f64 y (sin.f64 y))) z)
15.0ms	(/.f64 x (/.f64 y (sin.f64 y)))

rewrite92.0ms (1.9%)

Algorithm

2×	batch-egg-rewrite

Rules

565×	`log-prod_binary64`
423×	`prod-diff_binary64`
190×	`log-div_binary64`
171×	`expm1-udef_binary64`
171×	`log1p-udef_binary64`

Counts

2 → 95

Calls

2 calls:

90.0ms	(/.f64 x (/.f64 y (sin.f64 y)))
90.0ms	(/.f64 (/.f64 x (/.f64 y (sin.f64 y))) z)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	21
1	178	21
2	2665	21
3	4984	21
4	5845	21
0	0	0
1	0	0

simplify120.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

520×	`fma-def_binary64`
511×	`associate-l_binary64`
507×	`associate-r_binary64`
409×	`cancel-sign-sub-inv_binary64`
355×	`associate-/l*_binary64`

Counts

155 → 111

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	41	734
1	118	733
2	337	721
3	1030	715
4	4248	715
5	4999	715
6	4979	715
7	5000	715
8	4949	715

prune103.0ms (2.1%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	155	2	157
Fresh	3	3	6
Picked	0	1	1
Done	0	2	2
Total	158	8	166

Error

Counts

166 → 8

Alt Table

Status	Error	Program
	4.1b	(.f64 (.f64 x (/.f64 (sin.f64 y) y)) (/.f64 1 z))
✓	2.3b	(/.f64 x (*.f64 z (/.f64 y (sin.f64 y))))
✓	4.0b	(/.f64 (/.f64 x (/.f64 y (sin.f64 y))) z)
	4.9b	(*.f64 (/.f64 x z) (/.f64 (sin.f64 y) y))
	10.2b	(/.f64 (.f64 (sin.f64 y) x) (.f64 y z))
	11.7b	(.f64 (/.f64 x y) (.f64 (sin.f64 y) (/.f64 1 z)))
✓	2.3b	(*.f64 (/.f64 x 1) (/.f64 (/.f64 (sin.f64 y) y) z))
	4.9b	(pow.f64 (cbrt.f64 (/.f64 (/.f64 x (/.f64 y (sin.f64 y))) z)) 3)

Compiler

Compiled 2258 to 837 computations (62.9% saved)

regimes702.0ms (14.3%)

Accuracy

Total 1.5b remaining (99.2%)

Threshold costs 0b (0%)

Counts

83 → 2

Compiler

Compiled 7200 to 4855 computations (32.6% saved)

bsearch10.0ms (0.2%)

Steps

Iters	Range		Point
2	-6.113472551441991e+19	-69518450908309760.0	-392399278144354100.0

Compiler

Compiled 4 to 3 computations (25% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	30
1	15	30
2	15	30

end99.0ms (2%)

Compiler: Compiled 143 to 89 computations (37.8% saved)

Details

analyze548.0ms (11.2%)

sample2.0s (41%)

simplify7.0ms (0.1%)

prune2.0ms (0%)

localize7.0ms (0.1%)

series42.0ms (0.9%)

rewrite62.0ms (1.3%)

simplify78.0ms (1.6%)

prune113.0ms (2.3%)

localize8.0ms (0.2%)

series41.0ms (0.8%)

rewrite95.0ms (1.9%)

simplify88.0ms (1.8%)

prune214.0ms (4.4%)

localize6.0ms (0.1%)

series61.0ms (1.2%)

rewrite60.0ms (1.2%)

simplify66.0ms (1.3%)

prune138.0ms (2.8%)

localize6.0ms (0.1%)

series129.0ms (2.6%)

rewrite92.0ms (1.9%)

simplify120.0ms (2.4%)

prune103.0ms (2.1%)

regimes702.0ms (14.3%)

bsearch10.0ms (0.2%)

simplify3.0ms (0.1%)

end99.0ms (2%)

Profiling