Details

Time bar (total: 8.0s)

sample102.0ms

Algorithm
intervals
Results
49.0ms106×body1280valid
25.0ms78×body640valid
10.0ms48×body320valid
4.0ms256×pre80true
3.0ms24×body160valid

simplify7.7s

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

localize12.0ms

Local error

Found 3 expressions with local error:

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

rewrite68.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:
9.0ms
(* n (log n))
28.0ms
(* (+ n 1.0) (log (+ n 1.0)))
28.0ms
(- (* (+ n 1.0) (log (+ n 1.0))) (* n (log n)))

series49.0ms