Details

Time bar (total: 14.8s)

sample143.0ms

Algorithm
intervals
Results
66.0ms97×body1280valid
40.0ms96×body640valid
16.0ms51×body320valid
7.0ms256×pre80true
2.0ms12×body160valid

simplify2.4s

Counts
1 → 1

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 44.3b

localize31.0ms

Local error

Found 2 expressions with local error:

4.1b
(- (log1p n) (log n))
0.0b
(fma (- (log1p n) (log n)) n (+ (log1p n) -1))

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
14×*-un-lft-identity
13×add-sqr-sqrt
12×prod-diff
11×add-cube-cbrt
6×pow1
4×log-pow
3×log-prod fma-neg associate--r+ add-log-exp
2×expm1-log1p-u add-cbrt-cube diff-log add-exp-log insert-posit16 log1p-expm1-u distribute-lft-out--
1×log1p-udef sub-neg flip3-- fma-udef flip-- difference-of-squares
Counts
2 → 48
Calls
2 calls:
Slowest
12.0ms
(- (log1p n) (log n))
1.0ms
(fma (- (log1p n) (log n)) n (+ (log1p n) -1))

series210.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
114.0ms
(fma (- (log1p n) (log n)) n (+ (log1p n) -1))
95.0ms
(- (log1p n) (log n))

simplify2.9s

Counts
54 → 54

prune502.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize24.0ms

Local error

Found 1 expressions with local error:

1.3b
(/ -1/6 (* n n))

rewrite7.0ms

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

series43.0ms

Counts
1 → 3
Calls
1 calls:
Slowest
43.0ms
(/ -1/6 (* n n))

simplify2.3s

Counts
27 → 27

prune208.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

end0.0ms

sample5.9s

Algorithm
intervals
Results
2.9s3588×body1280valid
1.6s2670×body640valid
661.0ms8000×pre80true
561.0ms1334×body320valid
89.0ms408×body160valid