Details

analyze708.0ms (5.4%)

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
6.2%	93.7%	0.1%	5
6.2%	90.5%	3.2%	6
21.9%	67.1%	11%	7
23.4%	64.8%	11.8%	8
32%	52.7%	15.3%	9
33.2%	51.3%	15.5%	10
37.7%	45.2%	17.2%	11
38.3%	44.4%	17.2%	12
40.6%	41.3%	18%	13
41%	41%	18%	14

Compiler

Compiled 15 to 12 computations (20% saved)

sample2.1s (15.9%)

Results

735.0ms	6054×	body	128	valid
419.0ms	1043×	body	1024	valid
198.0ms	693×	body	512	valid
186.0ms	522×	body	1024	invalid
155.0ms	1507×	body	128	invalid
93.0ms	354×	body	512	invalid
76.0ms	387×	body	256	valid
46.0ms	79×	body	2048	valid
38.0ms	219×	body	256	invalid

Compiler

Compiled 44 to 35 computations (20.5% saved)

simplify213.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

2748×	`fma-def_binary64`
1264×	`fma-neg_binary64`
934×	`associate--r-_binary64`
475×	`cancel-sign-sub-inv_binary64`
423×	`sub-neg_binary64`

Counts

1 → 2

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	10	18
1	22	17
2	40	17
3	86	15
4	163	15
5	344	15
6	666	15
7	1217	15
8	1463	15
9	1608	15
10	1787	15
11	2322	15
12	2926	15
13	2987	15
14	3089	15
15	3133	15
16	3142	15
17	3142	15
18	3225	15
19	3233	15
20	3237	15
21	4979	15

prune3.0ms (0%)

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

20.4b

Counts

3 → 2

Alt Table

Status	Error	Program
	20.4b	(-.f64 1 (log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))
▶	20.4b	(-.f64 1 (log1p.f64 (/.f64 (-.f64 x y) (+.f64 y -1))))

Compiler

Compiled 76 to 57 computations (25% saved)

localize6.0ms (0%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 1 (log1p.f64 (/.f64 (-.f64 x y) (+.f64 y -1))))
✓	0.0b	(/.f64 (-.f64 x y) (+.f64 y -1))
✓	2.3b	(log1p.f64 (/.f64 (-.f64 x y) (+.f64 y -1)))

series143.0ms (1.1%)

Counts

3 → 72

Calls

3 calls:

74.0ms	(-.f64 1 (log1p.f64 (/.f64 (-.f64 x y) (+.f64 y -1))))
58.0ms	(log1p.f64 (/.f64 (-.f64 x y) (+.f64 y -1)))
11.0ms	(/.f64 (-.f64 x y) (+.f64 y -1))

rewrite15.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

50×	`*-un-lft-identity_binary64`
44×	`add-sqr-sqrt_binary64`
25×	`times-frac_binary64`
23×	`add-cube-cbrt_binary64`
9×	`prod-diff_binary64`

Counts

3 → 97

Calls

3 calls:

6.0ms	(/.f64 (-.f64 x y) (+.f64 y -1))
3.0ms	(-.f64 1 (log1p.f64 (/.f64 (-.f64 x y) (+.f64 y -1))))
0.0ms	(log1p.f64 (/.f64 (-.f64 x y) (+.f64 y -1)))

simplify106.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

409×	`associate-+l+_binary64`
242×	`associate--r+_binary64`
240×	`associate-/r*_binary64`
221×	`fma-def_binary64`
201×	`+-commutative_binary64`

Counts

169 → 262

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	510	6989
1	1448	6687
2	5068	6687

prune230.0ms (1.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	259	3	262
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	260	4	264

Error

0.1b

Counts

264 → 4

Alt Table

Status	Error	Program
	57.2b	(-.f64 1 (-.f64 (log.f64 (+.f64 x -1)) (log.f64 y)))
▶	20.4b	(log.f64 (/.f64 (E.f64) (+.f64 1 (/.f64 (-.f64 x y) (-.f64 y 1)))))
✓	20.4b	(-.f64 1 (log1p.f64 (/.f64 (-.f64 x y) (+.f64 y -1))))
	42.5b	(-.f64 1 (+.f64 (+.f64 (log1p.f64 (neg.f64 x)) (log.f64 (/.f64 -1 y))) (-.f64 (/.f64 1 (.f64 y (-.f64 1 x))) (/.f64 x (.f64 y (-.f64 1 x))))))

Compiler

Compiled 9831 to 6639 computations (32.5% saved)

localize8.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (-.f64 x y) (-.f64 y 1))
✓	0.0b	(log.f64 (/.f64 (E.f64) (+.f64 1 (/.f64 (-.f64 x y) (-.f64 y 1)))))
✓	0.1b	(/.f64 (E.f64) (+.f64 1 (/.f64 (-.f64 x y) (-.f64 y 1))))
✓	2.4b	(+.f64 1 (/.f64 (-.f64 x y) (-.f64 y 1)))

series875.0ms (6.6%)

Counts

4 → 96

Calls

4 calls:

745.0ms	(log.f64 (/.f64 (E.f64) (+.f64 1 (/.f64 (-.f64 x y) (-.f64 y 1)))))
110.0ms	(/.f64 (E.f64) (+.f64 1 (/.f64 (-.f64 x y) (-.f64 y 1))))
11.0ms	(+.f64 1 (/.f64 (-.f64 x y) (-.f64 y 1)))
8.0ms	(/.f64 (-.f64 x y) (-.f64 y 1))

rewrite52.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

86×	`*-un-lft-identity_binary64`
76×	`add-sqr-sqrt_binary64`
59×	`times-frac_binary64`
36×	`add-cube-cbrt_binary64`
20×	`difference-of-squares_binary64`

