Details

analyze141.0ms (3.2%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	71	11
1	71	11
0	1	1
1	1	1

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
50%	50%	0%	2
50%	25%	25%	3
50%	0%	50%	4

Compiler

Compiled 8 to 7 computations (12.5% saved)

sample38.0ms (0.9%)

Algorithm

1×

intervals

Results

15.0ms	67×	body	1024	valid
7.0ms	135×	body	128	valid
5.0ms	37×	body	512	valid
2.0ms	6×	body	2048	valid
1.0ms	11×	body	256	valid

Compiler

Compiled 15 to 14 computations (6.7% saved)

simplify10.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	71	11
1	71	11

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

29.8b

Counts

2 → 1

Compiler

Compiled 14 to 12 computations (14.3% saved)

localize10.0ms (0.2%)

Local error

Found 2 expressions with local error:

1.8b	(-.f64 (log.f64 (+.f64 N 1)) (log.f64 N))
3.5b	(log.f64 (+.f64 N 1))

rewrite66.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

29.3b

Rules

14×	`*-un-lft-identity_binary64_78`
11×	`log-prod_binary64_164`
8×	`pow1_binary64_139` `add-sqr-sqrt_binary64_100`
6×	`log-pow_binary64_167` `add-cube-cbrt_binary64_113`
4×	`log-div_binary64_165` `cancel-sign-sub-inv_binary64_44` `distribute-lft-out--_binary64_30` `associate--l+_binary64_15`
3×	`add-exp-log_binary64_116` `associate--r+_binary64_14`
2×	`flip3-+_binary64_81` `flip-+_binary64_52` `distribute-lft-out_binary64_29` `add-log-exp_binary64_117` `add-cbrt-cube_binary64_114` `associate--l-_binary64_16`
1×	`rem-log-exp_binary64_119` `diff-log_binary64_170` `flip3--_binary64_82` `sub-neg_binary64_71` `flip--_binary64_53` `difference-of-squares_binary64_47`

Counts

2 → 44

Calls

2 calls:

7.0ms	(-.f64 (log.f64 (+.f64 N 1)) (log.f64 N))
3.0ms	(log.f64 (+.f64 N 1))

Compiler

Compiled 607 to 404 computations (33.4% saved)

series148.0ms (3.4%)

Error

0.1b

Counts

2 → 21

Calls

2 calls:

83.0ms	(-.f64 (log.f64 (+.f64 N 1)) (log.f64 N))
41.0ms	(log.f64 (+.f64 N 1))

Compiler

Compiled 578 to 465 computations (19.6% saved)

simplify80.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

65 → 65

Iterations

Useful iterations: 0 (67.0ms)

Iter	Nodes	Cost
0	4924	853
1	4924	853

prune61.0ms (1.4%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	61	4	65
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	62	4	66

Error

0.0b

Counts

66 → 4

Compiler

Compiled 820 to 522 computations (36.3% saved)

localize4.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 (+.f64 N 1) N)
2.0b	(log.f64 (/.f64 (+.f64 N 1) N))

rewrite62.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

33×	`*-un-lft-identity_binary64_78`
24×	`times-frac_binary64_84`
19×	`add-cube-cbrt_binary64_113` `add-sqr-sqrt_binary64_100`
16×	`log-prod_binary64_164`
7×	`distribute-lft-out_binary64_29` `add-exp-log_binary64_116`
4×	`add-cbrt-cube_binary64_114` `associate-/l*_binary64_23`
3×	`pow1_binary64_139` `associate-/r*_binary64_22`
2×	`div-inv_binary64_75` `div-exp_binary64_129` `rem-log-exp_binary64_119` `add-log-exp_binary64_117` `associate-/l/_binary64_25`
1×	`log-pow_binary64_167` `log-div_binary64_165` `cbrt-undiv_binary64_112` `frac-2neg_binary64_89` `clear-num_binary64_77` `flip3-+_binary64_81` `flip-+_binary64_52`

Counts

2 → 60

Calls

2 calls:

5.0ms	(/.f64 (+.f64 N 1) N)
4.0ms	(log.f64 (/.f64 (+.f64 N 1) N))

Compiler

Compiled 810 to 553 computations (31.7% saved)

series137.0ms (3.1%)

Error

0.0b

Counts

2 → 18

Calls

2 calls:

67.0ms	(log.f64 (/.f64 (+.f64 N 1) N))
57.0ms	(/.f64 (+.f64 N 1) N)

Compiler

Compiled 378 to 326 computations (13.8% saved)

simplify62.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

78 → 78

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	5330	1074

prune65.0ms (1.5%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	77	1	78
Fresh	0	3	3
Picked	1	0	1
Done	0	0	0
Total	78	4	82

Error

0.0b

Counts

82 → 4

Compiler

Compiled 945 to 672 computations (28.9% saved)

localize8.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.3b	(cbrt.f64 (+.f64 1 (/.f64 1 N)))
0.3b	(cbrt.f64 (+.f64 1 (/.f64 1 N)))
2.0b	(log.f64 (cbrt.f64 (+.f64 1 (/.f64 1 N))))
2.0b	(log.f64 (cbrt.f64 (+.f64 1 (/.f64 1 N))))

rewrite145.0ms (3.3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

22×	`*-un-lft-identity_binary64_78`
20×	`cbrt-prod_binary64_109`
16×	`log-prod_binary64_164`
10×	`add-cube-cbrt_binary64_113` `add-sqr-sqrt_binary64_100`
8×	`cbrt-div_binary64_110` `distribute-lft-out_binary64_29`
6×	`pow1_binary64_139` `add-exp-log_binary64_116`
4×	`pow1/3_binary64_160` `log-pow_binary64_167` `flip3-+_binary64_81` `log-div_binary64_165` `flip-+_binary64_52` `div-inv_binary64_75` `add-log-exp_binary64_117` `add-cbrt-cube_binary64_114`
2×	`rem-log-exp_binary64_119`

Counts

4 → 70

Calls

4 calls:

9.0ms	(log.f64 (cbrt.f64 (+.f64 1 (/.f64 1 N))))
7.0ms	(log.f64 (cbrt.f64 (+.f64 1 (/.f64 1 N))))
6.0ms	(cbrt.f64 (+.f64 1 (/.f64 1 N)))
6.0ms	(cbrt.f64 (+.f64 1 (/.f64 1 N)))

Compiler

Compiled 1760 to 1563 computations (11.2% saved)

series395.0ms (9%)

Error

0.0b

Counts

4 → 48

Calls

4 calls:

96.0ms	(log.f64 (cbrt.f64 (+.f64 1 (/.f64 1 N))))
91.0ms	(log.f64 (cbrt.f64 (+.f64 1 (/.f64 1 N))))
70.0ms	(cbrt.f64 (+.f64 1 (/.f64 1 N)))
66.0ms	(cbrt.f64 (+.f64 1 (/.f64 1 N)))

Compiler

Compiled 2360 to 2105 computations (10.8% saved)

simplify83.0ms (1.9%)

Algorithm

1×	egg-herbie

Counts

118 → 118

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	4916	1876
1	4916	1876

prune177.0ms (4%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	118	0	118
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	118	4	122

Error

0.0b

Counts

122 → 4

Compiler

Compiled 2662 to 2262 computations (15% saved)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(log.f64 (-.f64 (log.f64 (+.f64 N 1)) (log.f64 N)))
0.6b	(exp.f64 (log.f64 (-.f64 (log.f64 (+.f64 N 1)) (log.f64 N))))
1.8b	(-.f64 (log.f64 (+.f64 N 1)) (log.f64 N))
3.5b	(log.f64 (+.f64 N 1))

rewrite123.0ms (2.8%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

27×	`log-prod_binary64_164` `*-un-lft-identity_binary64_78`
20×	`pow1_binary64_139`
17×	`add-sqr-sqrt_binary64_100`
16×	`log-pow_binary64_167`
12×	`distribute-lft-out--_binary64_30`
11×	`add-cube-cbrt_binary64_113`
8×	`log-div_binary64_165` `exp-sum_binary64_124`
6×	`add-exp-log_binary64_116`
4×	`add-log-exp_binary64_117` `add-cbrt-cube_binary64_114` `cancel-sign-sub-inv_binary64_44` `associate--l+_binary64_15` `exp-prod_binary64_130`
3×	`flip3--_binary64_82` `flip--_binary64_53` `difference-of-squares_binary64_47` `associate--r+_binary64_14`
2×	`flip3-+_binary64_81` `flip-+_binary64_52` `distribute-lft-out_binary64_29` `rem-log-exp_binary64_119` `associate--l-_binary64_16` `exp-diff_binary64_126`
1×	`diff-log_binary64_170` `sub-neg_binary64_71` `rem-exp-log_binary64_118`

Counts

4 → 85

Calls

4 calls:

10.0ms	(-.f64 (log.f64 (+.f64 N 1)) (log.f64 N))
5.0ms	(exp.f64 (log.f64 (-.f64 (log.f64 (+.f64 N 1)) (log.f64 N))))
4.0ms	(log.f64 (-.f64 (log.f64 (+.f64 N 1)) (log.f64 N)))
3.0ms	(log.f64 (+.f64 N 1))

Compiler

Compiled 1443 to 1016 computations (29.6% saved)

series369.0ms (8.4%)

Error

0.0b

Counts

4 → 39

Calls

4 calls:

108.0ms	(exp.f64 (log.f64 (-.f64 (log.f64 (+.f64 N 1)) (log.f64 N))))
93.0ms	(log.f64 (-.f64 (log.f64 (+.f64 N 1)) (log.f64 N)))
83.0ms	(-.f64 (log.f64 (+.f64 N 1)) (log.f64 N))
43.0ms	(log.f64 (+.f64 N 1))

Compiler

Compiled 1435 to 1075 computations (25.1% saved)

simplify89.0ms (2%)

Algorithm

1×	egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	4947	2013
1	4947	2013

prune119.0ms (2.7%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	123	1	124
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	123	5	128

Error

0.0b

Counts

128 → 5

Compiler

Compiled 1778 to 1153 computations (35.2% saved)

regimes161.0ms (3.7%)

Accuracy

Total 0.1b remaining (71.9%)

Threshold costs 0.1b (71.9%)

Compiler

Compiled 1190 to 977 computations (17.9% saved)

bsearch2.0ms (0%)

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

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	84	76
1	84	76

end0.0ms (0%)

sample1.8s (41.5%)

Algorithm

1×

intervals

Results

446.0ms	2026×	body	1024	valid
233.0ms	4233×	body	128	valid
149.0ms	1026×	body	512	valid
92.0ms	251×	body	2048	valid
39.0ms	464×	body	256	valid

Compiler

Compiled 624 to 510 computations (18.3% saved)

Details

analyze141.0ms (3.2%)

sample38.0ms (0.9%)

simplify10.0ms (0.2%)

prune2.0ms (0.1%)

localize10.0ms (0.2%)

rewrite66.0ms (1.5%)

series148.0ms (3.4%)

simplify80.0ms (1.8%)

prune61.0ms (1.4%)

localize4.0ms (0.1%)

rewrite62.0ms (1.4%)

series137.0ms (3.1%)

simplify62.0ms (1.4%)

prune65.0ms (1.5%)

localize8.0ms (0.2%)

rewrite145.0ms (3.3%)

series395.0ms (9%)

simplify83.0ms (1.9%)

prune177.0ms (4%)

localize9.0ms (0.2%)

rewrite123.0ms (2.8%)

series369.0ms (8.4%)

simplify89.0ms (2%)

prune119.0ms (2.7%)

regimes161.0ms (3.7%)

bsearch2.0ms (0%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample1.8s (41.5%)

Profiling