Details

Time bar (total: 20.2s)

sample53.0ms

Algorithm
intervals
Results
30.0ms256×body80valid

simplify4.6s

Counts
1 → 1
Iterations

Useful iterations: 6 (1.9s)

IterNodesCost
01251
11951
23549
39249
431749
5100149
6476045
done500045

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize48.0ms

Local error

Found 4 expressions with local error:

3.5b
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
3.5b
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
3.5b
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
3.5b
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))

rewrite1.1s

Algorithm
rewrite-expression-head
Rules
1068×times-frac
1064×*-un-lft-identity
780×add-sqr-sqrt
744×add-cube-cbrt
696×prod-diff
156×distribute-lft-out
60×div-inv
24×associate-/r/
12×flip3-+ fma-neg flip-+ add-log-exp difference-of-squares
4×pow1 add-exp-log expm1-log1p-u sub-neg flip3-- diff-log add-cbrt-cube flip-- log1p-expm1-u distribute-lft-out--
Counts
4 → 780
Calls
4 calls:
146.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
568.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
118.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
125.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))

series371.0ms

Counts
4 → 12
Calls
4 calls:
87.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
92.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
88.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
105.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))

simplify1.3s

Counts
792 → 792
Iterations

Useful iterations: done (1.2s)

IterNodesCost
047855140
1129350768
done500138868

prune4.2s

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize170.0ms

Local error

Found 4 expressions with local error:

3.5b
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
3.5b
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
3.5b
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
26.5b
(+ 2.0 (/ (- (/ (pow (/ (cbrt 2.0) (cbrt t)) 3) (cbrt (+ 1.0 (/ 1.0 t))))) (* (cbrt (+ 1.0 (/ 1.0 t))) (cbrt (+ 1.0 (/ 1.0 t))))))

rewrite2.0s

Algorithm
rewrite-expression-head
Rules
802×*-un-lft-identity
801×times-frac
587×add-sqr-sqrt
560×add-cube-cbrt
522×prod-diff
118×distribute-lft-out
45×div-inv
18×associate-/r/
12×add-log-exp
10×flip3-+ flip-+
9×fma-neg difference-of-squares
4×pow1 add-exp-log expm1-log1p-u add-cbrt-cube log1p-expm1-u
3×sub-neg flip3-- fma-def diff-log flip-- distribute-lft-out--
2×distribute-frac-neg
1×+-commutative neg-sub0 associate-+r- div-sub unsub-neg sum-log
Counts
4 → 605
Calls
4 calls:
116.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
127.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
134.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
1.5s
(+ 2.0 (/ (- (/ (pow (/ (cbrt 2.0) (cbrt t)) 3) (cbrt (+ 1.0 (/ 1.0 t))))) (* (cbrt (+ 1.0 (/ 1.0 t))) (cbrt (+ 1.0 (/ 1.0 t))))))

series411.0ms

Counts
4 → 12
Calls
4 calls:
73.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
80.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
80.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
178.0ms
(+ 2.0 (/ (- (/ (pow (/ (cbrt 2.0) (cbrt t)) 3) (cbrt (+ 1.0 (/ 1.0 t))))) (* (cbrt (+ 1.0 (/ 1.0 t))) (cbrt (+ 1.0 (/ 1.0 t))))))

simplify1.3s

Counts
617 → 617
Iterations

Useful iterations: done (1.2s)

IterNodesCost
050542089
1138038760
done500127859

prune3.3s

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0.0b

simplify14.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
033124
147124
249124
done49124

end0.0ms

sample1.3s

Algorithm
intervals
Results
1.0s8000×body80valid