Details

analyze574.0ms (14.1%)

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.3s (32.6%)

Results

1.0s	8256×	body	128	valid
140.0ms	1265×	body	128	invalid

Compiler

Compiled 47 to 32 computations (31.9% saved)

simplify61.0ms (1.5%)

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
	3.6b	(fabs.f64 (/.f64 (-.f64 x (fma.f64 x z -4)) y))
▶	1.2b	(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (*.f64 (/.f64 x y) z)))

Compiler

Compiled 78 to 51 computations (34.6% saved)

localize7.0ms (0.2%)

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

series84.0ms (2.1%)

Counts

3 → 96

Calls

3 calls:

41.0ms	(-.f64 (/.f64 (+.f64 x 4) y) (*.f64 (/.f64 x y) z))
37.0ms	(*.f64 (/.f64 x y) z)
6.0ms	(/.f64 (+.f64 x 4) y)

rewrite78.0ms (1.9%)

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 (+.f64 x 4) y) (*.f64 (/.f64 x y) z))
74.0ms	(/.f64 (+.f64 x 4) y)
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

simplify88.0ms (2.2%)

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

prune131.0ms (3.2%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	188	5	193
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	190	5	195

Error

Counts

195 → 5

Alt Table

Status	Error	Program
▶	1.2b	(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (/.f64 z (/.f64 y x))))
	2.9b	(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (/.f64 x (/.f64 y z))))
	31.1b	(fabs.f64 (*.f64 (-.f64 (/.f64 1 y) (/.f64 z y)) x))
	3.6b	(fabs.f64 (/.f64 (fma.f64 x (-.f64 1 z) 4) y))
	1.3b	(fabs.f64 (-.f64 (.f64 (+.f64 x 4) (/.f64 1 y)) (.f64 (/.f64 x y) z)))

Compiler

Compiled 4126 to 1986 computations (51.9% saved)

localize7.0ms (0.2%)

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

series31.0ms (0.8%)

Counts

2 → 72

Calls

2 calls:

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

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

76.0ms	(-.f64 (/.f64 (+.f64 x 4) y) (/.f64 z (/.f64 y x)))
76.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

simplify81.0ms (2%)

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

prune171.0ms (4.2%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	233	1	234
Fresh	1	3	4
Picked	0	1	1
Done	0	0	0
Total	234	5	239

Error

Counts

239 → 5

Alt Table

Status	Error	Program
	3.6b	(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (*.f64 x (/.f64 z y))))
✓	1.2b	(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (/.f64 z (/.f64 y x))))
	2.9b	(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (/.f64 x (/.f64 y z))))
	3.6b	(fabs.f64 (/.f64 (fma.f64 x (-.f64 1 z) 4) y))
▶	1.3b	(fabs.f64 (-.f64 (.f64 (+.f64 x 4) (/.f64 1 y)) (.f64 (/.f64 x y) z)))

Compiler

Compiled 5399 to 2394 computations (55.7% saved)

localize9.0ms (0.2%)

Local error

Found 3 expressions with local error:

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

series24.0ms (0.6%)

Counts

2 → 60

Calls

2 calls:

19.0ms	(-.f64 (.f64 (+.f64 x 4) (/.f64 1 y)) (.f64 (/.f64 x y) z))
5.0ms	(*.f64 (+.f64 x 4) (/.f64 1 y))

rewrite90.0ms (2.2%)

Algorithm

2×	batch-egg-rewrite

Rules

519×	`fma-def_binary64`
291×	`fma-neg_binary64`
279×	`egg-rr`
242×	`expm1-udef_binary64`
242×	`log1p-udef_binary64`

Counts

2 → 279

Calls

2 calls:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	23
1	276	20
2	3638	20
3	5078	20
0	0	0
1	0	0

simplify81.0ms (2%)

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

339 → 293

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	31	850
1	76	850
2	174	700
3	335	608
4	580	538
5	1196	538
6	1420	538
7	1487	538
8	1499	538
9	1499	538
10	1398	538

prune223.0ms (5.5%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	317	0	317
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	317	5	322

Error

Counts

322 → 5

Alt Table

Status	Error	Program
	3.6b	(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (*.f64 x (/.f64 z y))))
✓	1.2b	(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (/.f64 z (/.f64 y x))))
▶	2.9b	(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (/.f64 x (/.f64 y z))))
	3.6b	(fabs.f64 (/.f64 (fma.f64 x (-.f64 1 z) 4) y))
✓	1.3b	(fabs.f64 (-.f64 (.f64 (+.f64 x 4) (/.f64 1 y)) (.f64 (/.f64 x y) z)))

Compiler

Compiled 7760 to 3267 computations (57.9% saved)

localize9.0ms (0.2%)

Local error

Found 3 expressions with local error:

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

series80.0ms (2%)

Counts

2 → 72

Calls

2 calls:

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

rewrite121.0ms (3%)

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:

76.0ms	(-.f64 (/.f64 (+.f64 x 4) y) (/.f64 x (/.f64 y z)))
76.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

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

prune241.0ms (5.9%)

Pruning

5 alts after pruning (2 fresh and 3 done)

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

Error

Counts

239 → 5

Alt Table

Status	Error	Program
	3.6b	(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (*.f64 x (/.f64 z y))))
✓	1.2b	(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (/.f64 z (/.f64 y x))))
✓	2.9b	(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (/.f64 x (/.f64 y z))))
	3.6b	(fabs.f64 (/.f64 (fma.f64 x (-.f64 1 z) 4) y))
✓	1.3b	(fabs.f64 (-.f64 (.f64 (+.f64 x 4) (/.f64 1 y)) (.f64 (/.f64 x y) z)))

Compiler

Compiled 5340 to 2353 computations (55.9% saved)

regimes239.0ms (5.9%)

Accuracy

Total 0.2b remaining (95.2%)

Threshold costs 0.2b (95.2%)

Counts

35 → 3

Compiler

Compiled 2487 to 1696 computations (31.8% saved)

bsearch18.0ms (0.4%)

Steps

Iters	Range		Point
2	6.42014331451214e-55	1.0293375206316548e-52	2.957230781506295e-53
5	-8.9111984633666e-19	-1.6251541098920136e-33	-6.637804509326453e-23

Compiler

Compiled 4 to 3 computations (25% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

10×	`+-commutative_binary64`
9×	`sub-neg_binary64`
7×	`*-commutative_binary64`
6×	`neg-sub0_binary64`
6×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	61
1	39	61
2	53	61
3	67	61
4	80	61
5	85	61
6	86	61
7	84	61

end81.0ms (2%)

Compiler: Compiled 162 to 105 computations (35.2% saved)

Details

analyze574.0ms (14.1%)

sample1.3s (32.6%)

simplify61.0ms (1.5%)

prune3.0ms (0.1%)

localize7.0ms (0.2%)

series84.0ms (2.1%)

rewrite78.0ms (1.9%)

simplify88.0ms (2.2%)

prune131.0ms (3.2%)

localize7.0ms (0.2%)

series31.0ms (0.8%)

rewrite80.0ms (2%)

simplify81.0ms (2%)

prune171.0ms (4.2%)

localize9.0ms (0.2%)

series24.0ms (0.6%)

rewrite90.0ms (2.2%)

simplify81.0ms (2%)

prune223.0ms (5.5%)

localize9.0ms (0.2%)

series80.0ms (2%)

rewrite121.0ms (3%)

simplify124.0ms (3.1%)

prune241.0ms (5.9%)

regimes239.0ms (5.9%)

bsearch18.0ms (0.4%)

simplify4.0ms (0.1%)

end81.0ms (2%)

Profiling