Details

analyze260.0ms (7.1%)

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)

sample88.0ms (2.4%)

Algorithm

1×

intervals

Results

45.0ms	130×	body	1024	valid
13.0ms	58×	body	512	valid
11.0ms	20×	body	2048	valid
5.0ms	35×	body	256	valid
3.0ms	256×	pre	128	true
1.0ms	13×	body	128	valid

Compiler

Compiled 36 to 27 computations (25% saved)

simplify238.0ms (6.5%)

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 → 1

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

prune3.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

44.3b

Counts

2 → 1

Alt Table

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

Compiler

Compiled 36 to 21 computations (41.7% saved)

localize8.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 (fma.f64 n (-.f64 (log1p.f64 n) (log.f64 n)) (log1p.f64 n)) -1)
0.0b	(fma.f64 n (-.f64 (log1p.f64 n) (log.f64 n)) (log1p.f64 n))
6.1b	(-.f64 (log1p.f64 n) (log.f64 n))

rewrite40.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

44.3b

Rules

19×	`*-un-lft-identity_binary64`
17×	`add-sqr-sqrt_binary64`
14×	`add-cube-cbrt_binary64`
12×	`prod-diff_binary64`
8×	`pow1_binary64`

Counts

3 → 68

Calls

3 calls:

4.0ms	(-.f64 (log1p.f64 n) (log.f64 n))
2.0ms	(+.f64 (fma.f64 n (-.f64 (log1p.f64 n) (log.f64 n)) (log1p.f64 n)) -1)
0.0ms	(fma.f64 n (-.f64 (log1p.f64 n) (log.f64 n)) (log1p.f64 n))

Compiler

Compiled 1327 to 368 computations (72.3% saved)

series24.0ms (0.7%)

Error

Counts

3 → 11

Calls

3 calls:

8.0ms	(fma.f64 n (-.f64 (log1p.f64 n) (log.f64 n)) (log1p.f64 n))
6.0ms	(-.f64 (log1p.f64 n) (log.f64 n))
5.0ms	(+.f64 (fma.f64 n (-.f64 (log1p.f64 n) (log.f64 n)) (log1p.f64 n)) -1)

Compiler

Compiled 330 to 253 computations (23.3% saved)

simplify92.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

653×	`fma-neg_binary64`
433×	`fma-def_binary64`
331×	`exp-sum_binary64`
322×	`distribute-rgt-in_binary64`
306×	`distribute-lft-in_binary64`

Counts

79 → 50

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	140	1480
1	285	1087
2	812	1014
3	3043	1011
4	4465	1011
5	4835	1011

prune12.0ms (0.3%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	49	1	50
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	50	1	51

Error

Counts

51 → 1

Alt Table

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

Compiler

Compiled 494 to 172 computations (65.2% saved)

localize2.0ms (0.1%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Error

Counts

0 → 0

Compiler

Compiled 0 to 0 computations (0% saved)

series0.0ms (0%)

Error: 0b
Counts: 0 → 0
Compiler: Compiled 0 to 0 computations (0% saved)

simplify8.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0
1	0	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	(log1p.f64 n)

Compiler

Compiled 3 to 2 computations (33.3% saved)

regimes57.0ms (1.5%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (0%)

Compiler

Compiled 1465 to 685 computations (53.2% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	3	3
1	3	3

end0.0ms (0%)

Compiler: Compiled 3 to 2 computations (33.3% saved)

sample2.8s (77.2%)

Algorithm

1×

intervals

Results

1.5s	4199×	body	1024	valid
498.0ms	2088×	body	512	valid
225.0ms	450×	body	2048	valid
168.0ms	1097×	body	256	valid
111.0ms	8000×	pre	128	true
12.0ms	166×	body	128	valid

Compiler

Compiled 26 to 19 computations (26.9% saved)

Details

analyze260.0ms (7.1%)

sample88.0ms (2.4%)

simplify238.0ms (6.5%)

prune3.0ms (0.1%)

localize8.0ms (0.2%)

rewrite40.0ms (1.1%)

series24.0ms (0.7%)

simplify92.0ms (2.5%)

prune12.0ms (0.3%)

localize2.0ms (0.1%)

rewrite0.0ms (0%)

series0.0ms (0%)

simplify8.0ms (0.2%)

prune1.0ms (0%)

regimes57.0ms (1.5%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample2.8s (77.2%)

Profiling