Details

analyze755.0ms (5.7%)

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

Results

795.0ms	6048×	body	128	valid
449.0ms	1078×	body	1024	valid
204.0ms	682×	body	512	valid
189.0ms	1519×	body	128	invalid
175.0ms	492×	body	1024	invalid
85.0ms	328×	body	512	invalid
77.0ms	386×	body	256	valid
38.0ms	210×	body	256	invalid
32.0ms	62×	body	2048	valid

Compiler

Compiled 44 to 35 computations (20.5% saved)

simplify205.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

1 alts after pruning (1 fresh and 0 done)

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

Error

20.5b

Counts

3 → 1

Alt Table

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

Compiler

Compiled 48 to 35 computations (27.1% saved)

localize7.0ms (0.1%)

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.6b	(log1p.f64 (/.f64 (-.f64 x y) (+.f64 y -1)))

series139.0ms (1.1%)

Counts

3 → 72

Calls

3 calls:

70.0ms	(-.f64 1 (log1p.f64 (/.f64 (-.f64 x y) (+.f64 y -1))))
55.0ms	(log1p.f64 (/.f64 (-.f64 x y) (+.f64 y -1)))
13.0ms	(/.f64 (-.f64 x y) (+.f64 y -1))

rewrite17.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:

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

simplify104.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

prune208.0ms (1.6%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	258	4	262
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	258	5	263

Error

0.1b

Counts

263 → 5

Alt Table

Status	Error	Program
	57.8b	(-.f64 1 (-.f64 (log.f64 (+.f64 x -1)) (log.f64 y)))
✓	20.5b	(-.f64 1 (log1p.f64 (/.f64 (-.f64 x y) (+.f64 y -1))))
▶	20.5b	(log.f64 (/.f64 (E.f64) (+.f64 1 (/.f64 (-.f64 x y) (-.f64 y 1)))))
	44.9b	(-.f64 1 (+.f64 (+.f64 (/.f64 x (.f64 (.f64 y y) (pow.f64 (-.f64 1 x) 2))) (+.f64 (log1p.f64 (neg.f64 x)) (+.f64 (/.f64 1 (.f64 y y)) (log.f64 (/.f64 -1 y))))) (-.f64 (/.f64 1 (.f64 y (-.f64 1 x))) (fma.f64 1/2 (/.f64 (.f64 x x) (.f64 (.f64 y y) (pow.f64 (-.f64 1 x) 2))) (+.f64 (/.f64 x (.f64 y (-.f64 1 x))) (/.f64 1/2 (.f64 (.f64 y y) (pow.f64 (-.f64 1 x) 2))))))))
	42.4b	(-.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 9977 to 6737 computations (32.5% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series840.0ms (6.4%)

Counts

4 → 96

Calls

4 calls:

716.0ms	(log.f64 (/.f64 (E.f64) (+.f64 1 (/.f64 (-.f64 x y) (-.f64 y 1)))))
106.0ms	(/.f64 (E.f64) (+.f64 1 (/.f64 (-.f64 x y) (-.f64 y 1))))
10.0ms	(+.f64 1 (/.f64 (-.f64 x y) (-.f64 y 1)))
8.0ms	(/.f64 (-.f64 x y) (-.f64 y 1))

rewrite53.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	(log.f64 (/.f64 (E.f64) (+.f64 1 (/.f64 (-.f64 x y) (-.f64 y 1)))))
13.0ms	(/.f64 (E.f64) (+.f64 1 (/.f64 (-.f64 x y) (-.f64 y 1))))
11.0ms	(+.f64 1 (/.f64 (-.f64 x y) (-.f64 y 1)))
6.0ms	(/.f64 (-.f64 x y) (-.f64 y 1))

simplify246.0ms (1.9%)

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	3	0	3
Picked	1	0	1
Done	0	1	1
Total	295	2	297

Error

Counts

297 → 2

Alt Table

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

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	(log.f64 (-.f64 (/.f64 (E.f64) (-.f64 1 x)) (/.f64 (E.f64) (/.f64 (-.f64 1 x) y))))
✓	0.0b	(-.f64 (/.f64 (E.f64) (-.f64 1 x)) (/.f64 (E.f64) (/.f64 (-.f64 1 x) y)))
✓	0.1b	(/.f64 (E.f64) (-.f64 1 x))
✓	0.5b	(/.f64 (E.f64) (/.f64 (-.f64 1 x) y))

series70.0ms (0.5%)

Counts

4 → 84

Calls

4 calls:

41.0ms	(log.f64 (-.f64 (/.f64 (E.f64) (-.f64 1 x)) (/.f64 (E.f64) (/.f64 (-.f64 1 x) y))))
13.0ms	(-.f64 (/.f64 (E.f64) (-.f64 1 x)) (/.f64 (E.f64) (/.f64 (-.f64 1 x) y)))
11.0ms	(/.f64 (E.f64) (/.f64 (-.f64 1 x) y))
4.0ms	(/.f64 (E.f64) (-.f64 1 x))

rewrite768.0ms (5.8%)

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:

97.0ms	(log.f64 (-.f64 (/.f64 (E.f64) (-.f64 1 x)) (/.f64 (E.f64) (/.f64 (-.f64 1 x) y))))
83.0ms	(-.f64 (/.f64 (E.f64) (-.f64 1 x)) (/.f64 (E.f64) (/.f64 (-.f64 1 x) y)))
7.0ms	(/.f64 (E.f64) (/.f64 (-.f64 1 x) y))
4.0ms	(/.f64 (E.f64) (-.f64 1 x))

simplify3.3s (24.8%)

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.5%)

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
✓	0.0b	(log.f64 (-.f64 (/.f64 (E.f64) (-.f64 1 x)) (/.f64 (E.f64) (/.f64 (-.f64 1 x) y))))
✓	20.5b	(-.f64 1 (log1p.f64 (/.f64 (-.f64 x y) (+.f64 y -1))))

Compiler

Compiled 173388 to 97243 computations (43.9% saved)

regimes419.0ms (3.2%)

Accuracy

Total 0.0b remaining (52.4%)

Threshold costs 0.0b (52.4%)

Counts

81 → 1

Compiler

Compiled 7202 to 5758 computations (20% 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

end50.0ms (0.4%)

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

Details

analyze755.0ms (5.7%)

sample2.2s (16.7%)

simplify205.0ms (1.6%)

prune3.0ms (0%)

localize7.0ms (0.1%)

series139.0ms (1.1%)

rewrite17.0ms (0.1%)

simplify104.0ms (0.8%)

prune208.0ms (1.6%)

localize9.0ms (0.1%)

series840.0ms (6.4%)

rewrite53.0ms (0.4%)

simplify246.0ms (1.9%)

prune446.0ms (3.4%)

localize8.0ms (0.1%)

series70.0ms (0.5%)

rewrite768.0ms (5.8%)

simplify3.3s (24.8%)

prune3.4s (25.5%)

regimes419.0ms (3.2%)

simplify3.0ms (0%)

end50.0ms (0.4%)

Profiling