Details

Time bar (total: 8.7s)

sample46.0ms

Algorithm
intervals
Results
28.0ms256×body80valid

simplify1.8s

Counts
1 → 1
Iterations
IterNodes
done5000
61578
5491
4189
381
241
122
012

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize42.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ 1 (- (* (- -2 (/ -2 (+ t 1))) (- -2 (/ -2 (+ t 1)))) -2))
0.0b
(* (- -2 (/ -2 (+ t 1))) (- -2 (/ -2 (+ t 1))))
4.0b
(- -2 (/ -2 (+ t 1)))
4.0b
(- -2 (/ -2 (+ t 1)))

rewrite434.0ms

Algorithm
rewrite-expression-head
Rules
53×add-sqr-sqrt
35×*-un-lft-identity
18×times-frac
17×add-cube-cbrt
16×difference-of-squares
12×pow1
10×add-exp-log
9×flip3-- flip--
8×add-cbrt-cube swap-sqr distribute-lft-out-- add-log-exp
6×associate-*r* associate-*l*
4×frac-times associate-/r* sub-neg insert-posit16
3×associate-/l*
2×distribute-rgt-in distribute-lft-in diff-log div-exp associate-*l/ associate-*r/ associate-/r/
1×pow2 cbrt-undiv rec-exp clear-num frac-2neg pow-plus 1-exp pow-prod-down prod-exp pow-sqr *-commutative pow-prod-up cbrt-unprod div-inv pow-flip inv-pow unswap-sqr
Counts
4 → 119
Calls
4 calls:
123.0ms
(/ 1 (- (* (- -2 (/ -2 (+ t 1))) (- -2 (/ -2 (+ t 1)))) -2))
231.0ms
(* (- -2 (/ -2 (+ t 1))) (- -2 (/ -2 (+ t 1))))
36.0ms
(- -2 (/ -2 (+ t 1)))
37.0ms
(- -2 (/ -2 (+ t 1)))

series159.0ms

Counts
4 → 12
Calls
4 calls:
73.0ms
(/ 1 (- (* (- -2 (/ -2 (+ t 1))) (- -2 (/ -2 (+ t 1)))) -2))
29.0ms
(* (- -2 (/ -2 (+ t 1))) (- -2 (/ -2 (+ t 1))))
21.0ms
(- -2 (/ -2 (+ t 1)))
36.0ms
(- -2 (/ -2 (+ t 1)))

simplify1.4s

Counts
131 → 131
Iterations
IterNodes
done5000
21311
1447
0177

prune400.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize27.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (- -2 (/ -2 (+ t 1))) (- (/ -2 (+ t 1))))
4.0b
(- -2 (/ -2 (+ t 1)))
4.0b
(- -2 (/ -2 (+ t 1)))
4.0b
(+ (* (- -2 (/ -2 (+ t 1))) -2) (* (- -2 (/ -2 (+ t 1))) (- (/ -2 (+ t 1)))))

rewrite219.0ms

Algorithm
rewrite-expression-head
Rules
40×*-un-lft-identity associate-*r*
39×add-sqr-sqrt
27×times-frac
22×add-cube-cbrt
18×distribute-lft-neg-in distribute-rgt-neg-in
16×associate-*l/
13×flip3-- flip--
10×frac-add add-log-exp
9×distribute-neg-frac
7×distribute-lft-out
6×frac-times pow1 add-cbrt-cube associate-*l* add-exp-log difference-of-squares
4×associate-/r/ insert-posit16
3×flip3-+ associate-*r/ distribute-rgt-neg-out flip-+ distribute-lft-out--
2×sub-neg diff-log div-inv
1×+-commutative neg-mul-1 sum-log unsub-neg pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 122
Calls
4 calls:
127.0ms
(* (- -2 (/ -2 (+ t 1))) (- (/ -2 (+ t 1))))
21.0ms
(- -2 (/ -2 (+ t 1)))
19.0ms
(- -2 (/ -2 (+ t 1)))
45.0ms
(+ (* (- -2 (/ -2 (+ t 1))) -2) (* (- -2 (/ -2 (+ t 1))) (- (/ -2 (+ t 1)))))

series172.0ms

Counts
4 → 12
Calls
4 calls:
62.0ms
(* (- -2 (/ -2 (+ t 1))) (- (/ -2 (+ t 1))))
35.0ms
(- -2 (/ -2 (+ t 1)))
29.0ms
(- -2 (/ -2 (+ t 1)))
46.0ms
(+ (* (- -2 (/ -2 (+ t 1))) -2) (* (- -2 (/ -2 (+ t 1))) (- (/ -2 (+ t 1)))))

simplify2.3s

Counts
134 → 134
Iterations
IterNodes
done5001
22985
1721
0235

prune558.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify6.0ms

Iterations
IterNodes
done29
329
228
124
013

end0.0ms

sample1.1s

Algorithm
intervals
Results
1.0s8000×body80valid