Details

analyze240.0ms (7%)

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)

sample73.0ms (2.1%)

Algorithm

1×

intervals

Results

38.0ms	135×	body	1024	valid
13.0ms	68×	body	512	valid
5.0ms	11×	body	2048	valid
4.0ms	31×	body	256	valid
3.0ms	256×	pre	128	true
1.0ms	11×	body	128	valid

Compiler

Compiled 36 to 27 computations (25% saved)

simplify204.0ms (5.9%)

Algorithm

1×	egg-herbie

Rules

811×	`associate--r+_binary64`
753×	`associate--l+_binary64`
536×	`associate-+r+_binary64`
481×	`associate-+l+_binary64`
443×	`neg-mul-1_binary64`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	23
1	25	23
2	51	23
3	91	23
4	195	23
5	328	23
6	530	23
7	646	23
8	638	23
9	881	23
10	1746	23
11	1697	23
12	1893	23
13	1897	23
14	1905	23
15	1905	23
16	2123	23
17	2059	23
18	2075	23
19	2081	23
20	2087	23
21	2087	23
22	2087	23
23	4419	23
24	4762	23
25	5068	23

prune2.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

63.0b

Counts

1 → 1

Alt Table

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

Compiler

Compiled 32 to 24 computations (25% saved)

localize14.0ms (0.4%)

Local error

Found 3 expressions with local error:

0.2b	(*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))
0.2b	(*.f64 n (log.f64 n))
5.6b	(-.f64 (.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (.f64 n (log.f64 n)))

rewrite108.0ms (3.1%)

Algorithm

1×	rewrite-expression-head

Error

60.4b

Rules

28×	`log-prod_binary64`
25×	`*-un-lft-identity_binary64`
19×	`add-sqr-sqrt_binary64`
15×	`add-cube-cbrt_binary64`
14×	`distribute-rgt-in_binary64` `distribute-lft-in_binary64`

Counts

3 → 81

Calls

3 calls:

10.0ms	(-.f64 (.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (.f64 n (log.f64 n)))
8.0ms	(*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))
4.0ms	(*.f64 n (log.f64 n))

Compiler

Compiled 1684 to 1052 computations (37.5% saved)

series45.0ms (1.3%)

Error

Counts

3 → 11

Calls

3 calls:

14.0ms	(*.f64 n (log.f64 n))
11.0ms	(-.f64 (.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (.f64 n (log.f64 n)))
8.0ms	(*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))

Compiler

Compiled 490 to 373 computations (23.9% saved)

simplify99.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

674×	`times-frac_binary64`
361×	`distribute-rgt-in_binary64`
338×	`distribute-lft-in_binary64`
321×	`unsub-neg_binary64`
251×	`cancel-sign-sub-inv_binary64`

Counts

92 → 74

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	146	1544
1	326	1434
2	887	1425
3	2517	1422
4	4049	1422
5	5264	1422

prune41.0ms (1.2%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	73	1	74
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	74	1	75

Error

Counts

75 → 1

Alt Table

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

Compiler

Compiled 1157 to 742 computations (35.9% saved)

localize4.0ms (0.1%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Error

Counts

0 → 0

Compiler

Compiled 0 to 0 computations (0% saved)

series0.0ms (0%)

Error: 0b
Counts: 0 → 0
Compiler: Compiled 0 to 0 computations (0% saved)

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

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

Compiler

Compiled 7 to 6 computations (14.3% saved)

regimes169.0ms (4.9%)

Accuracy

Total 0.0b remaining (29.4%)

Threshold costs 0.0b (29.4%)

Compiler

Compiled 3109 to 2242 computations (27.9% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	12
1	14	12
2	18	12
3	20	12
4	21	12
5	19	12

end1.0ms (0%)

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

sample2.4s (70.6%)

Algorithm

1×

intervals

Results

1.3s	4394×	body	1024	valid
391.0ms	2027×	body	512	valid
204.0ms	440×	body	2048	valid
122.0ms	992×	body	256	valid
87.0ms	8000×	pre	128	true
8.0ms	147×	body	128	valid

Compiler

Compiled 36 to 29 computations (19.4% saved)

Details

analyze240.0ms (7%)

sample73.0ms (2.1%)

simplify204.0ms (5.9%)

prune2.0ms (0.1%)

localize14.0ms (0.4%)

rewrite108.0ms (3.1%)

series45.0ms (1.3%)

simplify99.0ms (2.9%)

prune41.0ms (1.2%)

localize4.0ms (0.1%)

rewrite0.0ms (0%)

series0.0ms (0%)

simplify7.0ms (0.2%)

prune1.0ms (0%)

regimes169.0ms (4.9%)

simplify3.0ms (0.1%)

end1.0ms (0%)

sample2.4s (70.6%)

Profiling