Details

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

sample92.0ms (2%)

Algorithm

1×

intervals

Results

47.0ms	141×	body	1024	valid
19.0ms	64×	body	512	valid
8.0ms	15×	body	2048	valid
4.0ms	31×	body	256	valid
3.0ms	256×	pre	128	true
0.0ms	5×	body	128	valid

Compiler

Compiled 36 to 27 computations (25% saved)

simplify197.0ms (4.3%)

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%)

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)

localize9.0ms (0.2%)

Local error

Found 3 expressions with local error:

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

rewrite83.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

60.5b

Rules

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

Counts

3 → 81

Calls

3 calls:

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

Compiler

Compiled 1684 to 1052 computations (37.5% saved)

series38.0ms (0.8%)

Error

Counts

3 → 12

Calls

3 calls:

16.0ms	(*.f64 n (log.f64 n))
8.0ms	(-.f64 (.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (.f64 n (log.f64 n)))
7.0ms	(*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))

Compiler

Compiled 523 to 398 computations (23.9% saved)

simplify102.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

491×	`times-frac_binary64`
368×	`distribute-rgt-in_binary64`
338×	`distribute-lft-in_binary64`
329×	`unsub-neg_binary64`
269×	`cancel-sign-sub-inv_binary64`

Counts

93 → 61

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	148	1594
1	330	1446
2	922	1437
3	2578	1434
4	4000	1434
5	4934	1434

prune23.0ms (0.5%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

Counts

62 → 1

Alt Table

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

Compiler

Compiled 896 to 565 computations (36.9% saved)

localize8.0ms (0.2%)

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)

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

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

regimes166.0ms (3.6%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (0%)

Compiler

Compiled 3555 to 2591 computations (27.1% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	9
1	12	9
2	13	9
3	11	9

end0.0ms (0%)

Compiler: Compiled 7 to 6 computations (14.3% saved)

sample3.6s (79.1%)

Algorithm

1×

intervals

Results

1.6s	4169×	body	1024	valid
536.0ms	2125×	body	512	valid
503.0ms	1102×	body	256	valid
259.0ms	462×	body	2048	valid
105.0ms	8000×	pre	128	true
10.0ms	142×	body	128	valid

Compiler

Compiled 34 to 27 computations (20.6% saved)

Details

analyze220.0ms (4.8%)

sample92.0ms (2%)

simplify197.0ms (4.3%)

prune2.0ms (0%)

localize9.0ms (0.2%)

rewrite83.0ms (1.8%)

series38.0ms (0.8%)

simplify102.0ms (2.2%)

prune23.0ms (0.5%)

localize8.0ms (0.2%)

rewrite0.0ms (0%)

series0.0ms (0%)

simplify9.0ms (0.2%)

prune2.0ms (0%)

regimes166.0ms (3.6%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample3.6s (79.1%)

Profiling