Details

analyze485.0ms (8.8%)

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
18.7%	81.1%	0.1%	6
25%	74.9%	0.1%	7
31.2%	68.6%	0.1%	8
45.2%	53.8%	0.9%	9
50.3%	47.8%	1.9%	10
54%	43.6%	2.4%	11
61.7%	32.9%	5.4%	12
64.1%	28.3%	7.6%	13
66.2%	24.7%	9.2%	14

Compiler

Compiled 16 to 11 computations (31.3% saved)

sample1.8s (32.5%)

Results

1.5s	8256×	body	128	valid
158.0ms	1249×	body	128	invalid

Compiler

Compiled 47 to 32 computations (31.9% saved)

simplify76.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

1167×	`fma-def_binary64`
1073×	`fma-neg_binary64`
225×	`cancel-sign-sub-inv_binary64`
222×	`distribute-rgt-in_binary64`
163×	`distribute-lft-in_binary64`

Counts

1 → 2

Iterations

Useful iterations: 8 (0.0ms)

Iter	Nodes	Cost
0	11	18
1	22	18
2	43	18
3	75	18
4	123	16
5	213	16
6	302	16
7	472	16
8	1009	13
9	1328	13
10	1542	13
11	1559	13
12	1556	13
13	1556	13
14	1453	13

prune3.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Kept	Total
New	2	2
Fresh	1	1
Picked	0	0
Done	0	0
Total	3	3

Error

0.1b

Counts

3 → 2

Alt Table

Status	Error	Program
	4.4b	(fabs.f64 (/.f64 (-.f64 x (fma.f64 x z -4)) y))
▶	2.3b	(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (*.f64 (/.f64 x y) z)))

Compiler

Compiled 78 to 51 computations (34.6% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

series40.0ms (0.7%)

Counts

3 → 96

Calls

3 calls:

20.0ms	(-.f64 (/.f64 (+.f64 x 4) y) (*.f64 (/.f64 x y) z))
14.0ms	(*.f64 (/.f64 x y) z)
5.0ms	(/.f64 (+.f64 x 4) y)

rewrite234.0ms (4.3%)

Algorithm

3×	egg-rewrite

Rules

125×	`egg`
49×	`egg`
47×	`egg`

Counts

3 → 221

Calls

3 calls:

111.0ms	(/.f64 (+.f64 x 4) y)
71.0ms	(-.f64 (/.f64 (+.f64 x 4) y) (*.f64 (/.f64 x y) z))
48.0ms	(*.f64 (/.f64 x y) z)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	125	7
2	1630	7
3	5114	7
0	6	7
1	137	7
2	1790	7
3	4983	7
4	4962	7
5	4936	7
0	10	16
1	236	13
2	3339	13
3	5221	13

simplify95.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

755×	`fma-neg_binary64`
323×	`fma-def_binary64`
185×	`distribute-rgt-in_binary64`
180×	`cancel-sign-sub-inv_binary64`
160×	`unsub-neg_binary64`

Counts

317 → 237

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	31	1102
1	76	1102
2	174	952
3	335	860
4	580	790
5	1196	790
6	1420	790
7	1487	790
8	1499	790
9	1499	790
10	1398	790

prune203.0ms (3.7%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	232	5	237
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	234	5	239

Error

Counts

239 → 5

Alt Table

Status	Error	Program
	3.4b	(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (/.f64 x (/.f64 y z))))
	2.3b	(fabs.f64 (-.f64 (+.f64 (/.f64 x y) (.f64 4 (/.f64 1 y))) (.f64 (/.f64 x y) z)))
	4.4b	(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (.f64 (.f64 x z) (/.f64 1 y))))
	29.5b	(fabs.f64 (*.f64 x (/.f64 (-.f64 1 z) y)))
▶	2.3b	(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (/.f64 z (/.f64 y x))))

Compiler

Compiled 4986 to 2401 computations (51.8% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (/.f64 (+.f64 x 4) y) (/.f64 z (/.f64 y x)))
	0.0b	(/.f64 (+.f64 x 4) y)
✓	3.6b	(/.f64 z (/.f64 y x))

series35.0ms (0.6%)

Counts

