Details

analyze482.0ms (15.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)

sample1.0s (32.2%)

Results

831.0ms	8256×	body	128	valid
86.0ms	825×	body	128	invalid

Compiler

Compiled 32 to 20 computations (37.5% saved)

simplify129.0ms (4.1%)

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

prune2.0ms (0.1%)

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

Counts

2 → 1

Alt Table

Status	Error	Program
▶	14.8b	(/.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))
✓	14.2b	(/.f64 (*.f64 x (-.f64 y z)) y)

series20.0ms (0.6%)

Counts

2 → 72

Calls

2 calls:

11.0ms	(/.f64 (*.f64 x (-.f64 y z)) y)
9.0ms	(*.f64 x (-.f64 y z))

rewrite58.0ms (1.8%)

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:

57.0ms	(*.f64 x (-.f64 y z))
57.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

simplify129.0ms (4.1%)

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

prune41.0ms (1.3%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	67	7	74
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	68	7	75

Error

0.0b

Counts

75 → 7

Alt Table

Status	Error	Program
	14.9b	(pow.f64 (/.f64 y (*.f64 x (-.f64 y z))) -1)
	42.4b	(.f64 (/.f64 1 (sqrt.f64 y)) (/.f64 (.f64 x (-.f64 y z)) (sqrt.f64 y)))
	36.6b	(*.f64 (/.f64 x (sqrt.f64 y)) (/.f64 (-.f64 y z) (sqrt.f64 y)))
▶	2.9b	(*.f64 (/.f64 x 1) (/.f64 (-.f64 y z) y))
	42.6b	(.f64 (sqrt.f64 (.f64 x (-.f64 y z))) (.f64 (sqrt.f64 (.f64 x (-.f64 y z))) (/.f64 1 y)))
	10.1b	(.f64 (-.f64 y z) (.f64 x (/.f64 1 y)))
	6.2b	(-.f64 x (/.f64 (*.f64 z x) y))

Compiler

Compiled 1025 to 380 computations (62.9% saved)

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

series21.0ms (0.7%)

Counts

2 → 60

Calls

2 calls:

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

rewrite64.0ms (2%)

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:

62.0ms	(/.f64 (-.f64 y z) y)
62.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

simplify127.0ms (4%)

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

prune62.0ms (2%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	92	2	94
Fresh	4	2	6
Picked	1	0	1
Done	0	0	0
Total	97	4	101

Error

Counts

101 → 4

Alt Table

Status	Error	Program
	10.1b	(.f64 (-.f64 y z) (.f64 x (/.f64 1 y)))
	2.5b	(/.f64 1 (*.f64 (/.f64 1 x) (/.f64 y (-.f64 y z))))
▶	2.4b	(/.f64 x (/.f64 y (-.f64 y z)))
	6.2b	(-.f64 x (/.f64 (*.f64 z x) y))

Compiler

Compiled 1228 to 485 computations (60.5% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

series20.0ms (0.6%)

Counts

2 → 60

Calls

2 calls:

13.0ms	(/.f64 x (/.f64 y (-.f64 y z)))
7.0ms	(/.f64 y (-.f64 y z))

rewrite62.0ms (2%)

Algorithm

2×	batch-egg-rewrite

Rules

486×	`log-prod_binary64`
404×	`prod-diff_binary64`
183×	`fma-def_binary64`
158×	`expm1-udef_binary64`
158×	`log1p-udef_binary64`

Counts

2 → 88

Calls

2 calls:

61.0ms	(/.f64 y (-.f64 y z))
61.0ms	(/.f64 x (/.f64 y (-.f64 y z)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	17
1	163	17
2	2439	17
3	5213	17
0	0	0
1	0	0

simplify84.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

764×	`fma-neg_binary64`
492×	`associate-/l*_binary64`
491×	`fma-def_binary64`
425×	`associate-/r*_binary64`
409×	`associate-*l/_binary64`

Counts

148 → 108

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	42	792
1	109	792
2	322	702
3	1209	672
4	4495	672
5	4938	672
6	4993	672
7	4965	672

prune57.0ms (1.8%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	108	0	108
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	108	4	112

Error

Counts

112 → 4

Alt Table

Status	Error	Program
	10.1b	(.f64 (-.f64 y z) (.f64 x (/.f64 1 y)))
▶	2.5b	(/.f64 1 (*.f64 (/.f64 1 x) (/.f64 y (-.f64 y z))))
✓	2.4b	(/.f64 x (/.f64 y (-.f64 y z)))
	6.2b	(-.f64 x (/.f64 (*.f64 z x) y))

Compiler

Compiled 1441 to 509 computations (64.7% saved)

localize7.0ms (0.2%)

Local error

Found 3 expressions with local error:

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

series28.0ms (0.9%)

Counts

2 → 72

Calls

2 calls:

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

rewrite94.0ms (3%)

Algorithm

2×	batch-egg-rewrite

Rules

544×	`prod-diff_binary64`
200×	`expm1-udef_binary64`
200×	`log1p-udef_binary64`
199×	`fma-def_binary64`
181×	`log-pow_binary64`

Counts

2 → 84

Calls

2 calls:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	23
1	225	20
2	3076	20
3	4965	20
4	5276	20
0	0	0
1	0	0

simplify72.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

468×	`associate-/l/_binary64`
462×	`fma-neg_binary64`
431×	`cancel-sign-sub-inv_binary64`
429×	`associate-/r/_binary64`
238×	`times-frac_binary64`

Counts

156 → 105

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	51	1092
1	143	1092
2	449	1008
3	1922	948
4	4582	948
5	5038	948

prune86.0ms (2.7%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	158	0	158
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	158	4	162

Error

Counts

162 → 4

Alt Table

Status	Error	Program
	10.1b	(.f64 (-.f64 y z) (.f64 x (/.f64 1 y)))
✓	2.5b	(/.f64 1 (*.f64 (/.f64 1 x) (/.f64 y (-.f64 y z))))
✓	2.4b	(/.f64 x (/.f64 y (-.f64 y z)))
	6.2b	(-.f64 x (/.f64 (*.f64 z x) y))

Compiler

Compiled 2305 to 1051 computations (54.4% saved)

regimes418.0ms (13.2%)

Accuracy

Total 1.6b remaining (98.8%)

Threshold costs 0b (0%)

Counts

62 → 3

Compiler

Compiled 3037 to 2019 computations (33.5% saved)

bsearch1.0ms (0%)

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

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	63
1	32	63
2	41	63
3	52	63
4	58	63
5	61	63
6	62	63
7	61	63

end66.0ms (2.1%)

Compiler: Compiled 138 to 72 computations (47.8% saved)

Details

analyze482.0ms (15.2%)

sample1.0s (32.2%)

simplify129.0ms (4.1%)

prune2.0ms (0.1%)

localize5.0ms (0.1%)

series20.0ms (0.6%)

rewrite58.0ms (1.8%)

simplify129.0ms (4.1%)

prune41.0ms (1.3%)

localize6.0ms (0.2%)

series21.0ms (0.7%)

rewrite64.0ms (2%)

simplify127.0ms (4%)

prune62.0ms (2%)

localize5.0ms (0.1%)

series20.0ms (0.6%)

rewrite62.0ms (2%)

simplify84.0ms (2.7%)

prune57.0ms (1.8%)

localize7.0ms (0.2%)

series28.0ms (0.9%)

rewrite94.0ms (3%)

simplify72.0ms (2.3%)

prune86.0ms (2.7%)

regimes418.0ms (13.2%)

bsearch1.0ms (0%)

simplify4.0ms (0.1%)

end66.0ms (2.1%)

Profiling