Details

Time bar (total: 14.5s)

sample208.0ms

Algorithm
intervals
Results
106.0ms117×body1280valid
57.0ms89×body640valid
15.0ms34×body320valid
12.0ms256×pre80true
4.0ms16×body160valid

simplify201.0ms

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

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 62.0b

localize20.0ms

Local error

Found 3 expressions with local error:

5.6b
(- (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))

rewrite11.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
9.0ms
(- (fma n (log1p n) (log1p n)) (fma n (log n) 1))
1.0ms
(fma n (log n) 1)
0.0ms
(fma n (log1p n) (log1p n))

series563.0ms

Calls
3 calls:
Slowest
372.0ms
(fma n (log n) 1)
103.0ms
(- (fma n (log1p n) (log1p n)) (fma n (log n) 1))
87.0ms
(fma n (log1p n) (log1p n))

simplify5.6s

Calls
34 calls:
Slowest
466.0ms
(- (+ n (* 1/2 (pow n 2))) (+ (* n (log n)) 1))
350.0ms
(- (+ n (* 1/2 (pow n 2))) (* 1/6 (pow n 3)))
339.0ms
(fma (sqrt (fma n (log1p n) (log1p n))) (sqrt (fma n (log1p n) (log1p n))) (- (* (cbrt (fma n (log n) 1)) (* (cbrt (fma n (log n) 1)) (cbrt (fma n (log n) 1))))))
336.0ms
(- (+ (* n (log -1)) 1) (* n (log (/ -1 n))))
336.0ms
(fma 1 (fma n (log1p n) (log1p n)) (- (* (fma n (log n) 1) 1)))

prune349.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize15.0ms

Local error

Found 1 expressions with local error:

1.1b
(/ 1/6 (* n n))

rewrite9.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
Calls
1 calls:
Slowest
9.0ms
(/ 1/6 (* n n))

series42.0ms

Calls
1 calls:
Slowest
42.0ms
(/ 1/6 (* n n))

simplify751.0ms

Calls
15 calls:
Slowest
323.0ms
(/ (* (* 1/6 1/6) 1/6) (* (* (* n n) n) (* (* n n) n)))
302.0ms
(/ (* (* 1/6 1/6) 1/6) (* (* (* n n) (* n n)) (* n n)))
29.0ms
(- (log 1/6) (+ (log n) (log n)))
26.0ms
(- (log 1/6) (log (* n n)))
15.0ms
(/ (* (cbrt 1/6) (cbrt 1/6)) n)

prune278.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

end0.0ms

sample6.4s

Algorithm
intervals
Results
2.9s3604×body1280valid
2.1s2661×body640valid
936.0ms1319×body320valid
236.0ms8000×pre80true
94.0ms416×body160valid