Details

Time bar (total: 14.2s)

sample112.0ms

Algorithm
intervals
Results
55.0ms116×body1280valid
27.0ms86×body640valid
8.0ms34×body320valid
4.0ms256×pre80true
3.0ms20×body160valid

simplify2.4s

Counts
1 → 1

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 63.0b

localize21.0ms

Local error

Found 3 expressions with local error:

0.2b
(* n (log n))
0.2b
(* (+ n 1.0) (log (+ n 1.0)))
6.8b
(- (* (+ n 1.0) (log (+ n 1.0))) (* n (log n)))

rewrite112.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
9×pow1
8×associate-*r* associate--l+
7×add-exp-log associate-*l* add-cbrt-cube
6×associate--r+
5×distribute-lft-out add-log-exp
2×pow-prod-down associate-*l/ prod-exp log-pow *-commutative cbrt-unprod unswap-sqr
1×sub-neg flip3-- flip3-+ diff-log flip-- flip-+
Counts
3 → 81
Calls
3 calls:
9.0ms
(* n (log n))
48.0ms
(* (+ n 1.0) (log (+ n 1.0)))
53.0ms
(- (* (+ n 1.0) (log (+ n 1.0))) (* n (log n)))

series594.0ms

Counts
3 → 9
Calls
3 calls:
255.0ms
(* n (log n))
96.0ms
(* (+ n 1.0) (log (+ n 1.0)))
242.0ms
(- (* (+ n 1.0) (log (+ n 1.0))) (* n (log n)))

simplify755.0ms

Counts
90 → 90

prune308.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize27.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (+ (- 1.0 (+ (* 1.0 (log (/ 1 n))) (* 0.16666666666666669 (/ 1 (pow n 2))))) (/ 0.5 n)) 1.0)
0.0b
(- 1.0 (+ (* 1.0 (log (/ 1 n))) (* 0.16666666666666669 (/ 1 (pow n 2)))))
0.1b
(* 0.16666666666666669 (/ 1 (pow n 2)))
0.7b
(/ 1 (pow n 2))

rewrite982.0ms

Algorithm
rewrite-expression-head
Rules
59×add-sqr-sqrt
56×times-frac
52×*-un-lft-identity
37×add-cube-cbrt
33×add-exp-log
28×associate-*r*
23×unpow-prod-down add-log-exp
12×div-exp
11×add-cbrt-cube
10×prod-exp
9×unpow2 unswap-sqr sqr-pow
8×diff-log associate-/r*
6×pow1 pow-to-exp rec-exp 1-exp pow-exp
5×sum-log distribute-lft-out--
3×associate-*l* associate-/l*
2×cbrt-undiv sub-neg flip3-- flip-- cbrt-unprod div-inv distribute-lft-out difference-of-squares
1×associate--l- associate-+l- pow-flip frac-2neg associate-*r/ pow-prod-down associate--l+ clear-num un-div-inv *-commutative associate--r+ inv-pow
Counts
4 → 157
Calls
4 calls:
915.0ms
(- (+ (- 1.0 (+ (* 1.0 (log (/ 1 n))) (* 0.16666666666666669 (/ 1 (pow n 2))))) (/ 0.5 n)) 1.0)
18.0ms
(- 1.0 (+ (* 1.0 (log (/ 1 n))) (* 0.16666666666666669 (/ 1 (pow n 2)))))
30.0ms
(* 0.16666666666666669 (/ 1 (pow n 2)))
9.0ms
(/ 1 (pow n 2))

series658.0ms

Counts
4 → 12
Calls
4 calls:
41.0ms
(- (+ (- 1.0 (+ (* 1.0 (log (/ 1 n))) (* 0.16666666666666669 (/ 1 (pow n 2))))) (/ 0.5 n)) 1.0)
559.0ms
(- 1.0 (+ (* 1.0 (log (/ 1 n))) (* 0.16666666666666669 (/ 1 (pow n 2)))))
39.0ms
(* 0.16666666666666669 (/ 1 (pow n 2)))
19.0ms
(/ 1 (pow n 2))

simplify963.0ms

Counts
169 → 169

prune555.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize19.0ms

Local error

Found 2 expressions with local error:

0.0b
(- (* 0.5 (/ 1 n)) (/ 0.16666666666666669 (pow n 2)))
0.6b
(/ 0.16666666666666669 (pow n 2))

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
24×times-frac
19×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
12×unpow-prod-down
8×associate-/r*
7×add-exp-log
4×add-cbrt-cube unpow2 add-log-exp sqr-pow
3×div-exp associate-/l*
2×pow1 frac-sub
1×cbrt-undiv pow-to-exp sub-neg flip3-- frac-2neg diff-log associate-*r/ pow-exp clear-num un-div-inv flip-- div-inv
Counts
2 → 63
Calls
2 calls:
30.0ms
(- (* 0.5 (/ 1 n)) (/ 0.16666666666666669 (pow n 2)))
12.0ms
(/ 0.16666666666666669 (pow n 2))

series108.0ms

Counts
2 → 6
Calls
2 calls:
80.0ms
(- (* 0.5 (/ 1 n)) (/ 0.16666666666666669 (pow n 2)))
27.0ms
(/ 0.16666666666666669 (pow n 2))

simplify480.0ms

Counts
69 → 69

prune252.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify1.6s

end0.0ms

sample4.2s

Algorithm
intervals
Results
2.4s3653×body1280valid
1.0s2614×body640valid
273.0ms1307×body320valid
242.0ms8000×pre80true
56.0ms426×body160valid