2 → 72

Calls

2 calls:

20.0ms	(-.f64 (/.f64 (+.f64 x 4) y) (/.f64 z (/.f64 y x)))
14.0ms	(/.f64 z (/.f64 y x))

rewrite169.0ms (3.1%)

Algorithm

2×	egg-rewrite

Rules

144×	`egg`
55×	`egg`

Counts

2 → 199

Calls

2 calls:

82.0ms	(/.f64 z (/.f64 y x))
80.0ms	(-.f64 (/.f64 (+.f64 x 4) y) (/.f64 z (/.f64 y x)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	131	7
2	1850	7
3	5000	7
4	4983	7
0	10	16
1	245	16
2	3790	16
3	5138	16

simplify86.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

755×	`fma-neg_binary64`
323×	`fma-def_binary64`
185×	`distribute-rgt-in_binary64`
180×	`cancel-sign-sub-inv_binary64`
160×	`unsub-neg_binary64`

Counts

271 → 212

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	30	880
1	76	880
2	174	730
3	335	638
4	580	631
5	1196	631
6	1420	631
7	1487	631
8	1499	631
9	1499	631
10	1398	631

prune186.0ms (3.4%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	267	0	267
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	267	5	272

Error

Counts

272 → 5

Alt Table

Status	Error	Program
	3.4b	(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (/.f64 x (/.f64 y z))))
▶	2.3b	(fabs.f64 (-.f64 (+.f64 (/.f64 x y) (.f64 4 (/.f64 1 y))) (.f64 (/.f64 x y) z)))
	4.4b	(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (.f64 (.f64 x z) (/.f64 1 y))))
	29.5b	(fabs.f64 (*.f64 x (/.f64 (-.f64 1 z) y)))
✓	2.3b	(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (/.f64 z (/.f64 y x))))

Compiler

Compiled 6045 to 2716 computations (55.1% saved)

localize9.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (/.f64 x y) (*.f64 4 (/.f64 1 y)))
✓	0.0b	(-.f64 (+.f64 (/.f64 x y) (.f64 4 (/.f64 1 y))) (.f64 (/.f64 x y) z))
	3.7b	(*.f64 (/.f64 x y) z)

series27.0ms (0.5%)

Counts

2 → 57

Calls

2 calls:

20.0ms	(-.f64 (+.f64 (/.f64 x y) (.f64 4 (/.f64 1 y))) (.f64 (/.f64 x y) z))
7.0ms	(+.f64 (/.f64 x y) (*.f64 4 (/.f64 1 y)))

rewrite175.0ms (3.2%)

Algorithm

2×	egg-rewrite

Rules

157×	`egg`
81×	`egg`

Counts

2 → 238

Calls

2 calls:

87.0ms	(+.f64 (/.f64 x y) (*.f64 4 (/.f64 1 y)))
83.0ms	(-.f64 (+.f64 (/.f64 x y) (.f64 4 (/.f64 1 y))) (.f64 (/.f64 x y) z))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	19
1	273	16
2	3692	16
3	5389	16
0	9	10
1	196	10
2	2458	10
3	4969	10
4	5050	10

simplify88.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

755×	`fma-neg_binary64`
323×	`fma-def_binary64`
185×	`distribute-rgt-in_binary64`
180×	`cancel-sign-sub-inv_binary64`
160×	`unsub-neg_binary64`

Counts

295 → 251

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	31	820
1	76	820
2	174	670
3	335	578
4	580	517
5	1196	517
6	1420	517
7	1487	517
8	1499	517
9	1499	517
10	1398	517

prune233.0ms (4.2%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	299	0	299
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	299	5	304

Error

Counts

304 → 5

Alt Table

Status	Error	Program
▶	3.4b	(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (/.f64 x (/.f64 y z))))
✓	2.3b	(fabs.f64 (-.f64 (+.f64 (/.f64 x y) (.f64 4 (/.f64 1 y))) (.f64 (/.f64 x y) z)))
	4.4b	(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (.f64 (.f64 x z) (/.f64 1 y))))
	29.5b	(fabs.f64 (*.f64 x (/.f64 (-.f64 1 z) y)))
