Details

analyze936.0ms (3.2%)

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

Results

841.0ms	8256×	body	128	valid
256.0ms	2537×	body	128	invalid

Compiler

Compiled 41 to 26 computations (36.6% saved)

simplify187.0ms (0.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

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

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%)

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%)

Counts

1 → 48

Calls

1 calls:

11.0ms

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

rewrite75.0ms (0.3%)

Algorithm

2×	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 → 23

Calls

1 calls:

74.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
0	0	0
1	0	0

simplify206.0ms (0.7%)

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

prune26.0ms (0.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

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

Error

Counts

43 → 3

Alt Table

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

Compiler

Compiled 562 to 168 computations (70.1% saved)

localize10.0ms (0%)

Local error

Found 4 expressions with local error:

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

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

rewrite93.0ms (0.3%)

Algorithm

2×	batch-egg-rewrite

Rules

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

Counts

4 → 184

Calls

4 calls:

88.0ms	(+.f64 (.f64 y x) (.f64 t z))
88.0ms	(+.f64 (.f64 y t) (+.f64 (.f64 z x) x))
88.0ms	(+.f64 (*.f64 z x) x)
88.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
0	0	0
1	0	0

simplify228.0ms (0.8%)

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

prune134.0ms (0.5%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	216	0	216
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	216	3	219

Error

Counts

219 → 3

Alt Table

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

Compiler

Compiled 5164 to 1111 computations (78.5% saved)

localize7.0ms (0%)

Local error

Found 3 expressions with local error:

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

series25.6s (86.7%)

Counts

2 → 32

Calls

2 calls:

24.8s	(pow.f64 (sqrt.f64 (fma.f64 (-.f64 y z) (-.f64 t x) x)) 2)
818.0ms	(sqrt.f64 (fma.f64 (-.f64 y z) (-.f64 t x) x))

rewrite59.0ms (0.2%)

Algorithm

2×	batch-egg-rewrite

Rules

782×	`prod-diff_binary64`
204×	`expm1-udef_binary64`
204×	`log1p-udef_binary64`
113×	`add-sqr-sqrt_binary64`
112×	`log1p-expm1-u_binary64`

Counts

2 → 47

Calls

2 calls:

58.0ms	(sqrt.f64 (fma.f64 (-.f64 y z) (-.f64 t x) x))
58.0ms	(pow.f64 (sqrt.f64 (fma.f64 (-.f64 y z) (-.f64 t x) x)) 2)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	24
1	226	24
2	2814	24
3	4936	24
0	0	0
1	0	0

simplify76.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

712×	`cancel-sign-sub-inv_binary64`
476×	`associate-r_binary64`
436×	`associate-l_binary64`
404×	`fma-def_binary64`
293×	`*-commutative_binary64`

Counts

79 → 90

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	280	2899
1	985	2598
2	3855	2598
3	5560	2598

prune92.0ms (0.3%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	132	0	132
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	132	3	135

Error

Counts

135 → 3

Alt Table

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

Compiler

Compiled 5046 to 2152 computations (57.4% saved)

regimes505.0ms (1.7%)

Accuracy

Total 0.0b remaining (64.9%)

Threshold costs 0.0b (64.9%)

Counts

78 → 1

Compiler

Compiled 7824 to 4669 computations (40.3% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	19
1	13	19
2	18	19
3	20	19
4	21	19
5	21	19

end56.0ms (0.2%)

Compiler: Compiled 84 to 47 computations (44% saved)

Details

analyze936.0ms (3.2%)

sample1.2s (4%)

simplify187.0ms (0.6%)

prune2.0ms (0%)

localize5.0ms (0%)

series11.0ms (0%)

rewrite75.0ms (0.3%)

simplify206.0ms (0.7%)

prune26.0ms (0.1%)

localize10.0ms (0%)

series37.0ms (0.1%)

rewrite93.0ms (0.3%)

simplify228.0ms (0.8%)

prune134.0ms (0.5%)

localize7.0ms (0%)

series25.6s (86.7%)

rewrite59.0ms (0.2%)

simplify76.0ms (0.3%)

prune92.0ms (0.3%)

regimes505.0ms (1.7%)

simplify3.0ms (0%)

end56.0ms (0.2%)

Profiling