Details

analyze38.0ms (1.7%)

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
25%	74.9%	0.1%	4
37.5%	62.4%	0.1%	5
62.4%	37.5%	0.1%	6
87.4%	12.5%	0.1%	7
87.4%	12.5%	0.1%	8
93.7%	6.2%	0.1%	9
93.7%	6.2%	0.1%	10
96.8%	3.1%	0.1%	11
96.8%	3.1%	0.1%	12
98.3%	1.6%	0.1%	13
98.3%	1.6%	0.1%	14

Compiler

Compiled 11 to 7 computations (36.4% saved)

sample924.0ms (40.8%)

Results

790.0ms

8256×

body

128

valid

Compiler

Compiled 32 to 20 computations (37.5% saved)

simplify101.0ms (4.4%)

Algorithm

1×	egg-herbie

Rules

607×	`rules-21_binary64`
494×	`fma-neg_binary64`
413×	`fma-def_binary64`
347×	`rules-20_binary64`
280×	`rules-10-rev_binary64`

Counts

1 → 2

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	7	12
1	13	12
2	22	12
3	36	12
4	61	12
5	136	10
6	286	10
7	1147	10
8	4004	10
9	4213	10
10	4888	10
11	5100	10

prune3.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.0b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.0b	(/.f64 (+.f64 f n) (-.f64 n f))

Compiler

Compiled 35 to 18 computations (48.6% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (+.f64 f n) (-.f64 n f))

series8.0ms (0.4%)

Counts

1 → 24

Calls

1 calls:

8.0ms

(/.f64 (+.f64 f n) (-.f64 n f))

rewrite146.0ms (6.4%)

Algorithm

2×	batch-egg-rewrite

Rules

724×	`log1p-expm1-u_binary64`
724×	`expm1-log1p-u_binary64`
694×	`prod-diff_binary64`
70×	`add-sqr-sqrt_binary64`
64×	`add-cbrt-cube_binary64`

Counts

1 → 30

Calls

1 calls:

145.0ms

(/.f64 (+.f64 f n) (-.f64 n f))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	10
1	148	10
2	2036	10
3	5974	10
0	0	0
1	0	0

simplify56.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

687×	`rules-20_binary64`
497×	`rules-21_binary64`
380×	`fma-neg_binary64`
316×	`rules-15-rev_binary64`
270×	`fma-def_binary64`

Counts

54 → 44

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	35	426
1	125	393
2	532	363
3	2818	345
4	4645	345
5	5003	345

prune142.0ms (6.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	41	3	44
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	41	4	45

Error

Counts

45 → 4

Alt Table

Status	Error	Program
✓	0.0b	(/.f64 (+.f64 f n) (-.f64 n f))
▶	0.0b	(cbrt.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 3))
	31.8b	(fma.f64 (/.f64 n f) -2 -1)
	34.5b	(fma.f64 2 (fma.f64 f (/.f64 f (*.f64 n n)) (/.f64 f n)) 1)

Compiler

Compiled 624 to 262 computations (58% saved)

localize75.0ms (3.3%)

Local error

Found 3 expressions with local error:

New	Error	Program
	0.0b	(/.f64 (+.f64 f n) (-.f64 n f))
✓	0.0b	(cbrt.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 3))
✓	0.0b	(pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 3)

series27.0ms (1.2%)

Counts

2 → 48

Calls

2 calls:

15.0ms	(cbrt.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 3))
12.0ms	(pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 3)

rewrite65.0ms (2.9%)

Algorithm

2×	batch-egg-rewrite

Rules

886×	`expm1-log1p-u_binary64`
731×	`prod-diff_binary64`
90×	`egg-rr`
86×	`add-sqr-sqrt_binary64`
86×	`log1p-expm1-u_binary64`

Counts

2 → 90

Calls

2 calls:

61.0ms	(cbrt.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 3))
61.0ms	(pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 3)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	23
1	198	23
2	2504	23
3	5446	23
0	0	0
1	0	0

simplify38.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

770×	`fma-def_binary64`
547×	`rules-13_binary64`
481×	`rules-14-rev_binary64`
320×	`rules-20_binary64`
290×	`rules-21_binary64`

Counts

138 → 124

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	75	906
1	304	838
2	1322	808
3	5151	808

prune114.0ms (5%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	168	0	168
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	168	4	172

Error

Counts

172 → 4

Alt Table

Status	Error	Program
✓	0.0b	(/.f64 (+.f64 f n) (-.f64 n f))
✓	0.0b	(cbrt.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 3))
▶	31.8b	(fma.f64 (/.f64 n f) -2 -1)
	34.5b	(fma.f64 2 (fma.f64 f (/.f64 f (*.f64 n n)) (/.f64 f n)) 1)

