Details

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

sample4.3s (89.7%)

Results

2.4s	4317×	body	1024	valid
938.0ms	2181×	body	512	valid
367.0ms	477×	body	2048	valid
300.0ms	1119×	body	256	valid
22.0ms	162×	body	128	valid

Compiler

Compiled 54 to 40 computations (25.9% saved)

simplify228.0ms (4.7%)

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

prune4.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.2b

Counts

3 → 1

Alt Table

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

Compiler

Compiled 51 to 31 computations (39.2% saved)

localize9.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 n (-.f64 (log1p.f64 n) (log.f64 n)) (log1p.f64 n))
✓	4.8b	(-.f64 (log1p.f64 n) (log.f64 n))

series7.0ms (0.1%)

Counts

2 → 24

Calls

2 calls:

3.0ms	(fma.f64 n (-.f64 (log1p.f64 n) (log.f64 n)) (log1p.f64 n))
3.0ms	(-.f64 (log1p.f64 n) (log.f64 n))

rewrite46.0ms (1%)

Algorithm

2×	batch-egg-rewrite

Rules

657×	`expm1-log1p-u_binary64`
656×	`log1p-expm1-u_binary64`
458×	`prod-diff_binary64`
119×	`log1p-udef_binary64`
72×	`egg-rr`

Counts

2 → 72

Calls

2 calls:

44.0ms	(fma.f64 n (-.f64 (log1p.f64 n) (log.f64 n)) (log1p.f64 n))
44.0ms	(-.f64 (log1p.f64 n) (log.f64 n))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	22
1	126	22
2	1621	22
3	5074	22
0	0	0
1	0	0

simplify75.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

455×	`sub-neg_binary64`
429×	`cancel-sign-sub-inv_binary64`
425×	`fma-neg_binary64`
318×	`associate-l_binary64`
252×	`associate-r_binary64`

Counts

96 → 105

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	74	428
1	223	402
2	668	399
3	1916	392
4	4206	392
5	4687	392
6	4850	392

prune52.0ms (1.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	104	1	105
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	105	1	106

Error

Counts

106 → 1

Alt Table

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

Compiler

Compiled 1989 to 914 computations (54% saved)

localize4.0ms (0.1%)

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	(+.f64 (+.f64 (log.f64 n) 1) -1)

Compiler

Compiled 7 to 6 computations (14.3% saved)

regimes21.0ms (0.4%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (0%)

Counts

5 → 1

Compiler

Compiled 226 to 166 computations (26.5% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

2×	`+-commutative_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	9
1	11	9
2	10	9

end32.0ms (0.7%)

Compiler: Compiled 21 to 18 computations (14.3% saved)

Details

analyze18.0ms (0.4%)

sample4.3s (89.7%)

simplify228.0ms (4.7%)

prune4.0ms (0.1%)

localize9.0ms (0.2%)

series7.0ms (0.1%)

rewrite46.0ms (1%)

simplify75.0ms (1.6%)

prune52.0ms (1.1%)

localize4.0ms (0.1%)

prune1.0ms (0%)

regimes21.0ms (0.4%)

simplify2.0ms (0%)

end32.0ms (0.7%)

Profiling