Details

Time bar (total: 8.6s)

sample49.0ms

Algorithm
intervals
Results
26.0ms256×body80valid

simplify2.1s

Counts
1 → 1
Iterations
IterNodes
done5000
62972
5703
4242
384
237
120
012

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ 2.0 (+ 1.0 (* 1.0 t)))
0.0b
(* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
2.4b
(- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))
2.4b
(- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))

rewrite243.0ms

Algorithm
rewrite-expression-head
Rules
48×add-sqr-sqrt
34×*-un-lft-identity
16×add-cube-cbrt
15×times-frac
12×difference-of-squares
11×pow1
8×flip3-- add-cbrt-cube swap-sqr add-exp-log flip-- distribute-lft-out-- add-log-exp
6×associate-*r* associate-*l*
4×frac-times sub-neg
3×associate-/r* associate-/l*
2×distribute-rgt-in distribute-lft-in diff-log associate-*l/ associate-*r/ associate-/r/
1×pow2 cbrt-undiv clear-num frac-2neg flip3-+ pow-plus div-exp pow-prod-down prod-exp pow-sqr *-commutative pow-prod-up cbrt-unprod flip-+ div-inv unswap-sqr
Counts
4 → 107
Calls
4 calls:
7.0ms
(/ 2.0 (+ 1.0 (* 1.0 t)))
177.0ms
(* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
27.0ms
(- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))
28.0ms
(- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))

series237.0ms

Counts
4 → 12
Calls
4 calls:
43.0ms
(/ 2.0 (+ 1.0 (* 1.0 t)))
79.0ms
(* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
57.0ms
(- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))
58.0ms
(- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))

simplify1.2s

Counts
119 → 119
Iterations
IterNodes
done5001
22342
1443
0161

prune605.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize76.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (* (- (pow 2.0 3) (pow (/ 2.0 (* (+ t 1) 1.0)) 3)) (* (+ 2.0 (/ 2.0 (* (+ t 1) 1.0))) (- 2.0 (/ 2.0 (* (+ t 1) 1.0))))) (* (+ (* 2.0 2.0) (* (/ 2.0 (+ t 1)) (/ (+ (/ 2.0 (* (+ t 1) 1.0)) 2.0) 1.0))) (+ 2.0 (/ 2.0 (* (+ t 1) 1.0)))))
0.1b
(pow (/ 2.0 (* (+ t 1) 1.0)) 3)
2.3b
(- (pow 2.0 3) (pow (/ 2.0 (* (+ t 1) 1.0)) 3))
2.4b
(- 2.0 (/ 2.0 (* (+ t 1) 1.0)))

rewrite723.0ms

Algorithm
rewrite-expression-head
Rules
35×add-sqr-sqrt
32×frac-times
31×add-cbrt-cube add-exp-log
26×associate-/l/
21×unpow-prod-down *-un-lft-identity cube-prod
20×flip3-- flip--
17×flip3-+ flip-+ difference-of-squares
16×associate-*r/
14×associate-*l/
12×associate-/r/
10×prod-exp cbrt-unprod
9×add-cube-cbrt sqr-pow
8×cbrt-undiv div-exp add-log-exp
7×times-frac
6×distribute-lft-out--
5×pow1
3×pow-unpow pow-exp div-inv rem-cube-cbrt
2×sub-neg diff-log
1×cube-div cube-mult pow-to-exp difference-cubes clear-num associate-/r* pow-pow frac-2neg unpow3 associate-/l*
Counts
4 → 147
Calls
4 calls:
245.0ms
(/ (* (- (pow 2.0 3) (pow (/ 2.0 (* (+ t 1) 1.0)) 3)) (* (+ 2.0 (/ 2.0 (* (+ t 1) 1.0))) (- 2.0 (/ 2.0 (* (+ t 1) 1.0))))) (* (+ (* 2.0 2.0) (* (/ 2.0 (+ t 1)) (/ (+ (/ 2.0 (* (+ t 1) 1.0)) 2.0) 1.0))) (+ 2.0 (/ 2.0 (* (+ t 1) 1.0)))))
395.0ms
(pow (/ 2.0 (* (+ t 1) 1.0)) 3)
49.0ms
(- (pow 2.0 3) (pow (/ 2.0 (* (+ t 1) 1.0)) 3))
23.0ms
(- 2.0 (/ 2.0 (* (+ t 1) 1.0)))

series384.0ms

Counts
4 → 12
Calls
4 calls:
220.0ms
(/ (* (- (pow 2.0 3) (pow (/ 2.0 (* (+ t 1) 1.0)) 3)) (* (+ 2.0 (/ 2.0 (* (+ t 1) 1.0))) (- 2.0 (/ 2.0 (* (+ t 1) 1.0))))) (* (+ (* 2.0 2.0) (* (/ 2.0 (+ t 1)) (/ (+ (/ 2.0 (* (+ t 1) 1.0)) 2.0) 1.0))) (+ 2.0 (/ 2.0 (* (+ t 1) 1.0)))))
73.0ms
(pow (/ 2.0 (* (+ t 1) 1.0)) 3)
62.0ms
(- (pow 2.0 3) (pow (/ 2.0 (* (+ t 1) 1.0)) 3))
28.0ms
(- 2.0 (/ 2.0 (* (+ t 1) 1.0)))

simplify568.0ms

Counts
159 → 159
Iterations
IterNodes
done5002
11244
0319

prune1.3s

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0.0b

simplify4.0ms

Iterations
IterNodes
done36
136
026

end0.0ms

sample1.1s

Algorithm
intervals
Results
857.0ms8000×body80valid