Details

analyze961.0ms (23.6%)

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.3s (32%)

Results

941.0ms	8256×	body	128	valid
248.0ms	2163×	body	128	invalid

Compiler

Compiled 41 to 26 computations (36.6% saved)

simplify69.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

973×	`fma-def_binary64`
752×	`fma-neg_binary64`
239×	`cancel-sign-sub-inv_binary64`
193×	`distribute-rgt-in_binary64`
133×	`distribute-lft-in_binary64`

Counts

1 → 2

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	9	13
1	15	13
2	33	11
3	64	11
4	125	11
5	238	11
6	414	11
7	791	11
8	1182	11
9	1373	11
10	1483	11
11	1532	11
12	1538	11
13	1543	11
14	1543	11
15	1458	11

prune3.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

0.0b

Counts

3 → 2

Alt Table

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

Compiler

Compiled 71 to 40 computations (43.7% saved)

localize6.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

series18.0ms (0.4%)

Counts

1 → 48

Calls

1 calls:

18.0ms

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

rewrite56.0ms (1.4%)

Algorithm

2×	batch-egg-rewrite

Rules

455×	`log-prod_binary64`
446×	`prod-diff_binary64`
197×	`fma-def_binary64`
170×	`expm1-udef_binary64`
170×	`log1p-udef_binary64`

Counts

1 → 30

Calls

1 calls:

55.0ms

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	11
1	175	11
2	2368	11
3	5028	11
0	0	0
1	0	0

simplify87.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

733×	`fma-neg_binary64`
716×	`fma-def_binary64`
244×	`cancel-sign-sub-inv_binary64`
159×	`distribute-rgt-in_binary64`
109×	`distribute-lft-in_binary64`

Counts

78 → 43

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	29	777
1	69	561
2	152	552
3	273	552
4	527	480
5	936	480
6	1333	480
7	1453	480
8	1489	480
9	1533	480
10	1543	480
11	1543	480
12	1458	480

prune25.0ms (0.6%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	42	1	43
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	42	3	45

Error

0.0b

Counts

45 → 3

Alt Table

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

Compiler

Compiled 600 to 166 computations (72.3% saved)

localize9.0ms (0.2%)

Local error

Found 3 expressions with local error:

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

series48.0ms (1.2%)

Counts

3 → 132

Calls

3 calls:

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

rewrite80.0ms (2%)

Algorithm

2×	batch-egg-rewrite

Rules

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

Counts

3 → 141

Calls

3 calls:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	30
1	205	30
2	3002	28
3	5851	28
0	0	0
1	0	0

simplify138.0ms (3.4%)

Algorithm

1×	egg-herbie

Rules

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

Counts

273 → 166

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	38	1701
1	99	1260
2	202	1260
3	375	1188
4	712	1188
5	1137	1188
6	1439	1188
7	1515	1188
8	1542	1188
9	1548	1188
10	1553	1188
11	1553	1188
12	1468	1188

prune105.0ms (2.6%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	164	2	166
Fresh	1	0	1
Picked	0	1	1
Done	0	1	1
Total	165	4	169

Error

Counts

169 → 4

Alt Table

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

Compiler

Compiled 2467 to 690 computations (72% saved)

localize7.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series78.0ms (1.9%)

Counts

4 → 168

Calls

4 calls:

33.0ms	(-.f64 (/.f64 y (/.f64 t z)) (/.f64 x (/.f64 t z)))
22.0ms	(+.f64 x (-.f64 (/.f64 y (/.f64 t z)) (/.f64 x (/.f64 t z))))
13.0ms	(/.f64 y (/.f64 t z))
11.0ms	(/.f64 x (/.f64 t z))

rewrite110.0ms (2.7%)

Algorithm

2×	batch-egg-rewrite

Rules

453×	`fma-neg_binary64`
246×	`egg-rr`
240×	`expm1-udef_binary64`
240×	`log1p-udef_binary64`
131×	`add-sqr-sqrt_binary64`

Counts

4 → 246

Calls

4 calls:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	37
1	246	37
2	4041	37
3	5263	37
0	0	0
1	0	0

simplify149.0ms (3.7%)

Algorithm

1×	egg-herbie

Rules

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

Counts

414 → 262

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	34	1875
1	88	1524
2	195	1524
3	355	1524
4	682	1452
5	1139	1452
6	1437	1452
7	1518	1452
8	1545	1452
9	1551	1452
10	1556	1452
11	1556	1452
12	1471	1452

prune170.0ms (4.2%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	262	0	262
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	262	4	266

Error

Counts

266 → 4

Alt Table

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

Compiler

Compiled 4819 to 1157 computations (76% saved)

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

series29.0ms (0.7%)

Counts

2 → 76

Calls

2 calls:

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

rewrite118.0ms (2.9%)

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:

109.0ms	(/.f64 (-.f64 y x) t)
109.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

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

prune125.0ms (3.1%)

Pruning

4 alts after pruning (0 fresh and 4 done)

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

Error

Counts

217 → 4

Alt Table

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

Compiler

Compiled 7025 to 1572 computations (77.6% saved)

regimes207.0ms (5.1%)

Accuracy

Total 1.2b remaining (99%)

Threshold costs 0b (0%)

Counts

29 → 3

Compiler

Compiled 1891 to 1208 computations (36.1% saved)

bsearch1.0ms (0%)

Compiler: Compiled 13 to 8 computations (38.5% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

8×	`+-commutative_binary64`
7×	`*-commutative_binary64`
6×	`sub-neg_binary64`
4×	`neg-sub0_binary64`
4×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	77
1	33	77
2	43	77
3	54	77
4	60	77
5	63	77
6	64	77
7	64	77

end65.0ms (1.6%)

Compiler: Compiled 168 to 75 computations (55.4% saved)

Details

analyze961.0ms (23.6%)

sample1.3s (32%)

simplify69.0ms (1.7%)

prune3.0ms (0.1%)

localize6.0ms (0.2%)

series18.0ms (0.4%)

rewrite56.0ms (1.4%)

simplify87.0ms (2.1%)

prune25.0ms (0.6%)

localize9.0ms (0.2%)

series48.0ms (1.2%)

rewrite80.0ms (2%)

simplify138.0ms (3.4%)

prune105.0ms (2.6%)

localize7.0ms (0.2%)

series78.0ms (1.9%)

rewrite110.0ms (2.7%)

simplify149.0ms (3.7%)

prune170.0ms (4.2%)

localize5.0ms (0.1%)

series29.0ms (0.7%)

rewrite118.0ms (2.9%)

simplify98.0ms (2.4%)

prune125.0ms (3.1%)

regimes207.0ms (5.1%)

bsearch1.0ms (0%)

simplify5.0ms (0.1%)

end65.0ms (1.6%)

Profiling