Details

analyze346.0ms (4.8%)

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)

sample181.0ms (2.5%)

Algorithm

1×

intervals

Results

109.0ms	141×	body	1024	valid
29.0ms	65×	body	512	valid
10.0ms	36×	body	256	valid
9.0ms	9×	body	2048	valid
5.0ms	256×	pre	128	true
1.0ms	5×	body	128	valid

Compiler

Compiled 36 to 27 computations (25% saved)

simplify250.0ms (3.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 → 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

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

localize15.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	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))
✓	3.4b	(-.f64 (log1p.f64 n) (log.f64 n))

rewrite27.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

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:

12.0ms	(+.f64 (fma.f64 n (-.f64 (log1p.f64 n) (log.f64 n)) (log1p.f64 n)) -1)
7.0ms	(-.f64 (log1p.f64 n) (log.f64 n))
1.0ms	(fma.f64 n (-.f64 (log1p.f64 n) (log.f64 n)) (log1p.f64 n))

series41.0ms (0.6%)

Counts

3 → 36

Calls

3 calls:

19.0ms	(fma.f64 n (-.f64 (log1p.f64 n) (log.f64 n)) (log1p.f64 n))
12.0ms	(+.f64 (fma.f64 n (-.f64 (log1p.f64 n) (log.f64 n)) (log1p.f64 n)) -1)
10.0ms	(-.f64 (log1p.f64 n) (log.f64 n))

simplify224.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

739×	`fma-def_binary64`
284×	`associate--l+_binary64`
234×	`fma-neg_binary64`
221×	`distribute-rgt-in_binary64`
220×	`associate-+l+_binary64`

Counts

104 → 175

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	190	1966
1	464	1585
2	1407	1507
3	4403	1507
4	4898	1507
5	4898	1507

prune101.0ms (1.4%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	174	1	175
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	175	1	176

Error

Counts

176 → 1

Alt Table

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

Compiler

Compiled 2589 to 1073 computations (58.6% saved)

localize4.0ms (0.1%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify18.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

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

regimes32.0ms (0.4%)

Accuracy

Total 0.0b remaining (100%)

Threshold costs 0.0b (100%)

Compiler

Compiled 235 to 172 computations (26.8% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

3×	`+-commutative_binary64`
2×	`sub-neg_binary64`
1×	`*-commutative_binary64`
1×	`neg-sub0_binary64`
1×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	12
1	13	12
2	16	12
3	18	12
4	19	12
5	18	12

end1.0ms (0%)

Compiler: Compiled 9 to 8 computations (11.1% saved)

sample5.9s (82.5%)

Algorithm

1×

intervals

Results

3.1s	4252×	body	1024	valid
1.3s	2121×	body	512	valid
483.0ms	459×	body	2048	valid
313.0ms	1016×	body	256	valid
168.0ms	8000×	pre	128	true
26.0ms	152×	body	128	valid

Compiler

Compiled 32 to 25 computations (21.9% saved)

Details

analyze346.0ms (4.8%)

sample181.0ms (2.5%)

simplify250.0ms (3.5%)

prune6.0ms (0.1%)

localize15.0ms (0.2%)

rewrite27.0ms (0.4%)

series41.0ms (0.6%)

simplify224.0ms (3.1%)

prune101.0ms (1.4%)

localize4.0ms (0.1%)

rewrite0.0ms (0%)

series0.0ms (0%)

simplify18.0ms (0.2%)

prune3.0ms (0%)

regimes32.0ms (0.4%)

simplify6.0ms (0.1%)

end1.0ms (0%)

sample5.9s (82.5%)

Profiling