Details

analyze265.0ms (6%)

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)

sample100.0ms (2.2%)

Algorithm

1×

intervals

Results

48.0ms	127×	body	1024	valid
23.0ms	77×	body	512	valid
6.0ms	12×	body	2048	valid
5.0ms	34×	body	256	valid
3.0ms	256×	pre	128	true
0.0ms	6×	body	128	valid

Compiler

Compiled 36 to 27 computations (25% saved)

simplify237.0ms (5.3%)

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.4b

Counts

2 → 1

Alt Table

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

0.0b	(log1p.f64 n)
0.0b	(log1p.f64 n)
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 (0.9%)

Algorithm

1×	rewrite-expression-head

Error

44.3b

Rules

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

Counts

4 → 71

Calls

4 calls:

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

Compiler

Compiled 1236 to 372 computations (69.9% saved)

series29.0ms (0.7%)

Error

0.0b

Counts

4 → 14

Calls

4 calls:

9.0ms	(fma.f64 n (-.f64 (log1p.f64 n) (log.f64 n)) (log1p.f64 n))
6.0ms	(-.f64 (log1p.f64 n) (log.f64 n))
4.0ms	(log1p.f64 n)
4.0ms	(log1p.f64 n)

Compiler

Compiled 537 to 385 computations (28.3% saved)

simplify105.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

578×	`fma-neg_binary64`
410×	`exp-prod_binary64`
372×	`associate-l_binary64`
335×	`unswap-sqr_binary64`
310×	`associate-r_binary64`

Counts

85 → 41

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	110	1143
1	197	801
2	568	740
3	2260	740
4	4028	740
5	4592	740
6	4872	740

prune10.0ms (0.2%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	40	1	41
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	41	1	42

Error

0.0b

Counts

42 → 1

Alt Table

Status	Error	Program
▶	0.0b	(+.f64 (+.f64 (log.f64 n) 1) -1)

Compiler

Compiled 319 to 144 computations (54.9% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 (log.f64 n) 1)
0.0b	(+.f64 (+.f64 (log.f64 n) 1) -1)

rewrite31.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

Rules

18×	`*-un-lft-identity_binary64`
9×	`distribute-lft-out_binary64`
9×	`fma-def_binary64`
7×	`add-log-exp_binary64`
6×	`pow1_binary64`

Counts

2 → 46

Calls

2 calls:

10.0ms	(+.f64 (+.f64 (log.f64 n) 1) -1)
3.0ms	(+.f64 (log.f64 n) 1)

Compiler

Compiled 456 to 320 computations (29.8% saved)

series16.0ms (0.4%)

Error

Counts

2 → 6

Calls

2 calls:

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

Compiler

Compiled 133 to 114 computations (14.3% saved)

simplify78.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

543×	`log-prod_binary64`
428×	`associate--l+_binary64`
427×	`times-frac_binary64`
298×	`unsub-neg_binary64`
270×	`associate--r-_binary64`

Counts

52 → 29

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	71	393
1	166	313
2	308	310
3	1315	308
4	3592	308
5	4682	308
6	5145	308

prune11.0ms (0.3%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	28	1	29
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	29	1	30

Error

Counts

30 → 1

Alt Table

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

Compiler

Compiled 185 to 110 computations (40.5% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(log1p.f64 (expm1.f64 (log.f64 n)))
5.7b	(expm1.f64 (log.f64 n))

rewrite7.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

3×	`log1p-expm1-u_binary64`
2×	`*-un-lft-identity_binary64`
2×	`add-sqr-sqrt_binary64`
2×	`add-cube-cbrt_binary64`
2×	`add-cbrt-cube_binary64`

Counts

2 → 22

Calls

2 calls:

1.0ms	(expm1.f64 (log.f64 n))
0.0ms	(log1p.f64 (expm1.f64 (log.f64 n)))

Compiler

Compiled 166 to 57 computations (65.7% saved)

series21.0ms (0.5%)

Error

Counts

2 → 6

Calls

2 calls:

11.0ms	(log1p.f64 (expm1.f64 (log.f64 n)))
7.0ms	(expm1.f64 (log.f64 n))

Compiler

Compiled 151 to 131 computations (13.2% saved)

simplify66.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

804×	`div-sub_binary64`
635×	`fma-def_binary64`
335×	`associate-+l+_binary64`
311×	`associate-+r+_binary64`
251×	`associate-l_binary64`

Counts

28 → 22

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	41	147
1	62	131
2	100	131
3	237	131
4	747	131
5	3554	131
6	5213	131

prune5.0ms (0.1%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	22	0	22
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	22	1	23

Error

Counts

23 → 1

Alt Table

Status	Error	Program
	0b	(log1p.f64 (expm1.f64 (log.f64 n)))

Compiler

Compiled 97 to 64 computations (34% saved)

regimes245.0ms (5.5%)

Accuracy

Total 0b remaining (0%)

Threshold costs 0b (0%)

Compiler

Compiled 1084 to 586 computations (45.9% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	5	7

end0.0ms (0%)

Compiler: Compiled 5 to 4 computations (20% saved)

sample3.1s (70.8%)

Algorithm

1×

intervals

Results

1.7s	4236×	body	1024	valid
543.0ms	2118×	body	512	valid
217.0ms	424×	body	2048	valid
162.0ms	1063×	body	256	valid
105.0ms	8000×	pre	128	true
11.0ms	159×	body	128	valid

Compiler

Compiled 30 to 23 computations (23.3% saved)

Details

analyze265.0ms (6%)

sample100.0ms (2.2%)

simplify237.0ms (5.3%)

prune3.0ms (0.1%)

localize8.0ms (0.2%)

rewrite40.0ms (0.9%)

series29.0ms (0.7%)

simplify105.0ms (2.4%)

prune10.0ms (0.2%)

localize5.0ms (0.1%)

rewrite31.0ms (0.7%)

series16.0ms (0.4%)

simplify78.0ms (1.8%)

prune11.0ms (0.3%)

localize5.0ms (0.1%)

rewrite7.0ms (0.2%)

series21.0ms (0.5%)

simplify66.0ms (1.5%)

prune5.0ms (0.1%)

regimes245.0ms (5.5%)

simplify4.0ms (0.1%)

end0.0ms (0%)

sample3.1s (70.8%)

Profiling