Details

analyze930.0ms (24.1%)

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
6.2%	93.6%	0.2%	9
9.4%	90.4%	0.2%	10
12.5%	85.6%	1.9%	11
19.5%	76.8%	3.7%	12
25.7%	64.7%	9.6%	13
31.6%	54.7%	13.7%	14

Compiler

Compiled 14 to 9 computations (35.7% saved)

sample1.6s (41.7%)

Results

981.0ms	8256×	body	128	valid
538.0ms	2634×	body	128	invalid

Compiler

Compiled 41 to 26 computations (36.6% saved)

simplify179.0ms (4.6%)

Algorithm

1×	egg-herbie

Rules

2262×	`fma-neg_binary64`
697×	`fma-def_binary64`
683×	`unsub-neg_binary64`
313×	`distribute-rgt-in_binary64`
306×	`sub-neg_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	13
1	15	11
2	37	11
3	105	11
4	335	11
5	850	11
6	1678	11
7	1991	11
8	2282	11
9	2193	11
10	2201	11
11	2201	11
12	2202	11
13	2172	11
14	2172	11
15	4437	11
16	4437	11
17	4437	11
18	4378	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.0b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.0b	(fma.f64 (-.f64 y z) (-.f64 t x) x)

Compiler

Compiled 45 to 23 computations (48.9% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

series13.0ms (0.3%)

Counts

1 → 48

Calls

1 calls:

13.0ms

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

rewrite74.0ms (1.9%)

Algorithm

2×	batch-egg-rewrite

Rules

23× egg-rr

Counts

1 → 23

Calls

2 calls:

74.0ms	((fma.f64 (-.f64 y z) (-.f64 t x) x))
0.0ms	()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	11
1	180	11
2	2446	11
3	4731	11
4	5026	11
0	0	0
1	0	0

simplify195.0ms (5.1%)

Algorithm

1×	egg-herbie

Rules

2435×	`fma-neg_binary64`
542×	`fma-def_binary64`
333×	`unsub-neg_binary64`
298×	`sub-neg_binary64`
252×	`distribute-rgt-in_binary64`

Counts

71 → 42

Iterations

Useful iterations: 11 (0.0ms)

Iter	Nodes	Cost
0	41	788
1	130	783
2	317	783
3	679	701
4	1586	557
5	2224	557
6	2071	557
7	2070	557
8	2071	557
9	2071	557
10	2071	557
11	2071	485
12	4425	485
13	4425	485
14	4425	485
15	4366	485

prune22.0ms (0.6%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	41	1	42
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	41	2	43

Error

Counts

43 → 2

Alt Table

Status	Error	Program
✓	0.0b	(fma.f64 (-.f64 y z) (-.f64 t x) x)
▶	0.0b	(-.f64 (+.f64 (.f64 y t) (+.f64 (.f64 z x) x)) (+.f64 (.f64 y x) (.f64 t z)))

Compiler

Compiled 532 to 148 computations (72.2% saved)

localize12.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

series39.0ms (1%)

Counts

4 → 87

Calls

4 calls:

15.0ms	(-.f64 (+.f64 (.f64 y t) (+.f64 (.f64 z x) x)) (+.f64 (.f64 y x) (.f64 t z)))
10.0ms	(+.f64 (.f64 y t) (+.f64 (.f64 z x) x))
9.0ms	(+.f64 (.f64 y x) (.f64 t z))
4.0ms	(+.f64 (*.f64 z x) x)

rewrite92.0ms (2.4%)

Algorithm

2×	batch-egg-rewrite

Rules

184× egg-rr

Counts

4 → 184

Calls

2 calls:

88.0ms	((-.f64 (+.f64 (.f64 y t) (+.f64 (.f64 z x) x)) (+.f64 (.f64 y x) (.f64 t z))) (+.f64 (.f64 y x) (.f64 t z)) (+.f64 (.f64 z x) x) (+.f64 (.f64 y t) (+.f64 (*.f64 z x) x)))
0.0ms	()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	41
1	309	41
2	4609	41
3	5105	41
0	0	0
1	0	0

simplify221.0ms (5.7%)

Algorithm

1×	egg-herbie

Rules

2631×	`fma-neg_binary64`
527×	`fma-def_binary64`
329×	`unsub-neg_binary64`
269×	`sub-neg_binary64`
260×	`distribute-rgt-in_binary64`

Counts

271 → 216

Iterations

Useful iterations: 10 (0.0ms)

Iter	Nodes	Cost
0	40	778
1	120	773
2	302	773
3	647	727
4	1456	655
5	2694	655
6	2585	655
7	2573	655
8	2573	655
9	2573	655
10	2573	619
11	4425	619
12	4425	619
13	4425	619
14	4425	619
15	4366	619

prune128.0ms (3.3%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	216	0	216
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	216	2	218

Error

Counts

218 → 2

Alt Table

Status	Error	Program
✓	0.0b	(fma.f64 (-.f64 y z) (-.f64 t x) x)
✓	0.0b	(-.f64 (+.f64 (.f64 y t) (+.f64 (.f64 z x) x)) (+.f64 (.f64 y x) (.f64 t z)))

Compiler

Compiled 5134 to 1091 computations (78.7% saved)

regimes291.0ms (7.5%)

Accuracy

Total 0.0b remaining (64.6%)

Threshold costs 0.0b (64.6%)

Counts

53 → 1

Compiler

Compiled 5342 to 3058 computations (42.8% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	11
1	12	11
2	20	11
3	24	11
4	26	11
5	26	11

end43.0ms (1.1%)

Compiler: Compiled 57 to 33 computations (42.1% saved)

Details

analyze930.0ms (24.1%)

sample1.6s (41.7%)

simplify179.0ms (4.6%)

prune3.0ms (0.1%)

localize5.0ms (0.1%)

series13.0ms (0.3%)

rewrite74.0ms (1.9%)

simplify195.0ms (5.1%)

prune22.0ms (0.6%)

localize12.0ms (0.3%)

series39.0ms (1%)

rewrite92.0ms (2.4%)

simplify221.0ms (5.7%)

prune128.0ms (3.3%)

regimes291.0ms (7.5%)

simplify3.0ms (0.1%)

end43.0ms (1.1%)

Profiling