Details

analyze743.0ms (12.6%)

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 (35.9%)

Results

736.0ms	5988×	body	128	valid
442.0ms	1104×	body	1024	valid
208.0ms	709×	body	512	valid
170.0ms	486×	body	1024	invalid
165.0ms	1537×	body	128	invalid
107.0ms	339×	body	512	invalid
79.0ms	369×	body	256	valid
44.0ms	86×	body	2048	valid
33.0ms	182×	body	256	invalid

Compiler

Compiled 44 to 35 computations (20.5% saved)

simplify201.0ms (3.4%)

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

19.5b

Counts

3 → 1

Alt Table

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

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

series63.0ms (1.1%)

Counts

2 → 48

Calls

2 calls:

54.0ms	(log1p.f64 (/.f64 (-.f64 x y) (+.f64 y -1)))
9.0ms	(/.f64 (-.f64 x y) (+.f64 y -1))

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

simplify91.0ms (1.5%)

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

prune115.0ms (1.9%)

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
▶	41.5b	(-.f64 1 (+.f64 (log1p.f64 (neg.f64 x)) (log.f64 (/.f64 -1 y))))
✓	19.5b	(-.f64 1 (log1p.f64 (/.f64 (-.f64 x y) (+.f64 y -1))))
	58.3b	(-.f64 1 (-.f64 (log.f64 x) (log.f64 (-.f64 y 1))))

Compiler

Compiled 5298 to 3487 computations (34.2% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

series464.0ms (7.8%)

Counts

3 → 56

Calls

3 calls:

224.0ms	(+.f64 (log1p.f64 (neg.f64 x)) (log.f64 (/.f64 -1 y)))
221.0ms	(-.f64 1 (+.f64 (log1p.f64 (neg.f64 x)) (log.f64 (/.f64 -1 y))))
19.0ms	(log.f64 (/.f64 -1 y))

rewrite18.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

51×	`*-un-lft-identity_binary64`
31×	`add-sqr-sqrt_binary64`
28×	`add-cube-cbrt_binary64`
26×	`log-prod_binary64`
18×	`times-frac_binary64`

Counts

3 → 104

Calls

3 calls:

5.0ms	(-.f64 1 (+.f64 (log1p.f64 (neg.f64 x)) (log.f64 (/.f64 -1 y))))
4.0ms	(+.f64 (log1p.f64 (neg.f64 x)) (log.f64 (/.f64 -1 y)))
2.0ms	(log.f64 (/.f64 -1 y))

simplify102.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

719×	`fma-def_binary64`
555×	`distribute-rgt-in_binary64`
396×	`sub-neg_binary64`
359×	`fma-neg_binary64`
251×	`cancel-sign-sub-inv_binary64`

Counts

160 → 181

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	229	3314
1	560	2924
2	1997	2600
3	4321	2600
4	4923	2600

prune83.0ms (1.4%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	180	1	181
Fresh	1	0	1
Picked	1	0	1
Done	0	1	1
Total	182	2	184

Error

Counts

184 → 2

Alt Table

Status	Error	Program
▶	36.3b	(-.f64 1 (log.f64 (/.f64 (neg.f64 (-.f64 1 x)) y)))
✓	19.5b	(-.f64 1 (log1p.f64 (/.f64 (-.f64 x y) (+.f64 y -1))))

Compiler

Compiled 3611 to 2458 computations (31.9% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

series413.0ms (7%)

Counts

3 → 72

Calls

3 calls:

204.0ms	(-.f64 1 (log.f64 (/.f64 (neg.f64 (-.f64 1 x)) y)))
203.0ms	(log.f64 (/.f64 (neg.f64 (-.f64 1 x)) y))
6.0ms	(/.f64 (neg.f64 (-.f64 1 x)) y)

rewrite43.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

157×	`*-un-lft-identity_binary64`
156×	`add-sqr-sqrt_binary64`
144×	`times-frac_binary64`
104×	`log-prod_binary64`
93×	`add-cube-cbrt_binary64`

Counts

3 → 239

Calls

3 calls:

9.0ms	(-.f64 1 (log.f64 (/.f64 (neg.f64 (-.f64 1 x)) y)))
7.0ms	(/.f64 (neg.f64 (-.f64 1 x)) y)
5.0ms	(log.f64 (/.f64 (neg.f64 (-.f64 1 x)) y))

simplify259.0ms (4.4%)

Algorithm

1×	egg-herbie

Rules

484×	`fma-def_binary64`
423×	`sub-neg_binary64`
347×	`fma-neg_binary64`
300×	`times-frac_binary64`
223×	`log-div_binary64`

Counts

311 → 378

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	348	5455
1	799	4909
2	2333	4897
3	4301	4879
4	4888	4879
5	4994	4879
6	4995	4879
7	4905	4879

prune176.0ms (3%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	378	0	378
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	378	2	380

Error

Counts

380 → 2

Alt Table

Status	Error	Program
✓	36.3b	(-.f64 1 (log.f64 (/.f64 (neg.f64 (-.f64 1 x)) y)))
✓	19.5b	(-.f64 1 (log1p.f64 (/.f64 (-.f64 x y) (+.f64 y -1))))

Compiler

Compiled 7072 to 5082 computations (28.1% saved)

regimes933.0ms (15.8%)

Accuracy

Total 0.2b remaining (66.6%)

Threshold costs 0.2b (66.6%)

Counts

32 → 2

Compiler

Compiled 2258 to 1774 computations (21.4% saved)

bsearch1.0ms (0%)

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

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

16×	`+-commutative_binary64`
15×	`sub-neg_binary64`
11×	`neg-sub0_binary64`
11×	`neg-mul-1_binary64`
9×	`*-commutative_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	21	44
1	37	44
2	57	42
3	74	42
4	89	42
5	97	42
6	103	42
7	108	42
8	110	42
9	106	42

end47.0ms (0.8%)

Compiler: Compiled 83 to 60 computations (27.7% saved)

Details

analyze743.0ms (12.6%)

sample2.1s (35.9%)

simplify201.0ms (3.4%)

prune3.0ms (0%)

localize7.0ms (0.1%)

series63.0ms (1.1%)

rewrite10.0ms (0.2%)

simplify91.0ms (1.5%)

prune115.0ms (1.9%)

localize8.0ms (0.1%)

series464.0ms (7.8%)

rewrite18.0ms (0.3%)

simplify102.0ms (1.7%)

prune83.0ms (1.4%)

localize6.0ms (0.1%)

series413.0ms (7%)

rewrite43.0ms (0.7%)

simplify259.0ms (4.4%)

prune176.0ms (3%)

regimes933.0ms (15.8%)

bsearch1.0ms (0%)

simplify5.0ms (0.1%)

end47.0ms (0.8%)

Profiling