Details

Time bar (total: 8.2s)

sample140.0ms

Algorithm
intervals
Results
74.0ms121×body1280valid
34.0ms82×body640valid
11.0ms41×body320valid
5.0ms256×pre80true
2.0ms12×body160valid

simplify7.9s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0915
11815
24315
311315
416715
523015
631015
745215
858415
961615
1063215
1164915
1269215
1375615
1481815
1588215
1697415
17104515
18130215
19361015
done500015

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 63.0b

localize11.0ms

Local error

Found 3 expressions with local error:

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

rewrite65.0ms

Algorithm
rewrite-expression-head
Rules
28×log-prod
25×*-un-lft-identity
19×add-sqr-sqrt
15×add-cube-cbrt
14×distribute-rgt-in distribute-lft-in
pow1
associate-*r* associate--l+
add-exp-log associate-*l* add-cbrt-cube
associate--r+
distribute-lft-out add-log-exp
pow-prod-down associate-*l/ prod-exp log-pow *-commutative cbrt-unprod unswap-sqr
sub-neg flip3-- flip3-+ diff-log flip-- flip-+
Counts
3 → 81
Calls
3 calls:
27.0ms
(* (+ n 1.0) (log (+ n 1.0)))
8.0ms
(* n (log n))
27.0ms
(- (* (+ n 1.0) (log (+ n 1.0))) (* n (log n)))

series48.0ms