Details

Time bar (total: 3.7s)

analyze2.0ms (0%)

Algorithm
1×search
Search
TrueOtherFalseIter
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)

sample37.0ms (1%)

Algorithm
1×intervals
Results
15.0ms63×body1024valid
8.0ms141×body128valid
4.0ms11×body2048valid
3.0ms22×body512valid
2.0ms19×body256valid
Compiler

Compiled 15 to 14 computations (6.7% saved)

simplify98.0ms (2.6%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (4.0ms)

IterNodesCost
07111
17111

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 28.3b

Counts
2 → 1
Compiler

Compiled 14 to 12 computations (14.3% saved)

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

2.2b
(log.f64 (+.f64 N 1))
3.8b
(-.f64 (log.f64 (+.f64 N 1)) (log.f64 N))

rewrite13.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
14×*-un-lft-identity_binary64_419
11×log-prod_binary64_505
8×add-sqr-sqrt_binary64_441 pow1_binary64_480
6×add-cube-cbrt_binary64_454 log-pow_binary64_508
4×associate--l+_binary64_356 distribute-lft-out--_binary64_371 cancel-sign-sub-inv_binary64_385 log-div_binary64_506
3×add-exp-log_binary64_457 associate--r+_binary64_355
2×flip3-+_binary64_422 add-log-exp_binary64_458 distribute-lft-out_binary64_370 flip-+_binary64_393 add-cbrt-cube_binary64_455 associate--l-_binary64_357
1×sub-neg_binary64_412 difference-of-squares_binary64_388 rem-log-exp_binary64_460 flip3--_binary64_423 diff-log_binary64_511 flip--_binary64_394
Counts
2 → 44
Calls

2 calls:

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

series51.0ms (1.4%)

Counts
2 → 12
Calls

2 calls:

29.0ms
(-.f64 (log.f64 (+.f64 N 1)) (log.f64 N))
21.0ms
(log.f64 (+.f64 N 1))
Compiler

Compiled 150 to 118 computations (21.3% saved)

simplify65.0ms (1.8%)

Algorithm
1×egg-herbie
Counts
56 → 56
Iterations

Useful iterations: 0 (54.0ms)

IterNodesCost
04880654
14880654

prune55.0ms (1.5%)

Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New48856
Fresh000
Picked101
Done000
Total49857

Merged error: 27.8b

Counts
57 → 8
Compiler

Compiled 716 to 464 computations (35.2% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

rewrite13.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
33×*-un-lft-identity_binary64_419
24×times-frac_binary64_425
19×add-cube-cbrt_binary64_454 add-sqr-sqrt_binary64_441
16×log-prod_binary64_505
7×distribute-lft-out_binary64_370 add-exp-log_binary64_457
4×add-cbrt-cube_binary64_455 associate-/l*_binary64_364
3×associate-/r*_binary64_363 pow1_binary64_480
2×add-log-exp_binary64_458 rem-log-exp_binary64_460 div-inv_binary64_416 div-exp_binary64_470 associate-/l/_binary64_366
1×flip3-+_binary64_422 clear-num_binary64_418 log-pow_binary64_508 frac-2neg_binary64_430 flip-+_binary64_393 log-div_binary64_506 cbrt-undiv_binary64_453
Counts
2 → 60
Calls

2 calls:

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

series46.0ms (1.2%)

Counts
2 → 11
Calls

2 calls:

23.0ms
(/.f64 (+.f64 N 1) N)
22.0ms
(log.f64 (/.f64 (+.f64 N 1) N))
Compiler

Compiled 85 to 79 computations (7.1% saved)

simplify91.0ms (2.5%)

Algorithm
1×egg-herbie
Counts
71 → 71
Iterations

Useful iterations: 0 (77.0ms)

IterNodesCost
04947928
14947928

prune74.0ms (2%)

Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New611071
Fresh437
Picked101
Done000
Total661379

Merged error: 27.8b

Counts
79 → 13
Compiler

Compiled 966 to 662 computations (31.5% saved)

localize7.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b
(sqrt.f64 (/.f64 (+.f64 N 1) N))
0.1b
(sqrt.f64 (/.f64 (+.f64 N 1) N))
3.8b
(log.f64 (sqrt.f64 (/.f64 (+.f64 N 1) N)))
3.8b
(log.f64 (sqrt.f64 (/.f64 (+.f64 N 1) N)))

rewrite31.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Rules
64×sqrt-prod_binary64_435
62×*-un-lft-identity_binary64_419
50×times-frac_binary64_425
44×add-sqr-sqrt_binary64_441
38×add-cube-cbrt_binary64_454 log-prod_binary64_505
12×distribute-lft-out_binary64_370
10×pow1_binary64_480
6×log-pow_binary64_508 add-exp-log_binary64_457
4×sqrt-div_binary64_436 add-log-exp_binary64_458 pow1/2_binary64_499 div-inv_binary64_416 add-cbrt-cube_binary64_455 sqrt-pow1_binary64_437 rem-sqrt-square_binary64_432
2×rem-log-exp_binary64_460 log-div_binary64_506
Counts
4 → 118
Calls

4 calls:

6.0ms
(log.f64 (sqrt.f64 (/.f64 (+.f64 N 1) N)))
6.0ms
(log.f64 (sqrt.f64 (/.f64 (+.f64 N 1) N)))
5.0ms
(sqrt.f64 (/.f64 (+.f64 N 1) N))
5.0ms
(sqrt.f64 (/.f64 (+.f64 N 1) N))

series74.0ms (2%)

Counts
4 → 14
Calls

4 calls:

25.0ms
(log.f64 (sqrt.f64 (/.f64 (+.f64 N 1) N)))
20.0ms
(log.f64 (sqrt.f64 (/.f64 (+.f64 N 1) N)))
15.0ms
(sqrt.f64 (/.f64 (+.f64 N 1) N))
15.0ms
(sqrt.f64 (/.f64 (+.f64 N 1) N))
Compiler

Compiled 366 to 306 computations (16.4% saved)

simplify118.0ms (3.2%)

Algorithm
1×egg-herbie
Counts
132 → 132
Iterations

Useful iterations: 0 (93.0ms)

IterNodesCost
047492056
147492056

prune289.0ms (7.8%)

Pruning

16 alts after pruning (16 fresh and 0 done)

PrunedKeptTotal
New1275132
Fresh11112
Picked101
Done000
Total12916145

Merged error: 27.8b

Counts
145 → 16
Compiler

Compiled 2927 to 2168 computations (25.9% saved)

localize13.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b
(/.f64 (+.f64 N 1) N)
0.1b
(sqrt.f64 (/.f64 (+.f64 N 1) N))
3.8b
(log.f64 (/.f64 (+.f64 N 1) N))
3.8b
(log.f64 (sqrt.f64 (/.f64 (+.f64 N 1) N)))

rewrite30.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Rules
64×*-un-lft-identity_binary64_419
49×times-frac_binary64_425
41×add-sqr-sqrt_binary64_441
38×add-cube-cbrt_binary64_454
35×log-prod_binary64_505
32×sqrt-prod_binary64_435
13×distribute-lft-out_binary64_370
10×add-exp-log_binary64_457
8×pow1_binary64_480
6×add-cbrt-cube_binary64_455
4×add-log-exp_binary64_458 div-inv_binary64_416 log-pow_binary64_508 associate-/l*_binary64_364
3×rem-log-exp_binary64_460 associate-/r*_binary64_363
2×sqrt-div_binary64_436 pow1/2_binary64_499 sqrt-pow1_binary64_437 rem-sqrt-square_binary64_432 log-div_binary64_506 div-exp_binary64_470 associate-/l/_binary64_366
1×flip3-+_binary64_422 clear-num_binary64_418 frac-2neg_binary64_430 flip-+_binary64_393 cbrt-undiv_binary64_453
Counts
4 → 119
Calls

4 calls:

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

series92.0ms (2.5%)

Counts
4 → 18
Calls

4 calls:

26.0ms
(log.f64 (/.f64 (+.f64 N 1) N))
25.0ms
(/.f64 (+.f64 N 1) N)
21.0ms
(log.f64 (sqrt.f64 (/.f64 (+.f64 N 1) N)))
20.0ms
(sqrt.f64 (/.f64 (+.f64 N 1) N))
Compiler

Compiled 441 to 373 computations (15.4% saved)

simplify85.0ms (2.3%)

Algorithm
1×egg-herbie
Counts
137 → 137
Iterations

Useful iterations: 0 (62.0ms)

IterNodesCost
049211984
149211984

prune171.0ms (4.6%)

Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New1298137
Fresh10515
Picked101
Done000
Total14013153

Merged error: 27.8b

Counts
153 → 13
Compiler

Compiled 2900 to 2134 computations (26.4% saved)

regimes170.0ms (4.6%)

Compiler

Compiled 1776 to 1399 computations (21.2% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01525
11525

end0.0ms (0%)

sample2.1s (55.7%)

Algorithm
1×intervals
Results
465.0ms1992×body1024valid
256.0ms4322×body128valid
144.0ms947×body512valid
87.0ms235×body2048valid
48.0ms504×body256valid
Compiler

Compiled 888 to 699 computations (21.3% saved)

Profiling

Loading profile data...