Details

Time bar (total: 3.3s)

analyze14.0ms

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

sample88.0ms

Algorithm
intervals
Results
50.0ms130×body1280valid
18.0ms66×body640valid
9.0ms47×body320valid
3.0ms256×pre80true
2.0ms13×body160valid

simplify4.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
08315
18315

prune7.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112

Merged error: 62.0b

Counts
2 → 1

localize203.0ms

Local error

Found 3 expressions with local error:

0.3b
(* n (log n))
0.3b
(* (+ n 1.0) (log (+ n 1.0)))
5.4b
(- (* (+ n 1.0) (log (+ n 1.0))) (+ 1.0 (* n (log n))))

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
23×*-un-lft-identity
22×log-prod
17×add-sqr-sqrt
13×add-cube-cbrt
11×distribute-rgt-in distribute-lft-in
9×pow1
8×associate-*r* associate--l+ add-log-exp
7×add-exp-log associate-*l* add-cbrt-cube
6×associate-*l/
5×flip3-+ flip-+ distribute-lft-out
4×frac-sub
2×diff-log pow-prod-down prod-exp log-pow *-commutative cbrt-unprod unswap-sqr
1×sub-neg flip3-- sum-log flip-- associate--r+
Counts
3 → 80
Calls
3 calls:
4.0ms
(* n (log n))
8.0ms
(* (+ n 1.0) (log (+ n 1.0)))
11.0ms
(- (* (+ n 1.0) (log (+ n 1.0))) (+ 1.0 (* n (log n))))

series32.0ms

Counts
3 → 9
Calls
3 calls:
15.0ms
(* n (log n))
5.0ms
(* (+ n 1.0) (log (+ n 1.0)))
12.0ms
(- (* (+ n 1.0) (log (+ n 1.0))) (+ 1.0 (* n (log n))))

simplify56.0ms

Algorithm
egg-herbie
Counts
89 → 89
Iterations

Useful iterations: 0 (47.0ms)

IterNodesCost
049741276
149741276

prune133.0ms

Filtered
62 candidates to 89 candidates (-43.5%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New88189
Fresh000
Picked101
Done000
Total89190

Merged error: 0b

Counts
90 → 1

localize11.0ms

Local error

Found 1 expressions with local error:

0.6b
(/ 0.16666666666666669 (* n n))

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
6×add-exp-log add-cbrt-cube
3×add-sqr-sqrt add-cube-cbrt *-un-lft-identity times-frac associate-/l*
2×cbrt-undiv div-exp
1×pow1 frac-2neg prod-exp clear-num associate-/r* cbrt-unprod div-inv add-log-exp
Counts
1 → 21
Calls
1 calls:
5.0ms
(/ 0.16666666666666669 (* n n))

series3.0ms

Counts
1 → 3
Calls
1 calls:
3.0ms
(/ 0.16666666666666669 (* n n))

simplify62.0ms

Algorithm
egg-herbie
Counts
24 → 24
Iterations

Useful iterations: 0 (60.0ms)

IterNodesCost
04763152
14763152

prune26.0ms

Filtered
16 candidates to 24 candidates (-50.0%)
Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New24024
Fresh000
Picked011
Done000
Total24125

Merged error: 0b

Counts
25 → 1

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01614
11614

end0.0ms

analyze16.0ms

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

sample2.7s

Algorithm
intervals
Results
1.4s3641×body1280valid
701.0ms2603×body640valid
250.0ms1347×body320valid
92.0ms8000×pre80true
48.0ms409×body160valid

Profiling

Loading profile data...