Details

Time bar (total: 6.1s)

sample15.0ms

Algorithm
intervals
Results
7.0ms256×body80valid

simplify3.6s

Counts
1 → 1
Iterations

Useful iterations: 2 (6.0ms)

IterNodesCost
01035
12035
24633
311933
431333
556433
676633
7101933
8144733
done500033

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (* 2.0 t) (+ 1.0 t))
0.0b
(/ (* 2.0 t) (+ 1.0 t))
0.0b
(fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)
0.0b
(fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
16×*-un-lft-identity
14×add-exp-log add-cbrt-cube
8×add-sqr-sqrt add-cube-cbrt times-frac associate-/r*
4×pow1 cbrt-undiv expm1-log1p-u div-exp associate-/r/ log1p-expm1-u distribute-lft-out add-log-exp
2×frac-2neg flip3-+ prod-exp clear-num cbrt-unprod flip-+ fma-udef div-inv associate-/l*
Counts
4 → 74
Calls
4 calls:
15.0ms
(/ (* 2.0 t) (+ 1.0 t))
15.0ms
(/ (* 2.0 t) (+ 1.0 t))
0.0ms
(fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)
0.0ms
(fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)

series226.0ms

Counts
4 → 12
Calls
4 calls:
36.0ms
(/ (* 2.0 t) (+ 1.0 t))
39.0ms
(/ (* 2.0 t) (+ 1.0 t))
77.0ms
(fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)
74.0ms
(fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)

simplify1.7s

Counts
86 → 86
Iterations

Useful iterations: done (1.7s)

IterNodesCost
01081182
12591142
2820972
33156968
done5002958

prune187.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0.0b

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0933
11133
done1133

end0.0ms

sample330.0ms

Algorithm
intervals
Results
216.0ms8000×body80valid