Details

Time bar (total: 15.5s)

sample48.0ms

Algorithm
intervals
Results
27.0ms256×body80valid

simplify3.8s

Counts
1 → 1
Iterations

Useful iterations: 6 (1.6s)

IterNodesCost
01251
11951
23549
39249
431749
5100149
6476045
done500045

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 4 expressions with local error:

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

rewrite472.0ms

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:
76.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
71.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
88.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
125.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))

series264.0ms

Counts
4 → 12
Calls
4 calls:
62.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
85.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
51.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
66.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))

simplify868.0ms

Counts
792 → 792
Iterations

Useful iterations: done (792.0ms)

IterNodesCost
047855140
1129350768
done500138868

prune2.7s

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize48.0ms

Local error

Found 4 expressions with local error:

4.2b
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
4.2b
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
4.2b
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
10.2b
(+ 2.0 (- (pow (/ (cbrt (/ 2.0 t)) (cbrt (+ 1.0 (/ 1.0 t)))) 3)))

rewrite1.0s

Algorithm
rewrite-expression-head
Rules
804×*-un-lft-identity
801×times-frac
587×add-sqr-sqrt
560×add-cube-cbrt
522×prod-diff
119×distribute-lft-out
45×div-inv
18×associate-/r/
14×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×sum-log
1×+-commutative neg-sub0 associate-+r- distribute-rgt-neg-in unsub-neg neg-log
Counts
4 → 607
Calls
4 calls:
110.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
112.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
80.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
648.0ms
(+ 2.0 (- (pow (/ (cbrt (/ 2.0 t)) (cbrt (+ 1.0 (/ 1.0 t)))) 3)))

series368.0ms

Counts
4 → 12
Calls
4 calls:
75.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
70.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
90.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
133.0ms
(+ 2.0 (- (pow (/ (cbrt (/ 2.0 t)) (cbrt (+ 1.0 (/ 1.0 t)))) 3)))

simplify1.1s

Counts
619 → 619
Iterations

Useful iterations: done (1.0s)

IterNodesCost
050541795
1137537888
done500029195

prune3.4s

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0.0b

simplify6.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02285
12985
done2985

end0.0ms

sample1.5s

Algorithm
intervals
Results
1.3s8000×body80valid