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.1s (90.1%)

Results

2.4s	4317×	body	1024	valid
917.0ms	2181×	body	512	valid
363.0ms	477×	body	2048	valid
326.0ms	1119×	body	256	valid
23.0ms	162×	body	128	valid

Compiler

Compiled 54 to 40 computations (25.9% saved)

simplify56.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

763×	`rules-20_binary64`
589×	`rules-21_binary64`
579×	`fma-neg_binary64`
347×	`rules-11_binary64`
296×	`fma-def_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	23
1	65	18
2	220	18
3	832	18
4	3940	18
5	6	18

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

62.0b

Counts

3 → 1

Alt Table

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

Compiler

Compiled 54 to 37 computations (31.5% saved)

localize9.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.3b	(fma.f64 n (log.f64 n) 1)
✓	0.3b	(*.f64 (+.f64 n 1) (log1p.f64 n))
✓	6.1b	(-.f64 (*.f64 (+.f64 n 1) (log1p.f64 n)) (fma.f64 n (log.f64 n) 1))

series14.0ms (0.3%)

Counts

3 → 36

Calls

3 calls:

7.0ms	(fma.f64 n (log.f64 n) 1)
4.0ms	(-.f64 (*.f64 (+.f64 n 1) (log1p.f64 n)) (fma.f64 n (log.f64 n) 1))
3.0ms	(*.f64 (+.f64 n 1) (log1p.f64 n))

rewrite87.0ms (1.9%)

Algorithm

2×	batch-egg-rewrite

Rules

910×	`expm1-log1p-u_binary64`
800×	`prod-diff_binary64`
188×	`egg-rr`
89×	`add-sqr-sqrt_binary64`
84×	`log1p-expm1-u_binary64`

Counts

3 → 188

Calls

3 calls:

82.0ms	(fma.f64 n (log.f64 n) 1)
82.0ms	(*.f64 (+.f64 n 1) (log1p.f64 n))
82.0ms	(-.f64 (*.f64 (+.f64 n 1) (log1p.f64 n)) (fma.f64 n (log.f64 n) 1))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	34
1	207	34
2	2618	34
3	5737	34
0	0	0
1	0	0

simplify54.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

793×	`rules-40_binary64`
793×	`rules-41_binary64`
793×	`rules-42_binary64`
793×	`rules-43_binary64`
273×	`rules-7-rev_binary64`

Counts

224 → 236

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	80	575
1	592	500
2	2855	482
3	5180	482

prune137.0ms (3%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	235	1	236
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	236	1	237

Error

Counts

237 → 1

Alt Table

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

Compiler

Compiled 5729 to 3399 computations (40.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)

regimes34.0ms (0.7%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (0%)

Counts

8 → 1

Compiler

Compiled 385 to 283 computations (26.5% saved)

simplify1.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	3	3
1	3	3

end32.0ms (0.7%)

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

Details

analyze19.0ms (0.4%)

sample4.1s (90.1%)

simplify56.0ms (1.2%)

prune4.0ms (0.1%)

localize9.0ms (0.2%)

series14.0ms (0.3%)

rewrite87.0ms (1.9%)

simplify54.0ms (1.2%)

prune137.0ms (3%)

localize2.0ms (0%)

prune1.0ms (0%)

regimes34.0ms (0.7%)

simplify1.0ms (0%)

end32.0ms (0.7%)

Profiling