Details

analyze484.0ms (12.5%)

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

Results

937.0ms	8256×	body	128	valid
170.0ms	1242×	body	128	invalid

Compiler

Compiled 47 to 32 computations (31.9% saved)

simplify63.0ms (1.6%)

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.0b

Counts

3 → 2

Alt Table

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

Compiler

Compiled 78 to 51 computations (34.6% saved)

localize9.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 (/.f64 x y) z))
✓	2.5b	(*.f64 (/.f64 x y) z)

series36.0ms (0.9%)

Counts

3 → 96

Calls

3 calls:

18.0ms	(-.f64 (/.f64 (+.f64 x 4) y) (*.f64 (/.f64 x y) z))
12.0ms	(*.f64 (/.f64 x y) z)
5.0ms	(/.f64 (+.f64 x 4) y)

rewrite77.0ms (2%)

Algorithm

2×	batch-egg-rewrite

Rules

334×	`fma-def_binary64`
220×	`expm1-udef_binary64`
220×	`log1p-udef_binary64`
202×	`fma-neg_binary64`
199×	`log-div_binary64`

Counts

3 → 176

Calls

3 calls:

74.0ms	(/.f64 (+.f64 x 4) y)
74.0ms	(-.f64 (/.f64 (+.f64 x 4) y) (*.f64 (/.f64 x y) z))
74.0ms	(*.f64 (/.f64 x y) z)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	30
1	236	27
2	3339	27
3	5221	27
0	0	0
1	0	0

simplify90.0ms (2.3%)

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

272 → 193

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

prune146.0ms (3.8%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	189	4	193
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	189	6	195

Error

Counts

195 → 6

Alt Table

Status	Error	Program
	5.1b	(fabs.f64 (/.f64 (-.f64 x (fma.f64 x z -4)) y))
	4.2b	(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (/.f64 x (/.f64 y z))))
✓	1.1b	(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (*.f64 (/.f64 x y) z)))
	23.9b	(fabs.f64 (fma.f64 (sqrt.f64 (neg.f64 (.f64 (/.f64 x y) z))) (sqrt.f64 (neg.f64 (.f64 (/.f64 x y) z))) (/.f64 (+.f64 x 4) y)))
	5.1b	(fabs.f64 (-.f64 (+.f64 (/.f64 x y) (.f64 4 (/.f64 1 y))) (/.f64 (.f64 z x) y)))
▶	1.1b	(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (/.f64 z (/.f64 y x))))

Compiler

Compiled 4149 to 1999 computations (51.8% 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 z (/.f64 y x)))
✓	2.7b	(/.f64 z (/.f64 y x))

series32.0ms (0.8%)

Counts

2 → 72

Calls

2 calls:

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

rewrite82.0ms (2.1%)

Algorithm

2×	batch-egg-rewrite

Rules

425×	`fma-def_binary64`
256×	`fma-neg_binary64`
234×	`expm1-udef_binary64`
234×	`log1p-udef_binary64`
182×	`egg-rr`

Counts

2 → 182

Calls

2 calls:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	23
1	245	23
2	3790	23
3	5138	23
0	0	0
1	0	0

simplify82.0ms (2.1%)

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

254 → 196

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

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	231	0	231
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	231	6	237

Error

Counts

237 → 6

Alt Table

Status	Error	Program
	5.1b	(fabs.f64 (/.f64 (-.f64 x (fma.f64 x z -4)) y))
▶	4.2b	(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (/.f64 x (/.f64 y z))))
✓	1.1b	(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (*.f64 (/.f64 x y) z)))
	23.9b	(fabs.f64 (fma.f64 (sqrt.f64 (neg.f64 (.f64 (/.f64 x y) z))) (sqrt.f64 (neg.f64 (.f64 (/.f64 x y) z))) (/.f64 (+.f64 x 4) y)))
	5.1b	(fabs.f64 (-.f64 (+.f64 (/.f64 x y) (.f64 4 (/.f64 1 y))) (/.f64 (.f64 z x) y)))
✓	1.1b	(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (/.f64 z (/.f64 y x))))

Compiler

Compiled 5398 to 2392 computations (55.7% 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)))
✓	7.5b	(/.f64 x (/.f64 y z))

series30.0ms (0.8%)

Counts

2 → 72

Calls

2 calls:

19.0ms	(-.f64 (/.f64 (+.f64 x 4) y) (/.f64 x (/.f64 y z)))
11.0ms	(/.f64 x (/.f64 y z))

rewrite83.0ms (2.2%)

Algorithm

2×	batch-egg-rewrite

Rules

425×	`fma-def_binary64`
256×	`fma-neg_binary64`
234×	`expm1-udef_binary64`
234×	`log1p-udef_binary64`
182×	`egg-rr`

Counts

2 → 182

Calls

2 calls:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	23
1	245	23
2	3789	23
3	5137	23
0	0	0
1	0	0

simplify83.0ms (2.1%)

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

254 → 196

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