Compiler

Compiled 3165 to 1322 computations (58.2% saved)

localize4.0ms (0.2%)

prune2.0ms (0.1%)

Pruning

4 alts after pruning (1 fresh and 3 done)

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

Error

Counts

4 → 4

Alt Table

Status	Error	Program
✓	0.0b	(/.f64 (+.f64 f n) (-.f64 n f))
✓	0.0b	(cbrt.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 3))
✓	31.8b	(fma.f64 (/.f64 n f) -2 -1)
▶	34.5b	(fma.f64 2 (fma.f64 f (/.f64 f (*.f64 n n)) (/.f64 f n)) 1)

Compiler

Compiled 59 to 37 computations (37.3% saved)

localize7.0ms (0.3%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 2 (fma.f64 f (/.f64 f (*.f64 n n)) (/.f64 f n)) 1)
✓	5.9b	(fma.f64 f (/.f64 f (*.f64 n n)) (/.f64 f n))
✓	9.6b	(/.f64 f (*.f64 n n))

series66.0ms (2.9%)

Counts

3 → 72

Calls

3 calls:

29.0ms	(/.f64 f (*.f64 n n))
21.0ms	(fma.f64 f (/.f64 f (*.f64 n n)) (/.f64 f n))
16.0ms	(fma.f64 2 (fma.f64 f (/.f64 f (*.f64 n n)) (/.f64 f n)) 1)

rewrite68.0ms (3%)

Algorithm

2×	batch-egg-rewrite

Rules

859×	`log1p-expm1-u_binary64`
859×	`expm1-log1p-u_binary64`
224×	`prod-diff_binary64`
97×	`egg-rr`
92×	`add-sqr-sqrt_binary64`

Counts

3 → 97

Calls

3 calls:

66.0ms	(fma.f64 2 (fma.f64 f (/.f64 f (*.f64 n n)) (/.f64 f n)) 1)
66.0ms	(fma.f64 f (/.f64 f (*.f64 n n)) (/.f64 f n))
66.0ms	(/.f64 f (*.f64 n n))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	39
1	223	39
2	2537	39
3	6024	39
0	0	0
1	0	0

simplify98.0ms (4.3%)

Algorithm

1×	egg-herbie

Rules

916×	`fma-neg_binary64`
318×	`rules-4_binary64`
282×	`fma-def_binary64`
271×	`rules-5-rev_binary64`
242×	`rules-13_binary64`

Counts

169 → 113

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	17	885
1	54	873
2	188	795
3	672	696
4	3626	696
5	4778	696
6	4992	696
7	5071	696

prune54.0ms (2.4%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	113	0	113
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	113	4	117

Error

Counts

117 → 4

Alt Table

Status	Error	Program
✓	0.0b	(/.f64 (+.f64 f n) (-.f64 n f))
✓	0.0b	(cbrt.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 3))
✓	31.8b	(fma.f64 (/.f64 n f) -2 -1)
✓	34.5b	(fma.f64 2 (fma.f64 f (/.f64 f (*.f64 n n)) (/.f64 f n)) 1)

Compiler

Compiled 2061 to 776 computations (62.3% saved)

regimes78.0ms (3.4%)

Accuracy

Total 0.0b remaining (69.3%)

Threshold costs 0.0b (69.3%)

Counts

30 → 1

Compiler

Compiled 972 to 741 computations (23.8% saved)

simplify1.0ms (0%)

Algorithm

1×	egg-herbie

Rules

1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	17
1	12	17
2	11	17

end147.0ms (6.5%)

Compiler: Compiled 70 to 46 computations (34.3% saved)

Details

analyze38.0ms (1.7%)

sample924.0ms (40.8%)

simplify101.0ms (4.4%)

prune3.0ms (0.1%)

localize4.0ms (0.2%)

series8.0ms (0.4%)

rewrite146.0ms (6.4%)

simplify56.0ms (2.5%)

prune142.0ms (6.3%)

localize75.0ms (3.3%)

series27.0ms (1.2%)

rewrite65.0ms (2.9%)

simplify38.0ms (1.7%)

prune114.0ms (5%)

localize4.0ms (0.2%)

prune2.0ms (0.1%)

localize7.0ms (0.3%)

series66.0ms (2.9%)

rewrite68.0ms (3%)

simplify98.0ms (4.3%)

prune54.0ms (2.4%)

regimes78.0ms (3.4%)

simplify1.0ms (0%)

end147.0ms (6.5%)

Profiling