Details

Time bar (total: 9.4s)

sample67.0ms

Algorithm
intervals
Results
32.0ms110×body1280valid
17.0ms86×body640valid
7.0ms55×body320valid
2.0ms256×pre80true
0.0ms5×body160valid

simplify1.7s

Counts
1 → 1

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 63.0b

localize10.0ms

Local error

Found 3 expressions with local error:

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

rewrite74.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:
25.0ms
(* (+ n 1.0) (log (+ n 1.0)))
8.0ms
(* n (log n))
38.0ms
(- (* (+ n 1.0) (log (+ n 1.0))) (* n (log n)))

series413.0ms

Counts
3 → 9
Calls
3 calls:
63.0ms
(* (+ n 1.0) (log (+ n 1.0)))
180.0ms
(* n (log n))
170.0ms
(- (* (+ n 1.0) (log (+ n 1.0))) (* n (log n)))

simplify602.0ms

Counts
90 → 90

prune172.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (+ (- 1.0 (+ (* 1.0 (log (/ 1 n))) (* (/ 3002399751580331.0 18014398509481984.0) (/ 1 (pow n 2))))) (/ (/ 1.0 2.0) n)) 1.0)
0.1b
(* (/ 3002399751580331.0 18014398509481984.0) (/ 1 (pow n 2)))
0.6b
(/ 1 (pow n 2))

rewrite753.0ms

Algorithm
rewrite-expression-head
Rules
89×add-sqr-sqrt
82×times-frac
62×add-exp-log
59×*-un-lft-identity
42×add-cube-cbrt
28×div-exp associate-*r*
25×unpow-prod-down
20×prod-exp
18×unswap-sqr
17×add-cbrt-cube add-log-exp
13×associate-*l*
11×unpow2 sqr-pow
9×pow-to-exp rec-exp 1-exp pow-exp
8×associate-/r*
6×diff-log
5×pow1 cbrt-undiv
4×sum-log cbrt-unprod distribute-lft-out--
3×div-inv associate-/l*
2×distribute-lft-out
1×associate--l- frac-times associate-+l- sub-neg flip3-- pow-flip frac-2neg associate-*r/ pow-prod-down associate-*l/ associate--l+ clear-num un-div-inv *-commutative flip-- inv-pow difference-of-squares
Counts
3 → 174
Calls
3 calls:
703.0ms
(- (+ (- 1.0 (+ (* 1.0 (log (/ 1 n))) (* (/ 3002399751580331.0 18014398509481984.0) (/ 1 (pow n 2))))) (/ (/ 1.0 2.0) n)) 1.0)
35.0ms
(* (/ 3002399751580331.0 18014398509481984.0) (/ 1 (pow n 2)))
8.0ms
(/ 1 (pow n 2))

series83.0ms

Counts
3 → 9
Calls
3 calls:
41.0ms
(- (+ (- 1.0 (+ (* 1.0 (log (/ 1 n))) (* (/ 3002399751580331.0 18014398509481984.0) (/ 1 (pow n 2))))) (/ (/ 1.0 2.0) n)) 1.0)
25.0ms
(* (/ 3002399751580331.0 18014398509481984.0) (/ 1 (pow n 2)))
16.0ms
(/ 1 (pow n 2))

simplify781.0ms

Counts
183 → 183

prune344.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize16.0ms

Local error

Found 1 expressions with local error:

0.5b
(/ (/ 3002399751580331.0 18014398509481984.0) (pow n 2))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
185×times-frac
92×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
42×unpow-prod-down
14×add-exp-log unpow2 sqr-pow
13×associate-/l*
10×div-inv
9×div-exp
8×associate-/r*
6×add-cbrt-cube
3×cbrt-undiv
2×pow-to-exp pow-exp
1×pow1 frac-2neg clear-num associate-/l/ add-log-exp
Counts
1 → 144
Calls
1 calls:
18.0ms
(/ (/ 3002399751580331.0 18014398509481984.0) (pow n 2))

series26.0ms

Counts
1 → 3
Calls
1 calls:
26.0ms
(/ (/ 3002399751580331.0 18014398509481984.0) (pow n 2))

simplify598.0ms

Counts
147 → 147

prune337.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify351.0ms

end0.0ms

sample3.0s

Algorithm
intervals
Results
1.9s3594×body1280valid
610.0ms2632×body640valid
210.0ms1354×body320valid
101.0ms8000×pre80true
35.0ms420×body160valid