Details

analyze555.0ms (11.9%)

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 (42.4%)

Results

733.0ms	5597×	body	128	valid
703.0ms	1352×	body	1024	valid
281.0ms	855×	body	512	valid
107.0ms	449×	body	256	valid
74.0ms	534×	body	128	invalid
19.0ms	59×	body	512	invalid
13.0ms	20×	body	1024	invalid
8.0ms	36×	body	256	invalid
3.0ms	3×	body	2048	valid

Compiler

Compiled 35 to 23 computations (34.3% saved)

simplify8.0ms (0.2%)

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

prune1.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

2.8b

Counts

2 → 1

Alt Table

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

Compiler

Compiled 33 to 21 computations (36.4% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

series41.0ms (0.9%)

Counts

3 → 64

Calls

3 calls:

26.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)

rewrite57.0ms (1.2%)

Algorithm

1×	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:

56.0ms	(*.f64 x (/.f64 (sin.f64 y) y))
56.0ms	(/.f64 (sin.f64 y) y)
55.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

simplify79.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

695×	`fma-def_binary64`
644×	`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

prune98.0ms (2.1%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	137	5	142
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	137	6	143

Error

0.0b

Counts

143 → 6

Alt Table

Status	Error	Program
	11.8b	(/.f64 (.f64 (sin.f64 y) x) (.f64 y z))
▶	2.2b	(*.f64 (/.f64 x z) (/.f64 (sin.f64 y) y))
	2.6b	(*.f64 (/.f64 x 1) (/.f64 (/.f64 (sin.f64 y) y) z))
✓	2.8b	(/.f64 (*.f64 x (/.f64 (sin.f64 y) y)) z)
	3.7b	(/.f64 (.f64 x (.f64 (pow.f64 (cbrt.f64 (sin.f64 y)) 2) (*.f64 (cbrt.f64 (sin.f64 y)) (/.f64 1 y)))) z)
	23.4b	(/.f64 (/.f64 (/.f64 (.f64 x (sin.f64 y)) (cbrt.f64 (.f64 y y))) (cbrt.f64 y)) z)

Compiler

Compiled 2057 to 819 computations (60.2% saved)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

series29.0ms (0.6%)

Counts

1 → 36

Calls

1 calls:

28.0ms

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

rewrite84.0ms (1.8%)

Algorithm

1×	batch-egg-rewrite

Rules

521×	`log-prod_binary64`
274×	`prod-diff_binary64`
178×	`pow1/3_binary64`
169×	`expm1-udef_binary64`
169×	`log1p-udef_binary64`

Counts

1 → 65

Calls

1 calls:

83.0ms

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	12
1	175	12
2	2520	12
3	4970	12
4	5519	12

simplify82.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

879×	`fma-neg_binary64`
608×	`distribute-rgt-neg-in_binary64`
392×	`associate-r_binary64`
347×	`associate-l_binary64`
286×	`unswap-sqr_binary64`

Counts

101 → 73

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	32	484
1	85	484
2	233	480
3	659	478
4	2744	474
5	5023	474

prune87.0ms (1.9%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	118	1	119
Fresh	1	3	4
Picked	0	1	1
Done	0	1	1
Total	119	6	125

Error

Counts

125 → 6

Alt Table

Status	Error	Program
	11.8b	(/.f64 (.f64 (sin.f64 y) x) (.f64 y z))
✓	2.2b	(*.f64 (/.f64 x z) (/.f64 (sin.f64 y) y))
▶	2.6b	(*.f64 (/.f64 x 1) (/.f64 (/.f64 (sin.f64 y) y) z))
	2.7b	(/.f64 x (*.f64 z (/.f64 y (sin.f64 y))))
✓	2.8b	(/.f64 (*.f64 x (/.f64 (sin.f64 y) y)) z)
	3.7b	(/.f64 (.f64 x (.f64 (pow.f64 (cbrt.f64 (sin.f64 y)) 2) (*.f64 (cbrt.f64 (sin.f64 y)) (/.f64 1 y)))) z)

Compiler

Compiled 1597 to 587 computations (63.2% saved)

localize7.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.5b	(*.f64 (/.f64 x 1) (/.f64 (/.f64 (sin.f64 y) y) z))

series111.0ms (2.4%)

Counts

2 → 60

Calls

2 calls:

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

rewrite89.0ms (1.9%)

Algorithm

1×	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:

87.0ms	(/.f64 (/.f64 (sin.f64 y) y) z)
87.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

simplify54.0ms (1.2%)

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

prune100.0ms (2.2%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	168	0	168
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	168	6	174

Error

Counts

174 → 6

Alt Table

Status	Error	Program
	11.8b	(/.f64 (.f64 (sin.f64 y) x) (.f64 y z))
✓	2.2b	(*.f64 (/.f64 x z) (/.f64 (sin.f64 y) y))
✓	2.6b	(*.f64 (/.f64 x 1) (/.f64 (/.f64 (sin.f64 y) y) z))
▶	2.7b	(/.f64 x (*.f64 z (/.f64 y (sin.f64 y))))
✓	2.8b	(/.f64 (*.f64 x (/.f64 (sin.f64 y) y)) z)
	3.7b	(/.f64 (.f64 x (.f64 (pow.f64 (cbrt.f64 (sin.f64 y)) 2) (*.f64 (cbrt.f64 (sin.f64 y)) (/.f64 1 y)))) z)

Compiler

Compiled 2553 to 1126 computations (55.9% saved)

localize12.0ms (0.3%)

Local error

Found 3 expressions with local error:

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

series107.0ms (2.3%)

Counts

3 → 64

Calls

3 calls:

83.0ms	(/.f64 x (*.f64 z (/.f64 y (sin.f64 y))))
17.0ms	(*.f64 z (/.f64 y (sin.f64 y)))
6.0ms	(/.f64 y (sin.f64 y))

rewrite58.0ms (1.2%)

Algorithm

1×	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:

56.0ms	(*.f64 z (/.f64 y (sin.f64 y)))
56.0ms	(/.f64 y (sin.f64 y))
56.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

simplify66.0ms (1.4%)

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

prune84.0ms (1.8%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	143	0	143
Fresh	0	2	2
Picked	0	1	1
Done	0	3	3
Total	143	6	149

Error

Counts

149 → 6

Alt Table

Status	Error	Program
	11.8b	(/.f64 (.f64 (sin.f64 y) x) (.f64 y z))
✓	2.2b	(*.f64 (/.f64 x z) (/.f64 (sin.f64 y) y))
✓	2.6b	(*.f64 (/.f64 x 1) (/.f64 (/.f64 (sin.f64 y) y) z))
✓	2.7b	(/.f64 x (*.f64 z (/.f64 y (sin.f64 y))))
✓	2.8b	(/.f64 (*.f64 x (/.f64 (sin.f64 y) y)) z)
	3.7b	(/.f64 (.f64 x (.f64 (pow.f64 (cbrt.f64 (sin.f64 y)) 2) (*.f64 (cbrt.f64 (sin.f64 y)) (/.f64 1 y)))) z)

Compiler

Compiled 1962 to 752 computations (61.7% saved)

regimes760.0ms (16.3%)

Accuracy

Total 1.5b remaining (98.4%)

Threshold costs 0b (0%)

Counts

85 → 2

Compiler

Compiled 7451 to 4966 computations (33.4% saved)

bsearch10.0ms (0.2%)

Steps

Iters	Range		Point
2	1.3802735664505747e-33	3.11881031238307e-33	2.630062628123833e-33

Compiler

Compiled 4 to 3 computations (25% saved)

simplify2.0ms (0%)

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

end87.0ms (1.9%)

Compiler: Compiled 123 to 74 computations (39.8% saved)

Details

analyze555.0ms (11.9%)

sample2.0s (42.4%)

simplify8.0ms (0.2%)

prune1.0ms (0%)

localize6.0ms (0.1%)

series41.0ms (0.9%)

rewrite57.0ms (1.2%)

simplify79.0ms (1.7%)

prune98.0ms (2.1%)

localize7.0ms (0.2%)

series29.0ms (0.6%)

rewrite84.0ms (1.8%)

simplify82.0ms (1.8%)

prune87.0ms (1.9%)

localize7.0ms (0.2%)

series111.0ms (2.4%)

rewrite89.0ms (1.9%)

simplify54.0ms (1.2%)

prune100.0ms (2.2%)

localize12.0ms (0.3%)

series107.0ms (2.3%)

rewrite58.0ms (1.2%)

simplify66.0ms (1.4%)

prune84.0ms (1.8%)

regimes760.0ms (16.3%)

bsearch10.0ms (0.2%)

simplify2.0ms (0%)

end87.0ms (1.9%)

Profiling