Details

Time bar (total: 4.0s)

sample42.0ms

Algorithm
intervals
Results
20.0ms256×body80valid

simplify1.6s

Counts
1 → 1
Iterations

Useful iterations: 2 (10.0ms)

IterNodesCost
01035
12035
24633
312533
434233
572533
6105333
7143633
done500133

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize13.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)

rewrite31.0ms

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

series337.0ms

Counts
4 → 12
Calls
4 calls:
72.0ms
(/ (* 2.0 t) (+ 1.0 t))
67.0ms
(/ (* 2.0 t) (+ 1.0 t))
103.0ms
(fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)
96.0ms
(fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)

simplify895.0ms

Counts
86 → 86
Iterations

Useful iterations: 2 (307.0ms)

IterNodesCost
01081182
12721142
21368984
done5000984

prune415.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0933
11133
done1133

end0.0ms

sample708.0ms

Algorithm
intervals
Results
535.0ms8000×body80valid