Details

analyze451.0ms (14.4%)

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
12.5%	87.4%	0.1%	7
18.7%	81.1%	0.1%	8
31.2%	68.6%	0.1%	9
40.6%	50.7%	8.7%	10
48.4%	42.1%	9.5%	11
54.2%	35.5%	10.3%	12
59.1%	25.9%	15%	13
63.9%	20.9%	15.3%	14

Compiler

Compiled 13 to 9 computations (30.8% saved)

sample1.1s (34%)

Results

847.0ms	8256×	body	128	valid
59.0ms	600×	body	128	invalid

Compiler

Compiled 38 to 26 computations (31.6% saved)

simplify52.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

782×	`fma-def_binary64`
523×	`fma-neg_binary64`
142×	`cancel-sign-sub-inv_binary64`
122×	`distribute-rgt-in_binary64`
106×	`unsub-neg_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	13
1	16	11
2	36	11
3	78	11
4	154	11
5	268	11
6	404	11
7	631	11
8	911	11
9	1092	11
10	1291	11
11	1314	11
12	1316	11
13	1316	11
14	1243	11

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.1b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.1b	(fma.f64 (*.f64 (-.f64 y x) 6) z x)

Compiler

Compiled 42 to 25 computations (40.5% saved)

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 (-.f64 y x) 6)
✓	0.1b	(fma.f64 (*.f64 (-.f64 y x) 6) z x)

series14.0ms (0.4%)

Counts

2 → 60

Calls

2 calls:

9.0ms	(fma.f64 (*.f64 (-.f64 y x) 6) z x)
4.0ms	(*.f64 (-.f64 y x) 6)

rewrite49.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

847×	`log1p-expm1-u_binary64`
847×	`expm1-log1p-u_binary64`
433×	`prod-diff_binary64`
88×	`add-sqr-sqrt_binary64`
82×	`add-log-exp_binary64`

Counts

2 → 44

Calls

2 calls:

48.0ms	(*.f64 (-.f64 y x) 6)
48.0ms	(fma.f64 (*.f64 (-.f64 y x) 6) z x)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	18
1	171	18
2	2112	18
3	5919	18

simplify65.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

742×	`fma-def_binary64`
521×	`fma-neg_binary64`
105×	`cancel-sign-sub-inv_binary64`
96×	`associate-l_binary64`
95×	`distribute-rgt-in_binary64`

Counts

104 → 61

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	29	681
1	83	573
2	180	567
3	367	513
4	635	513
5	1001	513
6	1279	513
7	1320	513
8	1324	513
9	1324	513
10	1251	513

prune42.0ms (1.3%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	55	6	61
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	55	7	62

Error

0.0b

Counts

62 → 7

Alt Table

Status	Error	Program
	31.6b	(fma.f64 (pow.f64 (sqrt.f64 (*.f64 (-.f64 y x) 6)) 2) z x)
	0.2b	(fma.f64 6 (*.f64 z (-.f64 y x)) x)
	0.6b	(fma.f64 (pow.f64 (cbrt.f64 (*.f64 (-.f64 y x) 6)) 3) z x)
▶	0.1b	(-.f64 (+.f64 (.f64 6 (.f64 y z)) x) (.f64 6 (.f64 z x)))
	40.9b	(cbrt.f64 (pow.f64 (fma.f64 (*.f64 (-.f64 y x) 6) z x) 3))
	1.4b	(.f64 (cbrt.f64 (fma.f64 (.f64 (-.f64 y x) 6) z x)) (pow.f64 (cbrt.f64 (fma.f64 (*.f64 (-.f64 y x) 6) z x)) 2))
✓	0.1b	(fma.f64 (*.f64 (-.f64 y x) 6) z x)

Compiler

Compiled 902 to 500 computations (44.6% saved)

localize13.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (.f64 6 (.f64 y z)) x)
✓	0.0b	(-.f64 (+.f64 (.f64 6 (.f64 y z)) x) (.f64 6 (.f64 z x)))
✓	0.2b	(.f64 6 (.f64 y z))
✓	0.3b	(.f64 6 (.f64 z x))

series31.0ms (1%)

Counts

4 → 18

Calls

4 calls:

17.0ms	(-.f64 (+.f64 (.f64 6 (.f64 y z)) x) (.f64 6 (.f64 z x)))
6.0ms	(+.f64 (.f64 6 (.f64 y z)) x)
4.0ms	(.f64 6 (.f64 z x))
4.0ms	(.f64 6 (.f64 y z))

rewrite86.0ms (2.7%)

Algorithm

1×	batch-egg-rewrite

Rules

670×	`fma-def_binary64`
305×	`fma-neg_binary64`
231×	`egg-rr`
230×	`expm1-udef_binary64`
230×	`log1p-udef_binary64`

Counts

4 → 231

Calls

4 calls:

81.0ms	(+.f64 (.f64 6 (.f64 y z)) x)
81.0ms	(-.f64 (+.f64 (.f64 6 (.f64 y z)) x) (.f64 6 (.f64 z x)))
81.0ms	(.f64 6 (.f64 y z))
81.0ms	(.f64 6 (.f64 z x))

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	11	39
1	251	39
2	3341	37
3	4941	37

simplify55.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

663×	`fma-def_binary64`
320×	`fma-neg_binary64`
96×	`associate-l_binary64`
82×	`associate-r_binary64`
82×	`cancel-sign-sub-inv_binary64`

Counts

249 → 240

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	25	111
1	75	111
2	164	105
3	330	105
4	552	105
5	825	105
6	1043	105
7	1069	105
8	1072	105
9	1072	105
10	999	105

prune198.0ms (6.3%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	237	3	240
Fresh	4	1	5
Picked	0	1	1
Done	0	1	1
Total	241	6	247

Error

Counts

247 → 6

Alt Table

Status	Error	Program
✓	0.1b	(-.f64 (+.f64 (.f64 6 (.f64 y z)) x) (.f64 6 (.f64 z x)))
▶	0.4b	(fma.f64 y (.f64 6 z) (-.f64 x (.f64 6 (*.f64 z x))))
	0.4b	(fma.f64 x (-.f64 1 (.f64 6 z)) (.f64 6 (*.f64 z y)))
	1.4b	(.f64 (cbrt.f64 (fma.f64 (.f64 (-.f64 y x) 6) z x)) (pow.f64 (cbrt.f64 (fma.f64 (*.f64 (-.f64 y x) 6) z x)) 2))
✓	0.1b	(fma.f64 (*.f64 (-.f64 y x) 6) z x)
	29.6b	(.f64 (-.f64 (pow.f64 (fma.f64 6 (.f64 z y) x) 2) (.f64 36 (pow.f64 (.f64 z x) 2))) (/.f64 1 (fma.f64 6 (.f64 z x) (fma.f64 6 (.f64 z y) x))))

Compiler

Compiled 5301 to 2698 computations (49.1% saved)

localize12.0ms (0.4%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 x (.f64 6 (.f64 z x)))
	0.3b	(.f64 6 (.f64 z x))
✓	0.3b	(fma.f64 y (.f64 6 z) (-.f64 x (.f64 6 (*.f64 z x))))

series14.0ms (0.5%)

Counts

2 → 51

Calls

2 calls:

10.0ms	(fma.f64 y (.f64 6 z) (-.f64 x (.f64 6 (*.f64 z x))))
5.0ms	(-.f64 x (.f64 6 (.f64 z x)))

rewrite76.0ms (2.4%)

Algorithm

1×	batch-egg-rewrite

Rules

863×	`prod-diff_binary64`
196×	`expm1-udef_binary64`
196×	`log1p-udef_binary64`
140×	`egg-rr`
110×	`add-sqr-sqrt_binary64`

Counts

2 → 140

Calls

2 calls:

73.0ms	(-.f64 x (.f64 6 (.f64 z x)))
73.0ms	(fma.f64 y (.f64 6 z) (-.f64 x (.f64 6 (*.f64 z x))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	27
1	216	27
2	2675	27
3	4950	27

simplify74.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

732×	`fma-def_binary64`
539×	`fma-neg_binary64`
105×	`cancel-sign-sub-inv_binary64`
98×	`associate-l_binary64`
97×	`distribute-rgt-in_binary64`

Counts

191 → 153

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	29	666
1	84	558
2	179	528
3	380	474
4	642	474
5	1011	474
6	1279	474
7	1320	474
8	1324	474
9	1324	474
10	1251	474

prune142.0ms (4.5%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	167	0	167
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	167	6	173

Error

Counts

173 → 6

Alt Table

Status	Error	Program
✓	0.1b	(-.f64 (+.f64 (.f64 6 (.f64 y z)) x) (.f64 6 (.f64 z x)))
✓	0.4b	(fma.f64 y (.f64 6 z) (-.f64 x (.f64 6 (*.f64 z x))))
▶	0.4b	(fma.f64 x (-.f64 1 (.f64 6 z)) (.f64 6 (*.f64 z y)))
	1.4b	(.f64 (cbrt.f64 (fma.f64 (.f64 (-.f64 y x) 6) z x)) (pow.f64 (cbrt.f64 (fma.f64 (*.f64 (-.f64 y x) 6) z x)) 2))
✓	0.1b	(fma.f64 (*.f64 (-.f64 y x) 6) z x)
	29.6b	(.f64 (-.f64 (pow.f64 (fma.f64 6 (.f64 z y) x) 2) (.f64 36 (pow.f64 (.f64 z x) 2))) (/.f64 1 (fma.f64 6 (.f64 z x) (fma.f64 6 (.f64 z y) x))))

Compiler

Compiled 4665 to 2416 computations (48.2% saved)

localize7.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 1 (*.f64 6 z))
✓	0.2b	(.f64 6 (.f64 z y))
✓	0.3b	(fma.f64 x (-.f64 1 (.f64 6 z)) (.f64 6 (*.f64 z y)))

series18.0ms (0.6%)

Counts

3 → 63

Calls

3 calls:

10.0ms	(fma.f64 x (-.f64 1 (.f64 6 z)) (.f64 6 (*.f64 z y)))
6.0ms	(.f64 6 (.f64 z y))
1.0ms	(-.f64 1 (*.f64 6 z))

rewrite64.0ms (2.1%)

Algorithm

1×	batch-egg-rewrite

Rules

602×	`prod-diff_binary64`
541×	`log-prod_binary64`
198×	`expm1-udef_binary64`
197×	`log1p-udef_binary64`
175×	`fma-def_binary64`

Counts

3 → 95

Calls

3 calls:

58.0ms	(-.f64 1 (*.f64 6 z))
58.0ms	(.f64 6 (.f64 z y))
58.0ms	(fma.f64 x (-.f64 1 (.f64 6 z)) (.f64 6 (*.f64 z y)))

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	11	31
1	228	31
2	2637	27
3	5439	27

simplify73.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

742×	`fma-def_binary64`
521×	`fma-neg_binary64`
105×	`cancel-sign-sub-inv_binary64`
96×	`associate-l_binary64`
95×	`distribute-rgt-in_binary64`

Counts

158 → 109

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	29	708
1	83	600
2	180	594
3	367	540
4	635	540
5	1001	540
6	1279	540
7	1320	540
8	1324	540
9	1324	540
10	1251	540

prune86.0ms (2.8%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	109	0	109
Fresh	0	2	2
Picked	0	1	1
Done	0	3	3
Total	109	6	115

Error

Counts

115 → 6

Alt Table

Status	Error	Program
✓	0.1b	(-.f64 (+.f64 (.f64 6 (.f64 y z)) x) (.f64 6 (.f64 z x)))
✓	0.4b	(fma.f64 y (.f64 6 z) (-.f64 x (.f64 6 (*.f64 z x))))
✓	0.4b	(fma.f64 x (-.f64 1 (.f64 6 z)) (.f64 6 (*.f64 z y)))
	1.4b	(.f64 (cbrt.f64 (fma.f64 (.f64 (-.f64 y x) 6) z x)) (pow.f64 (cbrt.f64 (fma.f64 (*.f64 (-.f64 y x) 6) z x)) 2))
✓	0.1b	(fma.f64 (*.f64 (-.f64 y x) 6) z x)
	29.6b	(.f64 (-.f64 (pow.f64 (fma.f64 6 (.f64 z y) x) 2) (.f64 36 (pow.f64 (.f64 z x) 2))) (/.f64 1 (fma.f64 6 (.f64 z x) (fma.f64 6 (.f64 z y) x))))

Compiler

Compiled 1877 to 1212 computations (35.4% saved)

regimes325.0ms (10.4%)

Accuracy

Total 0.2b remaining (93.5%)

Threshold costs 0.2b (93.5%)

Counts

85 → 1

Compiler

Compiled 5616 to 3814 computations (32.1% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

8×	`*-commutative_binary64`
6×	`+-commutative_binary64`
5×	`sub-neg_binary64`
4×	`distribute-lft-neg-in_binary64`
4×	`distribute-rgt-neg-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	19
1	22	19
2	30	19
3	40	19
4	47	19
5	52	19
6	54	19
7	53	19

end105.0ms (3.3%)

Compiler: Compiled 146 to 97 computations (33.6% saved)

Details

analyze451.0ms (14.4%)

sample1.1s (34%)

simplify52.0ms (1.7%)

prune3.0ms (0.1%)

localize6.0ms (0.2%)

series14.0ms (0.4%)

rewrite49.0ms (1.6%)

simplify65.0ms (2.1%)

prune42.0ms (1.3%)

localize13.0ms (0.4%)

series31.0ms (1%)

rewrite86.0ms (2.7%)

simplify55.0ms (1.7%)

prune198.0ms (6.3%)

localize12.0ms (0.4%)

series14.0ms (0.5%)

rewrite76.0ms (2.4%)

simplify74.0ms (2.4%)

prune142.0ms (4.5%)

localize7.0ms (0.2%)

series18.0ms (0.6%)

rewrite64.0ms (2.1%)

simplify73.0ms (2.3%)

prune86.0ms (2.8%)

regimes325.0ms (10.4%)

simplify3.0ms (0.1%)

end105.0ms (3.3%)

Profiling