Details

Time bar (total: 20.8s)

sample25.0ms

Algorithm
intervals
Results
14.0ms256×body80valid

simplify7.2s

Counts
1 → 1
Iterations

Useful iterations: done (7.2s)

IterNodesCost
01229
12229
26828
335428
4228328
done500024

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize29.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))
0.0b
(* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 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.2s

Algorithm
rewrite-expression-head
Rules
1084×*-un-lft-identity
1083×times-frac
810×add-sqr-sqrt
754×add-cube-cbrt
696×prod-diff
176×distribute-rgt-in distribute-lft-in
156×distribute-lft-out
61×div-inv
26×associate-/r/
18×difference-of-squares
13×flip3-+ flip-+
11×pow1
9×swap-sqr
8×add-exp-log flip3-- add-cbrt-cube flip-- distribute-lft-out-- add-log-exp
7×associate-*r* associate-*l*
6×fma-neg
4×expm1-log1p-u frac-times sub-neg log1p-expm1-u
3×associate-/r* associate-/l*
2×diff-log associate-*r/ associate-*l/
1×cbrt-undiv pow2 frac-2neg pow-plus div-exp pow-prod-down prod-exp clear-num pow-sqr *-commutative pow-prod-up cbrt-unprod unswap-sqr
Counts
4 → 822
Calls
4 calls:
20.0ms
(/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))
771.0ms
(* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
129.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
111.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))

series411.0ms

Counts
4 → 12
Calls
4 calls:
149.0ms
(/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))
116.0ms
(* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
83.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
63.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))

simplify1.5s

Counts
834 → 834
Iterations

Useful iterations: done (1.4s)

IterNodesCost
096465846
done500052458

prune4.5s

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize35.0ms

Local error

Found 4 expressions with local error:

0.8b
(cbrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
0.8b
(pow (cbrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (* 2 3))
3.5b
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
31.3b
(fma 2.0 2.0 (- (pow (cbrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (* 2 3))))

rewrite224.0ms

Algorithm
rewrite-expression-head
Rules
443×times-frac
406×*-un-lft-identity
283×add-sqr-sqrt
274×add-cube-cbrt
174×prod-diff
116×cbrt-prod
65×distribute-lft-out
61×unpow-prod-down
25×div-inv
10×associate-/r/
6×add-log-exp
5×pow1 add-exp-log flip3-+ flip-+
4×expm1-log1p-u add-cbrt-cube log1p-expm1-u
3×fma-neg difference-of-squares
2×pow-pow pow1/3
1×pow-to-exp sub-neg pow-unpow cbrt-div flip3-- diff-log pow-exp flip-- fma-udef distribute-lft-out-- sqr-pow
Counts
4 → 350
Calls
4 calls:
15.0ms
(cbrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
67.0ms
(pow (cbrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (* 2 3))
95.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
0.0ms
(fma 2.0 2.0 (- (pow (cbrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (* 2 3))))

series1.2s

Counts
4 → 12
Calls
4 calls:
337.0ms
(cbrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
594.0ms
(pow (cbrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (* 2 3))
60.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
175.0ms
(fma 2.0 2.0 (- (pow (cbrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (* 2 3))))

simplify988.0ms

Counts
362 → 362
Iterations

Useful iterations: done (957.0ms)

IterNodesCost
076918133
done500014596

prune2.4s

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify7.0ms

Iterations

Useful iterations: 1 (4.0ms)

IterNodesCost
02148
12746
done2746

end0.0ms

sample1.1s

Algorithm
intervals
Results
880.0ms8000×body80valid