Details

analyze19.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.6s (86.9%)

Results

2.7s	4353×	body	1024	valid
935.0ms	2228×	body	512	valid
349.0ms	423×	body	2048	valid
317.0ms	1095×	body	256	valid
21.0ms	157×	body	128	valid

Compiler

Compiled 54 to 40 computations (25.9% saved)

simplify229.0ms (4.4%)

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

3 alts after pruning (3 fresh and 0 done)

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

Error

44.4b

Counts

3 → 2

Alt Table

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

Compiler

Compiled 83 to 55 computations (33.7% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

series12.0ms (0.2%)

Counts

3 → 36

Calls

3 calls:

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

rewrite7.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`*-un-lft-identity_binary64`
15×	`add-sqr-sqrt_binary64`
13×	`add-cube-cbrt_binary64`
12×	`prod-diff_binary64`
8×	`pow1_binary64`

Counts

3 → 60

Calls

3 calls:

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

simplify130.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

971×	`fma-neg_binary64`
720×	`fma-def_binary64`
299×	`associate--l+_binary64`
198×	`sub-neg_binary64`
197×	`+-commutative_binary64`

Counts

96 → 118

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	175	1616
1	422	1246
2	1331	1179
3	3752	1172
4	4795	1172
5	4972	1172
6	4957	1172
7	4846	1172

prune61.0ms (1.2%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	149	1	150
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	151	1	152

Error

0.0b

Counts

152 → 1

Alt Table

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

Compiler

Compiled 2869 to 1335 computations (53.5% saved)

localize4.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (log.f64 n) 1)
✓	0.0b	(+.f64 (+.f64 (log.f64 n) 1) -1)

series49.0ms (0.9%)

Counts

2 → 24

Calls

2 calls:

28.0ms	(+.f64 (+.f64 (log.f64 n) 1) -1)
21.0ms	(+.f64 (log.f64 n) 1)

rewrite10.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

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:

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

simplify73.0ms (1.4%)

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

70 → 62

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	71	474
1	166	394
2	308	391
3	1315	389
4	3592	389
5	4682	389
6	5145	389

prune25.0ms (0.5%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	61	1	62
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	62	1	63

Error

Counts

63 → 1

Alt Table

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

Compiler

Compiled 668 to 443 computations (33.7% 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)

regimes23.0ms (0.4%)

Accuracy

Total 0b remaining (0%)

Threshold costs 0b (0%)

Counts

7 → 1

Compiler

Compiled 268 to 193 computations (28% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	3	3
1	3	3

end29.0ms (0.6%)

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

Details

analyze19.0ms (0.4%)

sample4.6s (86.9%)

simplify229.0ms (4.4%)

prune4.0ms (0.1%)

localize8.0ms (0.1%)

series12.0ms (0.2%)

rewrite7.0ms (0.1%)

simplify130.0ms (2.5%)

prune61.0ms (1.2%)

localize4.0ms (0.1%)

series49.0ms (0.9%)

rewrite10.0ms (0.2%)

simplify73.0ms (1.4%)

prune25.0ms (0.5%)

localize2.0ms (0%)

prune1.0ms (0%)

regimes23.0ms (0.4%)

simplify2.0ms (0%)

end29.0ms (0.6%)

Profiling