Details

analyze250.0ms (6.1%)

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)

sample88.0ms (2.2%)

Algorithm

1×

intervals

Results

44.0ms	133×	body	1024	valid
17.0ms	74×	body	512	valid
8.0ms	16×	body	2048	valid
4.0ms	28×	body	256	valid
3.0ms	256×	pre	128	true
0.0ms	5×	body	128	valid

Compiler

Compiled 36 to 27 computations (25% saved)

simplify205.0ms (5%)

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)

localize15.0ms (0.4%)

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

rewrite112.0ms (2.7%)

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

series47.0ms (1.2%)

Error

0.0b

Counts

3 → 11

Calls

3 calls:

15.0ms	(*.f64 n (log.f64 n))
11.0ms	(-.f64 (.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (.f64 n (log.f64 n)))
9.0ms	(*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))

Compiler

Compiled 490 to 373 computations (23.9% saved)

simplify105.0ms (2.6%)

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 → 76

Iterations

Useful iterations: 3 (0.0ms)

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

prune45.0ms (1.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	75	1	76
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	76	1	77

Error

0.0b

Counts

77 → 1

Alt Table

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

Compiler

Compiled 1214 to 776 computations (36.1% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(-.f64 (+.f64 1 (log.f64 n)) 1)
0.0b	(+.f64 1 (log.f64 n))

rewrite38.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

15×	`*-un-lft-identity_binary64`
8×	`add-sqr-sqrt_binary64`
7×	`add-log-exp_binary64`
4×	`pow1_binary64` `add-cube-cbrt_binary64` `distribute-lft-out_binary64`
3×	`log-prod_binary64` `associate-+r+_binary64` `cancel-sign-sub-inv_binary64` `distribute-lft-out--_binary64`

Counts

2 → 38

Calls

2 calls:

7.0ms	(-.f64 (+.f64 1 (log.f64 n)) 1)
4.0ms	(+.f64 1 (log.f64 n))

Compiler

Compiled 408 to 297 computations (27.2% saved)

series24.0ms (0.6%)

Error

Counts

2 → 6

Calls

2 calls:

10.0ms	(+.f64 1 (log.f64 n))
9.0ms	(-.f64 (+.f64 1 (log.f64 n)) 1)

Compiler

Compiled 133 to 114 computations (14.3% saved)

simplify110.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

633×	`distribute-rgt-in_binary64`
503×	`distribute-lft-in_binary64`
444×	`unsub-neg_binary64`
323×	`associate-+l-_binary64`
294×	`log-prod_binary64`

Counts

44 → 36

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	71	444
1	142	390
2	299	340
3	784	340
4	3525	340
5	4573	340
6	4683	340
7	4873	340
8	4885	340

prune16.0ms (0.4%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	35	1	36
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	36	1	37

Error

Counts

37 → 1

Alt Table

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

Compiler

Compiled 223 to 144 computations (35.4% saved)

localize4.0ms (0.1%)

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

simplify8.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.1%)

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

Compiler

Compiled 5 to 4 computations (20% saved)

regimes222.0ms (5.4%)

Accuracy

Total 0b remaining (0%)

Threshold costs 0b (0%)

Compiler

Compiled 3412 to 2506 computations (26.6% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`1-exp_binary64` `-lft-identity_binary64` `-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	3
1	8	3
2	7	3

end1.0ms (0%)

Compiler: Compiled 3 to 2 computations (33.3% saved)

sample2.8s (68.1%)

Algorithm

1×

intervals

Results

1.4s	4191×	body	1024	valid
481.0ms	2113×	body	512	valid
227.0ms	441×	body	2048	valid
156.0ms	1094×	body	256	valid
110.0ms	8000×	pre	128	true
11.0ms	161×	body	128	valid

Compiler

Compiled 28 to 21 computations (25% saved)

Details

analyze250.0ms (6.1%)

sample88.0ms (2.2%)

simplify205.0ms (5%)

prune2.0ms (0.1%)

localize15.0ms (0.4%)

rewrite112.0ms (2.7%)

series47.0ms (1.2%)

simplify105.0ms (2.6%)

prune45.0ms (1.1%)

localize5.0ms (0.1%)

rewrite38.0ms (0.9%)

series24.0ms (0.6%)

simplify110.0ms (2.7%)

prune16.0ms (0.4%)

localize4.0ms (0.1%)

rewrite1.0ms (0%)

series0.0ms (0%)

simplify8.0ms (0.2%)

prune2.0ms (0.1%)

regimes222.0ms (5.4%)

simplify3.0ms (0.1%)

end1.0ms (0%)

sample2.8s (68.1%)

Profiling