prune191.0ms (4.9%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	231	0	231
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	231	6	237

Error

Counts

237 → 6

Alt Table

Status	Error	Program
▶	5.1b	(fabs.f64 (/.f64 (-.f64 x (fma.f64 x z -4)) y))
✓	4.2b	(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (/.f64 x (/.f64 y z))))
✓	1.1b	(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (*.f64 (/.f64 x y) z)))
	23.9b	(fabs.f64 (fma.f64 (sqrt.f64 (neg.f64 (.f64 (/.f64 x y) z))) (sqrt.f64 (neg.f64 (.f64 (/.f64 x y) z))) (/.f64 (+.f64 x 4) y)))
	5.1b	(fabs.f64 (-.f64 (+.f64 (/.f64 x y) (.f64 4 (/.f64 1 y))) (/.f64 (.f64 z x) y)))
✓	1.1b	(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (/.f64 z (/.f64 y x))))

Compiler

Compiled 5383 to 2382 computations (55.7% saved)

localize6.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	4.8b	(/.f64 (-.f64 x (fma.f64 x z -4)) y)

series13.0ms (0.3%)

Counts

1 → 36

Calls

1 calls:

13.0ms

(/.f64 (-.f64 x (fma.f64 x z -4)) y)

rewrite113.0ms (2.9%)

Algorithm

2×	batch-egg-rewrite

Rules

731×	`prod-diff_binary64`
209×	`fma-def_binary64`
171×	`expm1-udef_binary64`
171×	`log1p-udef_binary64`
169×	`egg-rr`

Counts

1 → 169

Calls

1 calls:

103.0ms

(/.f64 (-.f64 x (fma.f64 x z -4)) y)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	11
1	180	11
2	2479	11
3	4868	11
4	5139	11
0	0	0
1	0	0

simplify76.0ms (2%)

Algorithm

1×	egg-herbie

Rules

922×	`fma-neg_binary64`
291×	`fma-def_binary64`
275×	`cancel-sign-sub-inv_binary64`
202×	`distribute-rgt-in_binary64`
164×	`div-sub_binary64`

Counts

205 → 180

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	28	619
1	67	619
2	139	469
3	286	379
4	566	379
5	1039	379
6	1297	379
7	1478	379
8	1489	379
9	1497	379
10	1497	379
11	1396	379

prune182.0ms (4.7%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	179	1	180
Fresh	1	1	2
Picked	0	1	1
Done	0	3	3
Total	180	6	186

Error

Counts

186 → 6

Alt Table

Status	Error	Program
✓	5.1b	(fabs.f64 (/.f64 (-.f64 x (fma.f64 x z -4)) y))
✓	4.2b	(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (/.f64 x (/.f64 y z))))
✓	1.1b	(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (*.f64 (/.f64 x y) z)))
	23.9b	(fabs.f64 (fma.f64 (sqrt.f64 (neg.f64 (.f64 (/.f64 x y) z))) (sqrt.f64 (neg.f64 (.f64 (/.f64 x y) z))) (/.f64 (+.f64 x 4) y)))
	5.1b	(fabs.f64 (-.f64 (/.f64 x y) (/.f64 (fma.f64 x z -4) y)))
✓	1.1b	(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (/.f64 z (/.f64 y x))))

Compiler

Compiled 8359 to 4502 computations (46.1% saved)

regimes427.0ms (11.1%)

Accuracy

Total 0.2b remaining (95.5%)

Threshold costs 0.2b (95.5%)

Counts

66 → 3

Compiler

Compiled 5507 to 3776 computations (31.4% saved)

bsearch15.0ms (0.4%)

Steps

Iters	Range		Point
5	3.462230524398153e-16	2.080383675192652e-13	5.121491754412143e-14
1	-3.9070892812039262e-109	-6.584657391010976e-111	-5.0757937571568445e-110

Compiler

Compiled 4 to 3 computations (25% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

16×	`+-commutative_binary64`
15×	`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	27	64
1	44	64
2	69	64
3	90	64
4	107	64
5	114	64
6	115	64
7	114	64

end93.0ms (2.4%)

Compiler: Compiled 187 to 115 computations (38.5% saved)

Details

analyze484.0ms (12.5%)

sample1.2s (32.2%)

simplify63.0ms (1.6%)

prune3.0ms (0.1%)

localize9.0ms (0.2%)

series36.0ms (0.9%)

rewrite77.0ms (2%)

simplify90.0ms (2.3%)

prune146.0ms (3.8%)

localize8.0ms (0.2%)

series32.0ms (0.8%)

rewrite82.0ms (2.1%)

simplify82.0ms (2.1%)

prune186.0ms (4.8%)

localize8.0ms (0.2%)

series30.0ms (0.8%)

rewrite83.0ms (2.2%)

simplify83.0ms (2.1%)

prune191.0ms (4.9%)

localize6.0ms (0.2%)

series13.0ms (0.3%)

rewrite113.0ms (2.9%)

simplify76.0ms (2%)

prune182.0ms (4.7%)

regimes427.0ms (11.1%)

bsearch15.0ms (0.4%)

simplify4.0ms (0.1%)

end93.0ms (2.4%)

Profiling