Details

analyze993.0ms (23.5%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
13.3%	86.5%	0.2%	9
19.9%	79.9%	0.2%	10
22.8%	77%	0.2%	11
25.4%	72.7%	1.9%	12
35.8%	59.6%	4.6%	13
42%	52.3%	5.8%	14

Compiler

Compiled 14 to 9 computations (35.7% saved)

sample1.4s (33%)

Results

956.0ms	8256×	body	128	valid
253.0ms	2163×	body	128	invalid

Compiler

Compiled 41 to 26 computations (36.6% saved)

simplify66.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

775×	`fma-def_binary64`
730×	`fma-neg_binary64`
228×	`cancel-sign-sub-inv_binary64`
138×	`distribute-rgt-in_binary64`
97×	`unsub-neg_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	13
1	15	11
2	31	11
3	72	11
4	146	11
5	255	11
6	409	11
7	668	11
8	1099	11
9	1352	11
10	1478	11
11	1525	11
12	1531	11
13	1536	11
14	1536	11
15	1451	11

prune5.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

2.0b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	2.0b	(+.f64 x (*.f64 (-.f64 y x) (/.f64 z t)))

Compiler

Compiled 47 to 25 computations (46.8% saved)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 x (*.f64 (-.f64 y x) (/.f64 z t)))
✓	6.4b	(*.f64 (-.f64 y x) (/.f64 z t))

series40.0ms (0.9%)

Counts

2 → 96

Calls

2 calls:

21.0ms	(+.f64 x (*.f64 (-.f64 y x) (/.f64 z t)))
19.0ms	(*.f64 (-.f64 y x) (/.f64 z t))

rewrite73.0ms (1.7%)

Algorithm

2×	batch-egg-rewrite

Rules

562×	`log-prod_binary64`
383×	`fma-def_binary64`
200×	`expm1-udef_binary64`
200×	`log1p-udef_binary64`
189×	`fma-neg_binary64`

Counts

2 → 106

Calls

2 calls:

70.0ms	(+.f64 x (*.f64 (-.f64 y x) (/.f64 z t)))
70.0ms	(*.f64 (-.f64 y x) (/.f64 z t))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	23
1	205	21
2	2967	21
3	5783	21
0	0	0
1	0	0

simplify111.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

972×	`fma-def_binary64`
730×	`fma-neg_binary64`
220×	`cancel-sign-sub-inv_binary64`
159×	`distribute-rgt-in_binary64`
121×	`unsub-neg_binary64`

Counts

202 → 124

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	37	1371
1	96	1020
2	201	1020
3	370	948
4	709	948
5	1141	948
6	1438	948
7	1515	948
8	1542	948
9	1548	948
10	1553	948
11	1553	948
12	1468	948

prune70.0ms (1.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	121	3	124
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	121	4	125

Error

Counts

125 → 4

Alt Table

Status	Error	Program
✓	2.0b	(+.f64 x (*.f64 (-.f64 y x) (/.f64 z t)))
▶	1.8b	(+.f64 x (/.f64 (-.f64 y x) (/.f64 t z)))
	5.5b	(fma.f64 z (/.f64 (-.f64 y x) t) x)
	5.6b	(+.f64 x (/.f64 (*.f64 z (-.f64 y x)) t))

Compiler

Compiled 1935 to 549 computations (71.6% saved)

localize8.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 x (/.f64 (-.f64 y x) (/.f64 t z)))
✓	6.3b	(/.f64 (-.f64 y x) (/.f64 t z))

series50.0ms (1.2%)

Counts

2 → 96

Calls

2 calls:

31.0ms	(+.f64 x (/.f64 (-.f64 y x) (/.f64 t z)))
19.0ms	(/.f64 (-.f64 y x) (/.f64 t z))

rewrite81.0ms (1.9%)

Algorithm

2×	batch-egg-rewrite

Rules

407×	`fma-def_binary64`
272×	`fma-neg_binary64`
210×	`expm1-udef_binary64`
210×	`log1p-udef_binary64`
180×	`log-pow_binary64`

Counts

2 → 150

Calls

2 calls:

78.0ms	(+.f64 x (/.f64 (-.f64 y x) (/.f64 t z)))
78.0ms	(/.f64 (-.f64 y x) (/.f64 t z))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	23
1	214	21
2	3342	21
3	5108	21
0	0	0
1	0	0

simplify114.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

972×	`fma-def_binary64`
730×	`fma-neg_binary64`
220×	`cancel-sign-sub-inv_binary64`
159×	`distribute-rgt-in_binary64`
121×	`unsub-neg_binary64`

Counts

246 → 166

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	37	1371
1	96	1020
2	201	1020
3	370	948
4	709	948
5	1141	948
6	1438	948
7	1515	948
8	1542	948
9	1548	948
10	1553	948
11	1553	948
12	1468	948

prune201.0ms (4.8%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	166	0	166
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	166	4	170

Error

Counts

170 → 4

Alt Table

Status	Error	Program
✓	2.0b	(+.f64 x (*.f64 (-.f64 y x) (/.f64 z t)))
✓	1.8b	(+.f64 x (/.f64 (-.f64 y x) (/.f64 t z)))
▶	5.5b	(fma.f64 z (/.f64 (-.f64 y x) t) x)
	5.6b	(+.f64 x (/.f64 (*.f64 z (-.f64 y x)) t))

Compiler

Compiled 2691 to 674 computations (75% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (-.f64 y x) t)
✓	5.2b	(fma.f64 z (/.f64 (-.f64 y x) t) x)

series31.0ms (0.7%)

Counts

2 → 76

Calls

2 calls:

19.0ms	(fma.f64 z (/.f64 (-.f64 y x) t) x)
11.0ms	(/.f64 (-.f64 y x) t)

rewrite139.0ms (3.3%)

Algorithm

2×	batch-egg-rewrite

Rules

756×	`prod-diff_binary64`
211×	`fma-def_binary64`
197×	`egg-rr`
174×	`expm1-udef_binary64`
174×	`log1p-udef_binary64`

Counts

2 → 197

Calls

2 calls:

130.0ms	(/.f64 (-.f64 y x) t)
130.0ms	(fma.f64 z (/.f64 (-.f64 y x) t) x)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	18
1	178	18
2	2501	18
3	4858	18
4	5184	18
0	0	0
1	0	0

simplify101.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

845×	`fma-def_binary64`
685×	`fma-neg_binary64`
189×	`cancel-sign-sub-inv_binary64`
147×	`distribute-rgt-in_binary64`
128×	`unsub-neg_binary64`

Counts

273 → 213

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	33	1027
1	81	811
2	176	780
3	317	664
4	645	664
5	1133	664
6	1447	664
7	1539	664
8	1546	664
9	1551	664
10	1551	664
11	1466	664

prune115.0ms (2.7%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	213	0	213
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	213	4	217

Error

Counts

217 → 4

Alt Table

Status	Error	Program
✓	2.0b	(+.f64 x (*.f64 (-.f64 y x) (/.f64 z t)))
✓	1.8b	(+.f64 x (/.f64 (-.f64 y x) (/.f64 t z)))
✓	5.5b	(fma.f64 z (/.f64 (-.f64 y x) t) x)
▶	5.6b	(+.f64 x (/.f64 (*.f64 z (-.f64 y x)) t))

Compiler

Compiled 7035 to 1580 computations (77.5% saved)

localize7.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 x (/.f64 (*.f64 z (-.f64 y x)) t))
✓	0.0b	(*.f64 z (-.f64 y x))
✓	5.8b	(/.f64 (*.f64 z (-.f64 y x)) t)

series50.0ms (1.2%)

Counts

3 → 104

Calls

3 calls:

22.0ms	(+.f64 x (/.f64 (*.f64 z (-.f64 y x)) t))
21.0ms	(/.f64 (*.f64 z (-.f64 y x)) t)
6.0ms	(*.f64 z (-.f64 y x))

rewrite81.0ms (1.9%)

Algorithm

2×	batch-egg-rewrite

Rules

580×	`log-prod_binary64`
367×	`fma-def_binary64`
200×	`expm1-udef_binary64`
200×	`log1p-udef_binary64`
196×	`fma-neg_binary64`

Counts

3 → 140

Calls

3 calls:

79.0ms	(+.f64 x (/.f64 (*.f64 z (-.f64 y x)) t))
79.0ms	(*.f64 z (-.f64 y x))
79.0ms	(/.f64 (*.f64 z (-.f64 y x)) t)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	30
1	205	30
2	2999	28
3	5848	28
0	0	0
1	0	0

simplify112.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

1006×	`fma-def_binary64`
742×	`fma-neg_binary64`
225×	`cancel-sign-sub-inv_binary64`
160×	`distribute-rgt-in_binary64`
123×	`unsub-neg_binary64`

Counts

244 → 160

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	35	1373
1	91	1016
2	196	1016
3	360	1016
4	685	944
5	1135	944
6	1438	944
7	1518	944
8	1545	944
9	1551	944
10	1556	944
11	1556	944
12	1471	944

prune107.0ms (2.5%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	160	0	160
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	160	4	164

Error

Counts

164 → 4

Alt Table

Status	Error	Program
✓	2.0b	(+.f64 x (*.f64 (-.f64 y x) (/.f64 z t)))
✓	1.8b	(+.f64 x (/.f64 (-.f64 y x) (/.f64 t z)))
✓	5.5b	(fma.f64 z (/.f64 (-.f64 y x) t) x)
✓	5.6b	(+.f64 x (/.f64 (*.f64 z (-.f64 y x)) t))

Compiler

Compiled 2376 to 661 computations (72.2% saved)

regimes183.0ms (4.3%)

Accuracy

Total 1.5b remaining (99%)

Threshold costs 0b (0%)

Counts

22 → 3

Compiler

Compiled 1682 to 1082 computations (35.7% saved)

bsearch14.0ms (0.3%)

Steps

Iters	Range		Point
3	8.36271768564975e+35	1.9778593766075412e+43	7.032798435538504e+36
1	-6.363451572333486e+59	-5.050347318375549e+56	-1.802344879117195e+58

Compiler

Compiled 5 to 4 computations (20% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

3×	`+-commutative_binary64`
2×	`*-commutative_binary64`
2×	`sub-neg_binary64`
1×	`neg-sub0_binary64`
1×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	47
1	24	47
2	29	47
3	31	47
4	32	47
5	32	47

end66.0ms (1.6%)

Compiler: Compiled 125 to 67 computations (46.4% saved)

Details

analyze993.0ms (23.5%)

sample1.4s (33%)

simplify66.0ms (1.6%)

prune5.0ms (0.1%)

localize7.0ms (0.2%)

series40.0ms (0.9%)

rewrite73.0ms (1.7%)

simplify111.0ms (2.6%)

prune70.0ms (1.7%)

localize8.0ms (0.2%)

series50.0ms (1.2%)

rewrite81.0ms (1.9%)

simplify114.0ms (2.7%)

prune201.0ms (4.8%)

localize6.0ms (0.1%)

series31.0ms (0.7%)

rewrite139.0ms (3.3%)

simplify101.0ms (2.4%)

prune115.0ms (2.7%)

localize7.0ms (0.2%)

series50.0ms (1.2%)

rewrite81.0ms (1.9%)

simplify112.0ms (2.7%)

prune107.0ms (2.5%)

regimes183.0ms (4.3%)

bsearch14.0ms (0.3%)

simplify3.0ms (0.1%)

end66.0ms (1.6%)

Profiling