Details

analyze979.0ms (23.9%)

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.4s (35.2%)

Results

1.1s	8256×	body	128	valid
265.0ms	2550×	body	128	invalid

Compiler

Compiled 41 to 26 computations (36.6% saved)

simplify181.0ms (4.4%)

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)

series11.0ms (0.3%)

Counts

1 → 48

Calls

1 calls:

11.0ms

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

rewrite77.0ms (1.9%)

Algorithm

1×	batch-egg-rewrite

Rules

782×	`prod-diff_binary64`
435×	`fma-def_binary64`
211×	`fma-neg_binary64`
176×	`expm1-udef_binary64`
176×	`log1p-udef_binary64`

Counts

1 → 24

Calls

1 calls:

76.0ms

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

Iterations

Useful iterations: 0 (0.0ms)

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

simplify199.0ms (4.8%)

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

72 → 43

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

prune23.0ms (0.6%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Error

Counts

44 → 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 540 to 148 computations (72.6% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series35.0ms (0.9%)

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)))
9.0ms	(+.f64 (.f64 y t) (+.f64 (.f64 z x) x))
8.0ms	(+.f64 (.f64 y x) (.f64 t z))
3.0ms	(+.f64 (*.f64 z x) x)

rewrite102.0ms (2.5%)

Algorithm

1×	batch-egg-rewrite

Rules

294×	`log1p-udef_binary64`
185×	`egg-rr`
160×	`add-sqr-sqrt_binary64`
156×	`log1p-expm1-u_binary64`
156×	`expm1-log1p-u_binary64`

Counts

4 → 185

Calls

4 calls:

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

Iterations

Useful iterations: 0 (0.0ms)

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

simplify226.0ms (5.5%)

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

272 → 217

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

prune131.0ms (3.2%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	217	0	217
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	217	2	219

Error

Counts

219 → 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 5136 to 1088 computations (78.8% saved)

regimes629.0ms (15.4%)

Accuracy

Total 0.0b remaining (62.9%)

Threshold costs 0.0b (62.9%)

Counts

58 → 1

Compiler

Compiled 5822 to 3346 computations (42.5% 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

end41.0ms (1%)

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

Details

analyze979.0ms (23.9%)

sample1.4s (35.2%)

simplify181.0ms (4.4%)

prune3.0ms (0.1%)

localize5.0ms (0.1%)

series11.0ms (0.3%)

rewrite77.0ms (1.9%)

simplify199.0ms (4.8%)

prune23.0ms (0.6%)

localize10.0ms (0.2%)

series35.0ms (0.9%)

rewrite102.0ms (2.5%)

simplify226.0ms (5.5%)

prune131.0ms (3.2%)

regimes629.0ms (15.4%)

simplify3.0ms (0.1%)

end41.0ms (1%)

Profiling