Details

Time bar (total: 7.5s)

sample98.0ms

Algorithm
intervals
Results
48.0ms256×body80valid

simplify45.0ms

Calls
1 calls:
Slowest
45.0ms
(/ (- (+ f n)) (- f n))

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 1 expressions with local error:

0.0b
(/ (- (+ f n)) (- f n))

rewrite60.0ms

Algorithm
rewrite-expression-head
Rules
82×*-un-lft-identity
60×times-frac
58×add-sqr-sqrt
32×add-cube-cbrt
24×distribute-lft-neg-in distribute-rgt-neg-in
13×distribute-lft-out-- difference-of-squares
12×distribute-lft-out associate-/l*
6×neg-mul-1
5×associate-/r*
3×add-cbrt-cube add-exp-log
2×associate-/r/ distribute-neg-frac associate-/l/
1×neg-sub0 pow1 cbrt-undiv clear-num frac-2neg flip3-+ flip3-- div-sub div-exp distribute-frac-neg flip-+ insert-posit16 div-inv flip-- add-log-exp
Calls
1 calls:
Slowest
55.0ms
(/ (- (+ f n)) (- f n))

series91.0ms

Calls
1 calls:
Slowest
91.0ms
(/ (- (+ f n)) (- f n))

simplify3.9s

Calls
144 calls:
Slowest
607.0ms
(- (- (* f f) (* n n)))
198.0ms
(- (+ (pow f 3) (pow n 3)))
163.0ms
(/ (* (* (- (+ f n)) (- (+ f n))) (- (+ f n))) (* (* (- f n) (- f n)) (- f n)))
91.0ms
(/ (- (* (cbrt (+ f n)) (cbrt (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n))))
71.0ms
(/ (- (+ f n)) (- (sqrt f) (sqrt n)))

prune718.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (/ (- (+ f n)) (- f n)) (/ (- (+ f n)) (- f n)))
0.0b
(cbrt (* (* (/ (- (+ f n)) (- f n)) (/ (- (+ f n)) (- f n))) (/ (- (+ f n)) (- f n))))
0.0b
(/ (- (+ f n)) (- f n))
0.0b
(/ (- (+ f n)) (- f n))

rewrite2.1s

Algorithm
rewrite-expression-head
Rules
23320×frac-times
19743×associate-/l*
17986×*-un-lft-identity
12262×cbrt-div
10622×add-sqr-sqrt
8195×associate-/r*
6970×distribute-rgt-neg-in
6924×add-cube-cbrt
6864×distribute-lft-neg-in
3513×distribute-lft-out
3278×distribute-neg-frac associate-/l/
1883×distribute-lft-out--
1803×difference-of-squares
1702×neg-mul-1
1664×clear-num
1639×frac-2neg flip3-+ flip-+
1060×associate-*l/
1010×times-frac
550×associate-*r/
420×associate-*l*
379×cbrt-prod
296×swap-sqr
198×associate-*r*
100×un-div-inv
36×unswap-sqr
22×associate-/r/
20×add-cbrt-cube add-exp-log
12×distribute-frac-neg
11×pow1 flip3-- div-inv flip--
6×cbrt-undiv div-exp *-commutative
4×sqr-neg prod-exp cbrt-unprod insert-posit16 add-log-exp
2×neg-sub0 div-sub pow3 rem-cbrt-cube
1×distribute-lft-neg-out pow2 pow-plus pow1/3 pow-prod-down pow-sqr pow-prod-up distribute-rgt-neg-out
Calls
4 calls:
Slowest
682.0ms
(cbrt (* (* (/ (- (+ f n)) (- f n)) (/ (- (+ f n)) (- f n))) (/ (- (+ f n)) (- f n))))
184.0ms
(* (/ (- (+ f n)) (- f n)) (/ (- (+ f n)) (- f n)))
24.0ms
(/ (- (+ f n)) (- f n))
20.0ms
(/ (- (+ f n)) (- f n))

series450.0ms

Calls
4 calls:
Slowest
158.0ms
(cbrt (* (* (/ (- (+ f n)) (- f n)) (/ (- (+ f n)) (- f n))) (/ (- (+ f n)) (- f n))))
122.0ms
(* (/ (- (+ f n)) (- f n)) (/ (- (+ f n)) (- f n)))
86.0ms
(/ (- (+ f n)) (- f n))
83.0ms
(/ (- (+ f n)) (- f n))