Details

analyze30.0ms (0.4%)

Algorithm

1×

Search

True	Other	False	Iter
0%	23.7%	76.3%	0
0%	23.7%	76.3%	1
11.9%	11.9%	76.3%	2
17.8%	5.9%	76.3%	3
20.8%	3%	76.3%	4
22.2%	1.5%	76.3%	5
23%	0.7%	76.3%	6
23.3%	0.4%	76.3%	7
23.3%	0.4%	76.3%	8
23.4%	0.3%	76.3%	9
23.5%	0.2%	76.3%	10
23.5%	0.2%	76.3%	11
23.5%	0.2%	76.3%	12
23.6%	0.2%	76.3%	13
23.6%	0.1%	76.3%	14

Compiler

Compiled 19 to 14 computations (26.3% saved)

sample7.3s (88.6%)

Results

4.3s	4400×	body	1024	valid
1.4s	2085×	body	512	valid
672.0ms	496×	body	2048	valid
509.0ms	1103×	body	256	valid
52.0ms	172×	body	128	valid

Compiler

Compiled 54 to 40 computations (25.9% saved)

simplify300.0ms (3.6%)

Algorithm

1×	egg-herbie

Rules

930×	`fma-def_binary64`
842×	`fma-neg_binary64`
811×	`associate--r+_binary64`
753×	`associate--l+_binary64`
678×	`unsub-neg_binary64`

Counts

1 → 2

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	10	23
1	26	18
2	58	18
3	112	18
4	259	17
5	462	17
6	742	17
7	1020	17
8	1240	17
9	1585	17
10	2693	17
11	2644	17
12	2840	17
13	2844	17
14	2852	17
15	2852	17
16	3070	17
17	3006	17
18	3022	17
19	3028	17
20	3034	17
21	3034	17
22	3034	17
23	4776	17
24	4570	17
25	5171	17

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

44.1b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	44.1b	(+.f64 (fma.f64 n (-.f64 (log1p.f64 n) (log.f64 n)) (log1p.f64 n)) -1)

Compiler

Compiled 51 to 31 computations (39.2% saved)

localize15.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	2.9b	(-.f64 (log1p.f64 n) (log.f64 n))

series5.0ms (0.1%)

Counts

1 → 12

Calls

1 calls:

5.0ms

(-.f64 (log1p.f64 n) (log.f64 n))

rewrite75.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

541×	`expm1-log1p-u_binary64`
540×	`log1p-expm1-u_binary64`
394×	`prod-diff_binary64`
252×	`log-prod_binary64`
168×	`fma-def_binary64`

Counts

1 → 85

Calls

1 calls:

72.0ms

(-.f64 (log1p.f64 n) (log.f64 n))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	8
1	105	8
2	1343	8
3	5012	8

simplify91.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

738×	`fma-neg_binary64`
536×	`cancel-sign-sub-inv_binary64`
415×	`times-frac_binary64`
285×	`associate-/l/_binary64`
261×	`div-sub_binary64`

Counts

97 → 99

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	34	190
1	91	184
2	226	184
3	586	181
4	1660	181
5	4264	181
6	4698	181
7	4904	181

prune50.0ms (0.6%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	98	1	99
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	99	1	100

Error

0.0b

Counts

100 → 1

Alt Table

Status	Error	Program
▶	0.0b	(+.f64 (fma.f64 n (/.f64 1 n) (log1p.f64 n)) -1)

Compiler

Compiled 2053 to 826 computations (59.8% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 n (/.f64 1 n) (log1p.f64 n))
✓	0.0b	(+.f64 (fma.f64 n (/.f64 1 n) (log1p.f64 n)) -1)

series7.0ms (0.1%)

Counts

2 → 24

Calls

2 calls:

4.0ms	(+.f64 (fma.f64 n (/.f64 1 n) (log1p.f64 n)) -1)
3.0ms	(fma.f64 n (/.f64 1 n) (log1p.f64 n))

rewrite154.0ms (1.9%)

Algorithm

1×	batch-egg-rewrite

Rules

700×	`expm1-log1p-u_binary64`
699×	`log1p-expm1-u_binary64`
278×	`prod-diff_binary64`
133×	`expm1-udef_binary64`
133×	`log1p-udef_binary64`

Counts

2 → 57

Calls

2 calls:

153.0ms	(fma.f64 n (/.f64 1 n) (log1p.f64 n))
153.0ms	(+.f64 (fma.f64 n (/.f64 1 n) (log1p.f64 n)) -1)

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	8	23
1	162	12
2	1790	9
3	4410	9
4	4858	9
5	5042	9

simplify78.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

635×	`fma-def_binary64`
560×	`associate--l+_binary64`
490×	`times-frac_binary64`
440×	`associate-+l-_binary64`
292×	`associate--r+_binary64`

Counts

81 → 94

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	62	384
1	182	342
2	512	334
3	1425	321
4	4221	321
5	4848	321
6	5402	321

prune43.0ms (0.5%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	93	1	94
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	94	1	95

Error

Counts

95 → 1

Alt Table

Status	Error	Program
▶	0b	(log.f64 n)

Compiler

Compiled 1100 to 803 computations (27% saved)

localize2.0ms (0%)

prune1.0ms (0%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Kept	Total
New	0	0
Fresh	0	0
Picked	1	1
Done	0	0
Total	1	1

Error

Counts

1 → 1

Alt Table

Status	Error	Program
✓	0b	(log.f64 n)

Compiler

Compiled 3 to 2 computations (33.3% saved)

regimes38.0ms (0.5%)

Accuracy

Total 0b remaining (0%)

Threshold costs 0b (0%)

Counts

5 → 1

Compiler

Compiled 208 to 148 computations (28.8% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	3	3
1	3	3

end40.0ms (0.5%)

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

Details

analyze30.0ms (0.4%)

sample7.3s (88.6%)

simplify300.0ms (3.6%)

prune6.0ms (0.1%)

localize15.0ms (0.2%)

series5.0ms (0.1%)

rewrite75.0ms (0.9%)

simplify91.0ms (1.1%)

prune50.0ms (0.6%)

localize6.0ms (0.1%)

series7.0ms (0.1%)

rewrite154.0ms (1.9%)

simplify78.0ms (0.9%)

prune43.0ms (0.5%)

localize2.0ms (0%)

prune1.0ms (0%)

regimes38.0ms (0.5%)

simplify3.0ms (0%)

end40.0ms (0.5%)

Profiling