Details

analyze2.6s (18.8%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.6%	0.4%	0
0%	99.6%	0.4%	1
0%	99.6%	0.4%	2
0%	99.6%	0.4%	3
0%	99.6%	0.4%	4
0%	99.6%	0.4%	5
0%	99.6%	0.4%	6
0%	99.6%	0.4%	7
0%	99.6%	0.4%	8
0%	99.6%	0.4%	9
0%	99.6%	0.4%	10
0%	99.6%	0.4%	11
0%	99.6%	0.4%	12
0%	99.6%	0.4%	13
0%	99.6%	0.4%	14

Compiler

Compiled 28 to 19 computations (32.1% saved)

sample3.9s (27.7%)

Symmetry

(sort x y)

(sort z t)

Results

2.1s	8256×	body	128	valid
1.7s	7635×	body	128	invalid

Compiler

Compiled 83 to 56 computations (32.5% saved)

simplify231.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

1133×	`distribute-rgt-in_binary64`
1066×	`distribute-lft-in_binary64`
969×	`unsub-neg_binary64`
583×	`fma-def_binary64`
461×	`sub-neg_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	19	26
1	37	24
2	97	24
3	277	24
4	797	24
5	1809	24
6	2532	24
7	2783	24
8	3128	24
9	3409	24
10	3319	24
11	3327	24
12	3331	24
13	3461	24
14	3620	24
15	3621	24
16	3623	24
17	3623	24
18	5071	24

prune4.0ms (0%)

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

5.7b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	5.7b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 c (fma.f64 b c a)) i)))

Compiler

Compiled 94 to 57 computations (39.4% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 x y (*.f64 z t))
✓	0.0b	(-.f64 (fma.f64 x y (.f64 z t)) (.f64 (*.f64 c (fma.f64 b c a)) i))
✓	0.1b	(*.f64 c (fma.f64 b c a))
✓	7.2b	(.f64 (.f64 c (fma.f64 b c a)) i)

series86.0ms (0.6%)

Counts

4 → 228

Calls

4 calls:

49.0ms	(-.f64 (fma.f64 x y (.f64 z t)) (.f64 (*.f64 c (fma.f64 b c a)) i))
18.0ms	(.f64 (.f64 c (fma.f64 b c a)) i)
10.0ms	(*.f64 c (fma.f64 b c a))
9.0ms	(fma.f64 x y (*.f64 z t))

rewrite90.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

367×	`fma-def_binary64`
294×	`expm1-udef_binary64`
294×	`log1p-udef_binary64`
174×	`fma-neg_binary64`
163×	`add-sqr-sqrt_binary64`

Counts

4 → 160

Calls

4 calls:

80.0ms	(fma.f64 x y (*.f64 z t))
80.0ms	(-.f64 (fma.f64 x y (.f64 z t)) (.f64 (*.f64 c (fma.f64 b c a)) i))
80.0ms	(*.f64 c (fma.f64 b c a))
80.0ms	(.f64 (.f64 c (fma.f64 b c a)) i)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	48
1	311	48
2	3872	48
3	5289	48

simplify371.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

932×	`fma-neg_binary64`
891×	`distribute-rgt-neg-in_binary64`
739×	`cube-prod_binary64`
707×	`distribute-lft-neg-in_binary64`
670×	`fabs-mul_binary64`

Counts

388 → 198

Iterations

Useful iterations: 10 (0.0ms)

Iter	Nodes	Cost
0	47	3604
1	113	2908
2	275	2827
3	572	2827
4	1777	2827
5	2670	2827
6	3267	2827
7	3703	2827
8	4161	2827
9	4249	2827
10	4344	2675
11	3348	2675
12	3490	2675
13	4121	2675
14	4413	2675
15	4569	2675
16	4846	2675
17	4912	2675

prune185.0ms (1.3%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	190	8	198
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	191	8	199

Error

0.0b

Counts

199 → 8

Alt Table

Status	Error	Program
	40.8b	(.f64 2 (cbrt.f64 (pow.f64 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 c (fma.f64 c b a)) i)) 3)))
	11.7b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 c a) i)))
▶	4.6b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 c (.f64 i (fma.f64 c b a)))))
	11.6b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (+.f64 (.f64 (pow.f64 c 2) (.f64 i b)) (.f64 c (.f64 i a)))))
	26.5b	(.f64 2 (-.f64 (/.f64 (-.f64 (.f64 (.f64 x y) (.f64 x y)) (pow.f64 (.f64 z t) 2)) (-.f64 (.f64 x y) (.f64 z t))) (.f64 (*.f64 c (fma.f64 b c a)) i)))
	17.2b	(.f64 2 (fma.f64 (.f64 (neg.f64 (.f64 c (fma.f64 c b a))) (cbrt.f64 (.f64 i i))) (cbrt.f64 i) (fma.f64 x y (*.f64 z t))))
	26.7b	(.f64 2 (fma.f64 (sqrt.f64 (neg.f64 (.f64 (.f64 c (fma.f64 c b a)) i))) (sqrt.f64 (neg.f64 (.f64 (.f64 c (fma.f64 c b a)) i))) (fma.f64 x y (.f64 z t))))
	5.7b	(.f64 2 (fma.f64 x y (-.f64 (.f64 z t) (.f64 (.f64 c (fma.f64 c b a)) i))))

Compiler

Compiled 5995 to 1490 computations (75.1% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(fma.f64 x y (*.f64 z t))
✓	0.0b	(-.f64 (fma.f64 x y (.f64 z t)) (.f64 c (*.f64 i (fma.f64 c b a))))
✓	1.1b	(*.f64 i (fma.f64 c b a))
✓	3.9b	(.f64 c (.f64 i (fma.f64 c b a)))

series87.0ms (0.6%)

Counts

3 → 192

Calls

3 calls:

56.0ms	(-.f64 (fma.f64 x y (.f64 z t)) (.f64 c (*.f64 i (fma.f64 c b a))))
20.0ms	(.f64 c (.f64 i (fma.f64 c b a)))
11.0ms	(*.f64 i (fma.f64 c b a))

rewrite85.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

369×	`fma-def_binary64`
294×	`expm1-udef_binary64`
294×	`log1p-udef_binary64`
174×	`fma-neg_binary64`
163×	`add-sqr-sqrt_binary64`

Counts

3 → 143

Calls

3 calls:

81.0ms	(-.f64 (fma.f64 x y (.f64 z t)) (.f64 c (*.f64 i (fma.f64 c b a))))
81.0ms	(*.f64 i (fma.f64 c b a))
81.0ms	(.f64 c (.f64 i (fma.f64 c b a)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	40
1	311	40
2	3879	40
3	5298	40

simplify377.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

926×	`fma-neg_binary64`
891×	`distribute-rgt-neg-in_binary64`
739×	`cube-prod_binary64`
707×	`distribute-lft-neg-in_binary64`
670×	`fabs-mul_binary64`

Counts

335 → 182

Iterations

Useful iterations: 10 (0.0ms)

Iter	Nodes	Cost
0	51	3283
1	121	2587
2	279	2587
3	568	2587
4	1776	2587
5	2670	2587
6	3267	2587
7	3703	2587
8	4161	2587
9	4249	2587
10	4344	2435
11	3348	2435
12	3490	2435
13	4121	2435
14	4413	2435
15	4569	2435
16	4846	2435
17	4912	2435

prune217.0ms (1.6%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	202	3	205
Fresh	3	4	7
Picked	1	0	1
Done	0	0	0
Total	206	7	213

Error

0.0b

Counts

213 → 7

Alt Table

Status	Error	Program
	5.7b	(.f64 2 (fma.f64 x y (-.f64 (.f64 z t) (.f64 (.f64 c (fma.f64 c b a)) i))))
▶	1.6b	(.f64 2 (fma.f64 (.f64 c i) (neg.f64 (fma.f64 c b a)) (fma.f64 x y (*.f64 z t))))
	40.8b	(.f64 2 (cbrt.f64 (pow.f64 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 c (fma.f64 c b a)) i)) 3)))
	6.3b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 c (+.f64 (.f64 c (.f64 i b)) (.f64 a i)))))
	26.5b	(.f64 2 (-.f64 (/.f64 (-.f64 (.f64 (.f64 x y) (.f64 x y)) (pow.f64 (.f64 z t) 2)) (-.f64 (.f64 x y) (.f64 z t))) (.f64 (*.f64 c (fma.f64 b c a)) i)))
	17.2b	(.f64 2 (fma.f64 (.f64 (neg.f64 (.f64 c (fma.f64 c b a))) (cbrt.f64 (.f64 i i))) (cbrt.f64 i) (fma.f64 x y (*.f64 z t))))
	4.9b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 c (pow.f64 (cbrt.f64 (.f64 i (fma.f64 c b a))) 3))))

Compiler

Compiled 6081 to 1470 computations (75.8% saved)

localize13.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
	0.0b	(fma.f64 x y (*.f64 z t))
✓	1.5b	(fma.f64 (.f64 c i) (neg.f64 (fma.f64 c b a)) (fma.f64 x y (.f64 z t)))

series55.0ms (0.4%)

Counts

1 → 96

Calls

1 calls:

55.0ms

(fma.f64 (*.f64 c i) (neg.f64 (fma.f64 c b a)) (fma.f64 x y (*.f64 z t)))

rewrite115.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

319×	`prod-diff_binary64`
263×	`expm1-udef_binary64`
263×	`log1p-udef_binary64`
224×	`fma-udef_binary64`
206×	`fma-neg_binary64`

Counts

1 → 24

Calls

1 calls:

115.0ms

(fma.f64 (*.f64 c i) (neg.f64 (fma.f64 c b a)) (fma.f64 x y (*.f64 z t)))

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	21
1	298	19
2	3303	19
3	4824	19
4	4991	19
5	4961	19

simplify289.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

1019×	`distribute-rgt-neg-in_binary64`
917×	`fma-neg_binary64`
702×	`fabs-mul_binary64`
648×	`distribute-lft-neg-in_binary64`
638×	`cancel-sign-sub-inv_binary64`

Counts

120 → 47

Iterations

Useful iterations: 10 (0.0ms)

Iter	Nodes	Cost
0	39	2199
1	98	1968
2	246	1891
3	526	1737
4	1663	1737
5	2554	1737
6	3170	1737
7	3619	1737
8	4077	1737
9	4162	1737
10	4259	1565
11	3323	1565
12	3242	1565
13	3757	1565
14	4486	1565
15	4839	1565

prune59.0ms (0.4%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	70	0	70
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	70	7	77

Error

0.0b

Counts

77 → 7

Alt Table

Status	Error	Program
	5.7b	(.f64 2 (fma.f64 x y (-.f64 (.f64 z t) (.f64 (.f64 c (fma.f64 c b a)) i))))
✓	1.6b	(.f64 2 (fma.f64 (.f64 c i) (neg.f64 (fma.f64 c b a)) (fma.f64 x y (*.f64 z t))))
	40.8b	(.f64 2 (cbrt.f64 (pow.f64 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 c (fma.f64 c b a)) i)) 3)))
	6.3b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 c (+.f64 (.f64 c (.f64 i b)) (.f64 a i)))))
	26.5b	(.f64 2 (-.f64 (/.f64 (-.f64 (.f64 (.f64 x y) (.f64 x y)) (pow.f64 (.f64 z t) 2)) (-.f64 (.f64 x y) (.f64 z t))) (.f64 (*.f64 c (fma.f64 b c a)) i)))
	17.2b	(.f64 2 (fma.f64 (.f64 (neg.f64 (.f64 c (fma.f64 c b a))) (cbrt.f64 (.f64 i i))) (cbrt.f64 i) (fma.f64 x y (*.f64 z t))))
▶	4.9b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 c (pow.f64 (cbrt.f64 (.f64 i (fma.f64 c b a))) 3))))

Compiler

Compiled 1778 to 629 computations (64.6% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(pow.f64 (cbrt.f64 (*.f64 i (fma.f64 c b a))) 3)
	1.1b	(*.f64 i (fma.f64 c b a))
✓	3.9b	(.f64 c (pow.f64 (cbrt.f64 (.f64 i (fma.f64 c b a))) 3))
✓	9.1b	(cbrt.f64 (*.f64 i (fma.f64 c b a)))

series2.0s (14.5%)

Counts

3 → 144

Calls

3 calls:

1.6s	(pow.f64 (cbrt.f64 (*.f64 i (fma.f64 c b a))) 3)
359.0ms	(cbrt.f64 (*.f64 i (fma.f64 c b a)))
31.0ms	(.f64 c (pow.f64 (cbrt.f64 (.f64 i (fma.f64 c b a))) 3))

rewrite62.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

880×	`log1p-expm1-u_binary64`
880×	`expm1-log1p-u_binary64`
100×	`add-sqr-sqrt_binary64`
93×	`add-cbrt-cube_binary64`
93×	`add-log-exp_binary64`

Counts

3 → 76

Calls

3 calls:

57.0ms	(pow.f64 (cbrt.f64 (*.f64 i (fma.f64 c b a))) 3)
57.0ms	(.f64 c (pow.f64 (cbrt.f64 (.f64 i (fma.f64 c b a))) 3))
57.0ms	(cbrt.f64 (*.f64 i (fma.f64 c b a)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	29
1	206	29
2	2311	29
3	5439	29

simplify108.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

813×	`fma-def_binary64`
311×	`unswap-sqr_binary64`
279×	`associate-r_binary64`
236×	`times-frac_binary64`
207×	`associate-/l*_binary64`

Counts

220 → 187

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	308	5006
1	974	4513
2	3347	4302
3	4987	4302

prune238.0ms (1.7%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	213	0	213
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	213	7	220

Error

0.0b

Counts

220 → 7

Alt Table

Status	Error	Program
	5.7b	(.f64 2 (fma.f64 x y (-.f64 (.f64 z t) (.f64 (.f64 c (fma.f64 c b a)) i))))
✓	1.6b	(.f64 2 (fma.f64 (.f64 c i) (neg.f64 (fma.f64 c b a)) (fma.f64 x y (*.f64 z t))))
	40.8b	(.f64 2 (cbrt.f64 (pow.f64 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 (.f64 c (fma.f64 c b a)) i)) 3)))
	6.3b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 c (+.f64 (.f64 c (.f64 i b)) (.f64 a i)))))
	26.5b	(.f64 2 (-.f64 (/.f64 (-.f64 (.f64 (.f64 x y) (.f64 x y)) (pow.f64 (.f64 z t) 2)) (-.f64 (.f64 x y) (.f64 z t))) (.f64 (*.f64 c (fma.f64 b c a)) i)))
	17.2b	(.f64 2 (fma.f64 (.f64 (neg.f64 (.f64 c (fma.f64 c b a))) (cbrt.f64 (.f64 i i))) (cbrt.f64 i) (fma.f64 x y (*.f64 z t))))
✓	4.9b	(.f64 2 (-.f64 (fma.f64 x y (.f64 z t)) (.f64 c (pow.f64 (cbrt.f64 (.f64 i (fma.f64 c b a))) 3))))

Compiler

Compiled 7646 to 3598 computations (52.9% saved)

regimes2.6s (18.4%)

Accuracy

Total 1.6b remaining (98%)

Threshold costs 0b (0%)

Counts

129 → 3

Compiler

Compiled 53960 to 34776 computations (35.6% saved)

bsearch5.0ms (0%)

Compiler: Compiled 17 to 12 computations (29.4% saved)

simplify10.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

24×	`*-commutative_binary64`
16×	`+-commutative_binary64`
14×	`sub-neg_binary64`
12×	`distribute-rgt-neg-in_binary64`
12×	`neg-sub0_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	36	118
1	60	118
2	83	118
3	101	118
4	127	118
5	143	118
6	151	118
7	155	118
8	156	118
9	156	118

end150.0ms (1.1%)

Remove

(sort z t)

(sort x y)

Compiler

Compiled 739 to 352 computations (52.4% saved)

Iter	Nodes	Cost
0	36	118
1	60	118
2	83	118
3	101	118
4	127	118
5	143	118
6	151	118
7	155	118
8	156	118
9	156	118

Iter	Nodes	Cost
0	36	118
1	60	118
2	83	118
3	101	118
4	127	118
5	143	118
6	151	118
7	155	118
8	156	118
9	156	118

Details

analyze2.6s (18.8%)

sample3.9s (27.7%)

simplify231.0ms (1.6%)

prune4.0ms (0%)

localize15.0ms (0.1%)

series86.0ms (0.6%)

rewrite90.0ms (0.6%)

simplify371.0ms (2.7%)

prune185.0ms (1.3%)

localize15.0ms (0.1%)

series87.0ms (0.6%)

rewrite85.0ms (0.6%)

simplify377.0ms (2.7%)

prune217.0ms (1.6%)

localize13.0ms (0.1%)

series55.0ms (0.4%)

rewrite115.0ms (0.8%)

simplify289.0ms (2.1%)

prune59.0ms (0.4%)

localize15.0ms (0.1%)

series2.0s (14.5%)

rewrite62.0ms (0.4%)

simplify108.0ms (0.8%)

prune238.0ms (1.7%)

regimes2.6s (18.4%)

bsearch5.0ms (0%)

simplify10.0ms (0.1%)

end150.0ms (1.1%)

Profiling

Iter	Nodes	Cost
0	36	118
1	60	118
2	83	118
3	101	118
4	127	118
5	143	118
6	151	118
7	155	118
8	156	118
9	156	118