Counts

4 → 152

Calls

4 calls:

13.0ms	(+.f64 1 (/.f64 (-.f64 x y) (-.f64 y 1)))
12.0ms	(/.f64 (E.f64) (+.f64 1 (/.f64 (-.f64 x y) (-.f64 y 1))))
11.0ms	(log.f64 (/.f64 (E.f64) (+.f64 1 (/.f64 (-.f64 x y) (-.f64 y 1)))))
6.0ms	(/.f64 (-.f64 x y) (-.f64 y 1))

simplify243.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

475×	`+-commutative_binary64`
413×	`associate-+r+_binary64`
279×	`*-commutative_binary64`
271×	`fma-def_binary64`
221×	`sub-neg_binary64`

Counts

248 → 292

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	1303	18604
1	4583	17764
2	4983	17764

prune446.0ms (3.4%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	291	1	292
Fresh	2	0	2
Picked	1	0	1
Done	0	1	1
Total	294	2	296

Error

Counts

296 → 2

Alt Table

Status	Error	Program
✓	20.4b	(-.f64 1 (log1p.f64 (/.f64 (-.f64 x y) (+.f64 y -1))))
▶	0.0b	(log.f64 (-.f64 (/.f64 (E.f64) (-.f64 1 x)) (/.f64 (E.f64) (/.f64 (-.f64 1 x) y))))

Compiler

Compiled 22087 to 15826 computations (28.3% saved)

localize8.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (/.f64 (E.f64) (-.f64 1 x)) (/.f64 (E.f64) (/.f64 (-.f64 1 x) y)))
✓	0.0b	(log.f64 (-.f64 (/.f64 (E.f64) (-.f64 1 x)) (/.f64 (E.f64) (/.f64 (-.f64 1 x) y))))
✓	0.2b	(/.f64 (E.f64) (-.f64 1 x))
✓	0.4b	(/.f64 (E.f64) (/.f64 (-.f64 1 x) y))

series74.0ms (0.6%)

Counts

4 → 84

Calls

4 calls:

42.0ms	(log.f64 (-.f64 (/.f64 (E.f64) (-.f64 1 x)) (/.f64 (E.f64) (/.f64 (-.f64 1 x) y))))
15.0ms	(-.f64 (/.f64 (E.f64) (-.f64 1 x)) (/.f64 (E.f64) (/.f64 (-.f64 1 x) y)))
13.0ms	(/.f64 (E.f64) (/.f64 (-.f64 1 x) y))
3.0ms	(/.f64 (E.f64) (-.f64 1 x))

rewrite782.0ms (5.9%)

Algorithm

1×	rewrite-expression-head

Rules

4494×	`times-frac_binary64`
3545×	`add-sqr-sqrt_binary64`
3537×	`*-un-lft-identity_binary64`
2132×	`add-cube-cbrt_binary64`
1704×	`prod-diff_binary64`

Counts

4 → 2012

Calls

4 calls:

100.0ms	(log.f64 (-.f64 (/.f64 (E.f64) (-.f64 1 x)) (/.f64 (E.f64) (/.f64 (-.f64 1 x) y))))
88.0ms	(-.f64 (/.f64 (E.f64) (-.f64 1 x)) (/.f64 (E.f64) (/.f64 (-.f64 1 x) y)))
6.0ms	(/.f64 (E.f64) (/.f64 (-.f64 1 x) y))
4.0ms	(/.f64 (E.f64) (-.f64 1 x))

simplify3.3s (25.3%)

Algorithm

1×	egg-herbie

Rules

882×	`fma-udef_binary64`
796×	`unsub-neg_binary64`
350×	`times-frac_binary64`
191×	`neg-mul-1_binary64`
190×	`neg-sub0_binary64`

Counts

2096 → 2513

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	1703	210616
1	4138	205233
2	5447	205233

prune3.4s (25.9%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	2513	0	2513
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	2513	2	2515

Error

Counts

2515 → 2

Alt Table

Status	Error	Program
✓	20.4b	(-.f64 1 (log1p.f64 (/.f64 (-.f64 x y) (+.f64 y -1))))
✓	0.0b	(log.f64 (-.f64 (/.f64 (E.f64) (-.f64 1 x)) (/.f64 (E.f64) (/.f64 (-.f64 1 x) y))))

Compiler

Compiled 173388 to 97281 computations (43.9% saved)

regimes387.0ms (2.9%)

Accuracy

Total 0.0b remaining (71.7%)

Threshold costs 0.0b (71.7%)

Counts

82 → 1

Compiler

Compiled 6470 to 5206 computations (19.5% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	23
1	18	23
2	27	23
3	33	23
4	37	23
5	38	23
6	37	23

end47.0ms (0.4%)

Compiler: Compiled 60 to 45 computations (25% saved)

Details

analyze708.0ms (5.4%)

sample2.1s (15.9%)

simplify213.0ms (1.6%)

prune3.0ms (0%)

localize6.0ms (0%)

series143.0ms (1.1%)

rewrite15.0ms (0.1%)

simplify106.0ms (0.8%)

prune230.0ms (1.7%)

localize8.0ms (0.1%)

series875.0ms (6.6%)

rewrite52.0ms (0.4%)

simplify243.0ms (1.8%)

prune446.0ms (3.4%)

localize8.0ms (0.1%)

series74.0ms (0.6%)

rewrite782.0ms (5.9%)

simplify3.3s (25.3%)

prune3.4s (25.9%)

regimes387.0ms (2.9%)

simplify3.0ms (0%)

end47.0ms (0.4%)

Profiling