Details

Time bar (total: 8.1s)

sample101.0ms

Algorithm
intervals
Results
86.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: 0b

localize26.0ms

Local error

Found 4 expressions with local error:

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

rewrite2.0s

Algorithm
rewrite-expression-head
Rules
50×add-sqr-sqrt
33×*-un-lft-identity
17×difference-of-squares
12×distribute-lft-out--
11×pow1
10×add-log-exp
9×flip3-- swap-sqr flip--
8×associate-*l* add-cube-cbrt
7×sub-neg
6×times-frac add-cbrt-cube associate-*r* add-exp-log
4×distribute-rgt-in frac-times distribute-lft-in associate--l+ insert-posit16
3×diff-log
2×associate-*l/ associate-*r/ *-commutative unswap-sqr
1×pow2 pow-plus pow-prod-down prod-exp pow-sqr pow-prod-up cbrt-unprod
Counts
4 → 106
Calls
4 calls:
1.7s
(- (* (- -2 (/ -2 (+ t 1))) (- -2 (/ -2 (+ t 1)))) -2)
215.0ms
(* (- -2 (/ -2 (+ t 1))) (- -2 (/ -2 (+ t 1))))
29.0ms
(- -2 (/ -2 (+ t 1)))
30.0ms
(- -2 (/ -2 (+ t 1)))

series147.0ms

Counts
4 → 12
Calls
4 calls:
46.0ms
(- (* (- -2 (/ -2 (+ t 1))) (- -2 (/ -2 (+ t 1)))) -2)
33.0ms
(* (- -2 (/ -2 (+ t 1))) (- -2 (/ -2 (+ t 1))))
36.0ms
(- -2 (/ -2 (+ t 1)))
32.0ms
(- -2 (/ -2 (+ t 1)))

simplify1.6s

Counts
118 → 118
Iterations
IterNodes
done5000
21249
1375
0139

prune430.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify2.0ms

Iterations
IterNodes
done13
113
010

end0.0ms

sample2.0s

Algorithm
intervals
Results
1.8s8000×body80valid