Details

Time bar (total: 2.7s)

sample21.0ms

Algorithm
intervals
Results
10.0ms256×body80valid

simplify928.0ms

Counts
1 → 1
Iterations

Useful iterations: done (928.0ms)

IterNodesCost
01251
11951
23549
38549
426249
575049
6197545
done500041

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 4 expressions with local error:

3.2b
(- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))
3.2b
(- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))
3.2b
(- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))
3.2b
(- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
108×prod-diff
76×add-sqr-sqrt *-un-lft-identity
68×add-cube-cbrt
36×times-frac
24×associate-*r/ associate-/r/
12×flip3-+ fma-neg flip-+ div-inv add-log-exp
4×pow1 add-exp-log expm1-log1p-u sub-neg flip3-- diff-log add-cbrt-cube flip-- log1p-expm1-u distribute-lft-out-- difference-of-squares
Counts
4 → 184
Calls
4 calls:
9.0ms
(- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))
9.0ms
(- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))
9.0ms
(- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))
9.0ms
(- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))

series101.0ms

Counts
4 → 12
Calls
4 calls:
24.0ms
(- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))
24.0ms
(- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))
28.0ms
(- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))
25.0ms
(- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))

simplify795.0ms

Counts
196 → 196
Iterations

Useful iterations: 2 (123.0ms)

IterNodesCost
01366848
13575508
212714012
done50004012

prune389.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0.0b

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01141
11541
done1541

end0.0ms

sample433.0ms

Algorithm
intervals
Results
325.0ms8000×body80valid