✓	2.3b	(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (/.f64 z (/.f64 y x))))

Compiler

Compiled 6870 to 3013 computations (56.1% saved)

localize8.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
	0.0b	(/.f64 (+.f64 x 4) y)
✓	0.0b	(-.f64 (/.f64 (+.f64 x 4) y) (/.f64 x (/.f64 y z)))
✓	6.7b	(/.f64 x (/.f64 y z))

series32.0ms (0.6%)

Counts

2 → 72

Calls

2 calls:

20.0ms	(-.f64 (/.f64 (+.f64 x 4) y) (/.f64 x (/.f64 y z)))
12.0ms	(/.f64 x (/.f64 y z))

rewrite169.0ms (3.1%)

Algorithm

2×	egg-rewrite

Rules

144×	`egg`
55×	`egg`

Counts

2 → 199

Calls

2 calls:

84.0ms	(-.f64 (/.f64 (+.f64 x 4) y) (/.f64 x (/.f64 y z)))
81.0ms	(/.f64 x (/.f64 y z))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	131	7
2	1850	7
3	5000	7
4	4983	7
0	10	16
1	245	16
2	3789	16
3	5137	16

simplify86.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

755×	`fma-neg_binary64`
323×	`fma-def_binary64`
185×	`distribute-rgt-in_binary64`
180×	`cancel-sign-sub-inv_binary64`
160×	`unsub-neg_binary64`

Counts

271 → 213

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	30	880
1	76	880
2	174	730
3	335	638
4	580	631
5	1196	631
6	1420	631
7	1487	631
8	1499	631
9	1499	631
10	1398	631

prune182.0ms (3.3%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	267	1	268
Fresh	1	1	2
Picked	0	1	1
Done	0	2	2
Total	268	5	273

Error

Counts

273 → 5

Alt Table

Status	Error	Program
	2.3b	(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (/.f64 (/.f64 x y) (/.f64 1 z))))
	29.5b	(fabs.f64 (*.f64 x (/.f64 (-.f64 1 z) y)))
✓	3.4b	(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (/.f64 x (/.f64 y z))))
✓	2.3b	(fabs.f64 (-.f64 (+.f64 (/.f64 x y) (.f64 4 (/.f64 1 y))) (.f64 (/.f64 x y) z)))
✓	2.3b	(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (/.f64 z (/.f64 y x))))

Compiler

Compiled 5995 to 2681 computations (55.3% saved)

regimes980.0ms (17.8%)

Accuracy

Total 0.4b remaining (96.1%)

Threshold costs 0.4b (96.1%)

Counts

136 → 3

Compiler

Compiled 11087 to 7576 computations (31.7% saved)

bsearch4.0ms (0.1%)

Compiler: Compiled 14 to 9 computations (35.7% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

17×	`+-commutative_binary64`
16×	`sub-neg_binary64`
10×	`*-commutative_binary64`
9×	`neg-sub0_binary64`
9×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	99
1	51	99
2	79	99
3	100	99
4	117	99
5	123	99
6	124	99
7	121	99

end86.0ms (1.6%)

Compiler: Compiled 215 to 134 computations (37.7% saved)

Details

analyze485.0ms (8.8%)

sample1.8s (32.5%)

simplify76.0ms (1.4%)

prune3.0ms (0.1%)

localize8.0ms (0.1%)

series40.0ms (0.7%)

rewrite234.0ms (4.3%)

simplify95.0ms (1.7%)

prune203.0ms (3.7%)

localize8.0ms (0.1%)

series35.0ms (0.6%)

rewrite169.0ms (3.1%)

simplify86.0ms (1.6%)

prune186.0ms (3.4%)

localize9.0ms (0.2%)

series27.0ms (0.5%)

rewrite175.0ms (3.2%)

simplify88.0ms (1.6%)

prune233.0ms (4.2%)

localize8.0ms (0.2%)

series32.0ms (0.6%)

rewrite169.0ms (3.1%)

simplify86.0ms (1.6%)

prune182.0ms (3.3%)

regimes980.0ms (17.8%)

bsearch4.0ms (0.1%)

simplify6.0ms (0.1%)

end86.0ms (1.6%)

Profiling