Details

Time bar (total: 15.0s)

sample141.0ms

Algorithm
intervals
Results
67.0ms111×body1280valid
42.0ms89×body640valid
11.0ms40×body320valid
7.0ms256×pre80true
3.0ms16×body160valid

simplify195.0ms

Calls
1 calls:
Slowest
195.0ms
(- (- (* (+ n 1) (log (+ n 1))) (* n (log n))) 1)

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 62.0b

localize21.0ms

Local error

Found 3 expressions with local error:

7.3b
(- (fma n (log1p n) (log1p n)) (fma n (log n) 1))
0.3b
(fma n (log n) 1)
0.3b
(fma n (log1p n) (log1p n))

rewrite6.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt *-un-lft-identity
10×add-cube-cbrt
9×prod-diff
5×add-log-exp
4×fma-udef
3×expm1-log1p-u pow1 add-cbrt-cube fma-neg add-exp-log insert-posit16 log1p-expm1-u
1×sub-neg flip3-- diff-log associate--l+ flip-- associate--r+ distribute-lft-out-- difference-of-squares
Calls
3 calls:
Slowest
5.0ms
(- (fma n (log1p n) (log1p n)) (fma n (log n) 1))
0.0ms
(fma n (log n) 1)
0.0ms
(fma n (log1p n) (log1p n))

series461.0ms

Calls
3 calls:
Slowest
276.0ms
(fma n (log n) 1)
119.0ms
(- (fma n (log1p n) (log1p n)) (fma n (log n) 1))
66.0ms
(fma n (log1p n) (log1p n))

simplify4.7s

Calls
34 calls:
Slowest
434.0ms
(- (+ n (* 1/2 (pow n 2))) (+ (* n (log n)) 1))
309.0ms
(- (+ (* n (log -1)) 1) (* n (log (/ -1 n))))
307.0ms
(- (+ 1 (* 1/2 (/ 1 n))) (+ (* n (log (/ 1 n))) (log (/ 1 n))))
296.0ms
(fma 1 (fma n (log1p n) (log1p n)) (- (* (fma n (log n) 1) 1)))
258.0ms
(- (+ n (* 1/2 (pow n 2))) (* 1/6 (pow n 3)))

prune318.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize12.0ms

Local error

Found 3 expressions with local error:

0.4b
(/ 1/6 n)
0.1b
(/ (/ 1/6 n) n)
0.0b
(- (/ (/ 1/6 n) n) (/ 1/2 n))

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
16×prod-diff
15×add-sqr-sqrt *-un-lft-identity
14×div-inv
13×add-cube-cbrt
5×add-log-exp
4×fma-neg associate-/l*
3×expm1-log1p-u pow1 add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u
2×clear-num frac-2neg
1×sub-neg flip3-- distribute-rgt-out-- diff-log frac-sub flip-- distribute-lft-out-- sub-div difference-of-squares associate-/l/
Calls
3 calls:
Slowest
10.0ms
(- (/ (/ 1/6 n) n) (/ 1/2 n))
3.0ms
(/ (/ 1/6 n) n)
0.0ms
(/ 1/6 n)

series57.0ms

Calls
3 calls:
Slowest
40.0ms
(- (/ (/ 1/6 n) n) (/ 1/2 n))
10.0ms
(/ (/ 1/6 n) n)
7.0ms
(/ 1/6 n)

simplify2.6s

Calls
55 calls:
Slowest
123.0ms
(fma 1 (/ (/ 1/6 n) n) (- (* (/ 1/2 n) 1)))
114.0ms
(fma (* (cbrt (/ (/ 1/6 n) n)) (cbrt (/ (/ 1/6 n) n))) (cbrt (/ (/ 1/6 n) n)) (- (* (/ 1/2 n) 1)))
110.0ms
(fma (* (cbrt (/ (/ 1/6 n) n)) (cbrt (/ (/ 1/6 n) n))) (cbrt (/ (/ 1/6 n) n)) (- (* (/ 1 n) 1/2)))
106.0ms
(fma (/ 1/6 n) (/ 1 n) (- (* (/ 1 n) 1/2)))
104.0ms
(fma (/ 1/6 n) (/ 1 n) (- (* (sqrt (/ 1/2 n)) (sqrt (/ 1/2 n)))))

prune619.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

end0.0ms

sample5.8s

Algorithm
intervals
Results
3.3s3619×body1280valid
1.4s2605×body640valid
487.0ms1362×body320valid
399.0ms8000×pre80true
128.0ms414×body160valid