Details

analyze810.0ms (16.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 (44.7%)

Results

755.0ms	6117×	body	128	valid
415.0ms	1026×	body	1024	valid
211.0ms	694×	body	512	valid
192.0ms	522×	body	1024	invalid
158.0ms	1556×	body	128	invalid
114.0ms	345×	body	512	invalid
76.0ms	61×	body	2048	valid
69.0ms	358×	body	256	valid
33.0ms	180×	body	256	invalid

Compiler

Compiled 44 to 35 computations (20.5% saved)

simplify205.0ms (4.2%)

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

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

15.1b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	15.1b	(-.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 2 expressions with local error:

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

series57.0ms (1.2%)

Counts

2 → 48

Calls

2 calls:

49.0ms	(log1p.f64 (/.f64 (-.f64 x y) (+.f64 y -1)))
7.0ms	(/.f64 (-.f64 x y) (+.f64 y -1))

rewrite11.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

38×	`*-un-lft-identity_binary64`
32×	`add-sqr-sqrt_binary64`
25×	`times-frac_binary64`
14×	`add-cube-cbrt_binary64`
6×	`distribute-lft-out--_binary64`

Counts

2 → 65

Calls

2 calls:

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

simplify88.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

479×	`associate-+r+_binary64`
403×	`sub-neg_binary64`
349×	`+-commutative_binary64`
306×	`associate-+l+_binary64`
240×	`associate-/r*_binary64`

Counts

113 → 166

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	377	3806
1	1121	3687
2	4545	3655
3	5244	3655

prune159.0ms (3.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	164	2	166
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	164	3	167

Error

0.1b

Counts

167 → 3

Alt Table

Status	Error	Program
✓	15.1b	(-.f64 1 (log1p.f64 (/.f64 (-.f64 x y) (+.f64 y -1))))
	58.2b	(-.f64 1 (-.f64 (log.f64 x) (log.f64 (-.f64 y 1))))
▶	47.7b	(-.f64 1 (+.f64 (log1p.f64 (neg.f64 x)) (log.f64 (/.f64 -1 y))))

Compiler

Compiled 5298 to 3487 computations (34.2% saved)

localize7.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.1b	(+.f64 (log1p.f64 (neg.f64 x)) (log.f64 (/.f64 -1 y)))

series609.0ms (12.6%)

Counts

1 → 24

Calls

1 calls:

609.0ms

(+.f64 (log1p.f64 (neg.f64 x)) (log.f64 (/.f64 -1 y)))

rewrite6.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`associate-+r+_binary64`
13×	`log-prod_binary64`
12×	`*-un-lft-identity_binary64`
9×	`times-frac_binary64`
9×	`add-sqr-sqrt_binary64`

Counts

1 → 33

Calls

1 calls:

4.0ms

(+.f64 (log1p.f64 (neg.f64 x)) (log.f64 (/.f64 -1 y)))

simplify71.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

650×	`sub-neg_binary64`
553×	`fma-neg_binary64`
402×	`cancel-sign-sub-inv_binary64`
324×	`distribute-neg-in_binary64`
300×	`neg-mul-1_binary64`

Counts

57 → 74

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	128	1004
1	322	916
2	941	900
3	3100	886
4	4433	886
5	4985	886

prune34.0ms (0.7%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	73	1	74
Fresh	1	0	1
Picked	1	0	1
Done	0	1	1
Total	75	2	77

Error

0.0b

Counts

77 → 2

Alt Table

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

Compiler

Compiled 1329 to 912 computations (31.4% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

series227.0ms (4.7%)

Counts

2 → 48

Calls

2 calls:

219.0ms	(log.f64 (/.f64 (+.f64 -1 x) y))
7.0ms	(/.f64 (+.f64 -1 x) y)

rewrite10.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

33×	`*-un-lft-identity_binary64`
24×	`times-frac_binary64`
19×	`add-sqr-sqrt_binary64`
19×	`add-cube-cbrt_binary64`
16×	`log-prod_binary64`

Counts

2 → 64

Calls

2 calls:

4.0ms	(/.f64 (+.f64 -1 x) y)
3.0ms	(log.f64 (/.f64 (+.f64 -1 x) y))

simplify75.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

474×	`fma-neg_binary64`
426×	`div-sub_binary64`
189×	`fma-def_binary64`
178×	`sub-neg_binary64`
173×	`distribute-rgt-in_binary64`

Counts

112 → 99

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	147	1494
1	327	1425
2	909	1393
3	3575	1392
4	4973	1392

prune43.0ms (0.9%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	99	0	99
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	99	2	101

Error

0.0b

Counts

101 → 2

Alt Table

Status	Error	Program
✓	15.1b	(-.f64 1 (log1p.f64 (/.f64 (-.f64 x y) (+.f64 y -1))))
✓	42.4b	(-.f64 1 (log.f64 (/.f64 (+.f64 -1 x) y)))

Compiler

Compiled 1530 to 1128 computations (26.3% saved)

regimes196.0ms (4%)

Accuracy

Total 0.2b remaining (64.6%)

Threshold costs 0.2b (64.6%)

Counts

24 → 2

Compiler

Compiled 1778 to 1390 computations (21.8% saved)

bsearch1.0ms (0%)

Compiler: Compiled 9 to 6 computations (33.3% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

9×	`+-commutative_binary64`
7×	`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	20	42
1	31	42
2	41	42
3	47	42
4	50	42
5	49	42

end50.0ms (1%)

Compiler: Compiled 82 to 59 computations (28% saved)

Details

analyze810.0ms (16.7%)

sample2.2s (44.7%)

simplify205.0ms (4.2%)

prune3.0ms (0.1%)

localize7.0ms (0.1%)

series57.0ms (1.2%)

rewrite11.0ms (0.2%)

simplify88.0ms (1.8%)

prune159.0ms (3.3%)

localize7.0ms (0.1%)

series609.0ms (12.6%)

rewrite6.0ms (0.1%)

simplify71.0ms (1.5%)

prune34.0ms (0.7%)

localize6.0ms (0.1%)

series227.0ms (4.7%)

rewrite10.0ms (0.2%)

simplify75.0ms (1.6%)

prune43.0ms (0.9%)

regimes196.0ms (4%)

bsearch1.0ms (0%)

simplify5.0ms (0.1%)

end50.0ms (1%)

Profiling