Details

analyze455.0ms (14.2%)

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
9.4%	90.5%	0.1%	6
14%	85.8%	0.1%	7
22.6%	77.2%	0.1%	8
37.8%	60.5%	1.7%	9
40%	56%	4%	10
47.3%	48.7%	4%	11
56.8%	36.2%	7%	12
58.6%	32.4%	9%	13
63.4%	27.5%	9%	14

Compiler

Compiled 11 to 7 computations (36.4% saved)

sample982.0ms (30.7%)

Results

793.0ms	8256×	body	128	valid
79.0ms	790×	body	128	invalid

Compiler

Compiled 32 to 20 computations (37.5% saved)

simplify135.0ms (4.2%)

Algorithm

1×	egg-herbie

Rules

1119×	`div-sub_binary64`
816×	`fma-def_binary64`
804×	`fma-neg_binary64`
517×	`neg-mul-1_binary64`
483×	`neg-sub0_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	12	10
2	27	10
3	57	10
4	111	10
5	180	10
6	312	10
7	977	10
8	3166	10
9	3725	10
10	4150	10
11	4786	10
12	4803	10
13	4958	10
14	5387	10

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

14.0b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	14.0b	(/.f64 (*.f64 x (-.f64 y z)) y)

Compiler

Compiled 30 to 18 computations (40% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

series24.0ms (0.7%)

Counts

2 → 72

Calls

2 calls:

17.0ms	(/.f64 (*.f64 x (-.f64 y z)) y)
6.0ms	(*.f64 x (-.f64 y z))

rewrite65.0ms (2%)

Algorithm

2×	batch-egg-rewrite

Rules

918×	`log1p-expm1-u_binary64`
918×	`expm1-log1p-u_binary64`
386×	`prod-diff_binary64`
83×	`add-sqr-sqrt_binary64`
77×	`add-log-exp_binary64`

Counts

2 → 64

Calls

2 calls:

63.0ms	(*.f64 x (-.f64 y z))
63.0ms	(/.f64 (*.f64 x (-.f64 y z)) y)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	17
1	157	17
2	2262	17
3	6391	17
0	0	0
1	0	0

simplify122.0ms (3.8%)

Algorithm

1×	egg-herbie

Rules

440×	`times-frac_binary64`
433×	`neg-sub0_binary64`
390×	`sub-neg_binary64`
378×	`neg-mul-1_binary64`
354×	`distribute-lft-neg-out_binary64`

Counts

136 → 74

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	570
1	35	570
2	67	570
3	126	570
4	201	570
5	362	570
6	806	570
7	2955	570
8	3499	570
9	4516	570
10	4707	570
11	4892	570

prune42.0ms (1.3%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	68	6	74
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	69	6	75

Error

0.0b

Counts

75 → 6

Alt Table

Status	Error	Program
▶	4.4b	(*.f64 (/.f64 x 1) (/.f64 (-.f64 y z) y))
	14.9b	(.f64 (pow.f64 (cbrt.f64 (.f64 x (-.f64 y z))) 2) (.f64 (cbrt.f64 (.f64 x (-.f64 y z))) (/.f64 1 y)))
	12.8b	(.f64 (-.f64 y z) (.f64 x (/.f64 1 y)))
	4.6b	(-.f64 x (/.f64 (*.f64 z x) y))
	14.1b	(pow.f64 (/.f64 y (*.f64 x (-.f64 y z))) -1)
	38.9b	(.f64 (/.f64 1 (sqrt.f64 y)) (/.f64 (.f64 x (-.f64 y z)) (sqrt.f64 y)))

Compiler

Compiled 1001 to 368 computations (63.2% saved)

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

series17.0ms (0.5%)

Counts

2 → 60

Calls

2 calls:

12.0ms	(*.f64 (/.f64 x 1) (/.f64 (-.f64 y z) y))
5.0ms	(/.f64 (-.f64 y z) y)

rewrite62.0ms (1.9%)

Algorithm

2×	batch-egg-rewrite

Rules

475×	`log-prod_binary64`
465×	`prod-diff_binary64`
190×	`fma-def_binary64`
178×	`log-div_binary64`
164×	`expm1-udef_binary64`

Counts

2 → 86

Calls

2 calls:

60.0ms	(/.f64 (-.f64 y z) y)
60.0ms	(*.f64 (/.f64 x 1) (/.f64 (-.f64 y z) y))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	17
1	185	17
2	2569	17
3	5409	17
0	0	0
1	0	0

simplify131.0ms (4.1%)

Algorithm

1×	egg-herbie

Rules

998×	`fma-neg_binary64`
592×	`neg-sub0_binary64`
560×	`neg-mul-1_binary64`
423×	`distribute-neg-frac_binary64`
390×	`distribute-rgt-neg-out_binary64`

Counts

146 → 94

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	477
1	35	477
2	65	477
3	118	477
4	196	477
5	341	477
6	771	477
7	2664	477
8	3558	477
9	4065	477
10	4898	477
11	4841	477
12	4872	477

prune47.0ms (1.5%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	92	2	94
Fresh	2	3	5
Picked	0	1	1
Done	0	0	0
Total	94	6	100

Error

Counts

100 → 6

Alt Table

Status	Error	Program
	12.5b	(/.f64 (-.f64 y z) (*.f64 (/.f64 1 x) y))
✓	4.4b	(*.f64 (/.f64 x 1) (/.f64 (-.f64 y z) y))
	46.6b	(cbrt.f64 (pow.f64 (*.f64 x (/.f64 (-.f64 y z) y)) 3))
	12.8b	(.f64 (-.f64 y z) (.f64 x (/.f64 1 y)))
▶	4.6b	(-.f64 x (/.f64 (*.f64 z x) y))
	14.1b	(pow.f64 (/.f64 y (*.f64 x (-.f64 y z))) -1)

Compiler

Compiled 1266 to 511 computations (59.6% saved)

localize4.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

series23.0ms (0.7%)

Counts

2 → 18

Calls

2 calls:

13.0ms	(/.f64 (*.f64 z x) y)
10.0ms	(-.f64 x (/.f64 (*.f64 z x) y))

rewrite79.0ms (2.5%)

Algorithm

2×	batch-egg-rewrite

Rules

915×	`expm1-log1p-u_binary64`
587×	`prod-diff_binary64`
193×	`egg-rr`
83×	`add-sqr-sqrt_binary64`
79×	`log1p-expm1-u_binary64`

Counts

2 → 193

Calls

2 calls:

73.0ms	(-.f64 x (/.f64 (*.f64 z x) y))
73.0ms	(/.f64 (*.f64 z x) y)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	17
1	157	17
2	2267	17
3	5203	17
0	0	0
1	0	0

simplify46.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

225×	`fma-neg_binary64`
198×	`fma-def_binary64`
69×	`associate-l_binary64`
63×	`distribute-rgt-in_binary64`
62×	`cancel-sign-sub-inv_binary64`

Counts

211 → 198

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	150
1	34	150
2	81	150
3	109	150
4	265	150
5	440	150
6	556	150
7	557	150
8	567	150
9	573	150
10	578	150
11	521	150

prune123.0ms (3.9%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	198	0	198
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	198	6	204

Error

Counts

204 → 6

Alt Table

Status	Error	Program
▶	12.5b	(/.f64 (-.f64 y z) (*.f64 (/.f64 1 x) y))
✓	4.4b	(*.f64 (/.f64 x 1) (/.f64 (-.f64 y z) y))
	46.6b	(cbrt.f64 (pow.f64 (*.f64 x (/.f64 (-.f64 y z) y)) 3))
	12.8b	(.f64 (-.f64 y z) (.f64 x (/.f64 1 y)))
✓	4.6b	(-.f64 x (/.f64 (*.f64 z x) y))
	14.1b	(pow.f64 (/.f64 y (*.f64 x (-.f64 y z))) -1)

Compiler

Compiled 5659 to 1632 computations (71.2% saved)

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.2b	(*.f64 (/.f64 1 x) y)
✓	12.0b	(/.f64 (-.f64 y z) (*.f64 (/.f64 1 x) y))

series18.0ms (0.6%)

Counts

2 → 60

Calls

2 calls:

12.0ms	(/.f64 (-.f64 y z) (*.f64 (/.f64 1 x) y))
6.0ms	(*.f64 (/.f64 1 x) y)

rewrite166.0ms (5.2%)

Algorithm

2×	batch-egg-rewrite

Rules

779×	`prod-diff_binary64`
430×	`egg-rr`
182×	`expm1-udef_binary64`
182×	`log1p-udef_binary64`
102×	`add-sqr-sqrt_binary64`

Counts

2 → 430

Calls

2 calls:

145.0ms	(*.f64 (/.f64 1 x) y)
145.0ms	(/.f64 (-.f64 y z) (*.f64 (/.f64 1 x) y))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	14
1	200	14
2	2849	14
3	4950	14
0	0	0
1	0	0

simplify141.0ms (4.4%)

Algorithm

1×	egg-herbie

Rules

1005×	`fma-neg_binary64`
595×	`neg-sub0_binary64`
564×	`neg-mul-1_binary64`
424×	`distribute-neg-frac_binary64`
394×	`distribute-rgt-neg-out_binary64`

Counts

490 → 435

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	426
1	24	426
2	55	426
3	101	426
4	188	426
5	327	426
6	764	426
7	2667	426
8	3566	426
9	4068	426
10	4901	426
11	4844	426
12	4874	426

prune210.0ms (6.6%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	434	1	435
Fresh	1	2	3
Picked	0	1	1
Done	0	2	2
Total	435	6	441

Error

Counts

441 → 6

Alt Table

Status	Error	Program
✓	12.5b	(/.f64 (-.f64 y z) (*.f64 (/.f64 1 x) y))
✓	4.4b	(*.f64 (/.f64 x 1) (/.f64 (-.f64 y z) y))
	46.6b	(cbrt.f64 (pow.f64 (*.f64 x (/.f64 (-.f64 y z) y)) 3))
	12.7b	(*.f64 (-.f64 y z) (/.f64 x y))
✓	4.6b	(-.f64 x (/.f64 (*.f64 z x) y))
	14.1b	(pow.f64 (/.f64 y (*.f64 x (-.f64 y z))) -1)

Compiler

Compiled 18478 to 4276 computations (76.9% saved)

regimes208.0ms (6.5%)

Accuracy

Total 1.7b remaining (99%)

Threshold costs 0b (0%)

Counts

33 → 3

Compiler

Compiled 1635 to 1037 computations (36.6% saved)

bsearch1.0ms (0%)

Compiler: Compiled 10 to 6 computations (40% saved)

simplify5.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	60
1	34	60
2	47	60
3	60	60
4	67	60
5	70	60
6	71	60
7	70	60

end74.0ms (2.3%)

Compiler: Compiled 157 to 87 computations (44.6% saved)

Iter	Nodes	Cost
0	15	150
1	34	150
2	81	150
3	109	150
4	265	150
5	440	150
6	556	150
7	557	150
8	567	150
9	573	150
10	578	150
11	521	150

Iter	Nodes	Cost
0	15	150
1	34	150
2	81	150
3	109	150
4	265	150
5	440	150
6	556	150
7	557	150
8	567	150
9	573	150
10	578	150
11	521	150

Details

analyze455.0ms (14.2%)

sample982.0ms (30.7%)

simplify135.0ms (4.2%)

prune1.0ms (0%)

localize5.0ms (0.1%)

series24.0ms (0.7%)

rewrite65.0ms (2%)

simplify122.0ms (3.8%)

prune42.0ms (1.3%)

localize6.0ms (0.2%)

series17.0ms (0.5%)

rewrite62.0ms (1.9%)

simplify131.0ms (4.1%)

prune47.0ms (1.5%)

localize4.0ms (0.1%)

series23.0ms (0.7%)

rewrite79.0ms (2.5%)

simplify46.0ms (1.4%)

prune123.0ms (3.9%)

localize6.0ms (0.2%)

series18.0ms (0.6%)

rewrite166.0ms (5.2%)

simplify141.0ms (4.4%)

prune210.0ms (6.6%)

regimes208.0ms (6.5%)

bsearch1.0ms (0%)

simplify5.0ms (0.2%)

end74.0ms (2.3%)

Profiling

Iter	Nodes	Cost
0	15	150
1	34	150
2	81	150
3	109	150
4	265	150
5	440	150
6	556	150
7	557	150
8	567	150
9	573	150
10	578	150
11	521	150