Details

Time bar (total: 16.6s)

sample30.0ms

Algorithm
intervals
Results
14.0ms256×body80valid

simplify6.2s

Counts
1 → 1
Iterations

Useful iterations: 7 (1.7s)

IterNodesCost
01229
12029
23729
38429
423229
554729
6115329
7243725
8494025
done500225

prune16.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 4 expressions with local error:

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

rewrite745.0ms

Algorithm
rewrite-expression-head
Rules
45×add-sqr-sqrt
28×*-un-lft-identity
14×difference-of-squares
11×pow1
10×add-log-exp
9×flip3-- flip-- distribute-lft-out--
8×add-cube-cbrt swap-sqr
7×times-frac
6×add-exp-log associate-*r* associate-*l* add-cbrt-cube
5×sub-neg
4×frac-times
3×diff-log
2×distribute-rgt-in distribute-lft-in associate-*r/ associate-*l/
1×pow2 pow-plus pow-prod-down prod-exp pow-sqr *-commutative pow-prod-up cbrt-unprod unswap-sqr
Counts
4 → 93
Calls
4 calls:
306.0ms
(- 1.0 (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) 2.0)))
356.0ms
(* (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))))
29.0ms
(- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))
47.0ms
(- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))

series417.0ms

Counts
4 → 12
Calls
4 calls:
187.0ms
(- 1.0 (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) 2.0)))
95.0ms
(* (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))))
70.0ms
(- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))
66.0ms
(- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))

simplify3.0s

Counts
105 → 105
Iterations

Useful iterations: done (3.0s)

IterNodesCost
01522721
13712539
212362305
346652002
done50001993

prune316.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize41.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (/ (- (pow 2.0 3) (pow (/ 2.0 (+ (* t 1.0) 1.0)) 3)) (+ (* 2.0 2.0) (* (/ 2.0 (+ (* t 1.0) 1.0)) (+ 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))))
0.2b
(pow (/ 2.0 (+ (* t 1.0) 1.0)) 3)
1.9b
(- (pow 2.0 3) (pow (/ 2.0 (+ (* t 1.0) 1.0)) 3))
1.9b
(- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))

rewrite958.0ms

Algorithm
rewrite-expression-head
Rules
260×add-sqr-sqrt
164×times-frac
111×*-un-lft-identity
105×associate-*l*
100×difference-of-squares
93×unpow-prod-down cube-prod
61×add-cube-cbrt
41×sqr-pow
22×distribute-lft-out--
12×add-exp-log add-cbrt-cube
8×add-log-exp
7×pow1
6×distribute-rgt-out distribute-lft1-in associate-*r* associate-/r/
4×difference-cubes sub-neg flip3-- flip--
3×pow-unpow flip3-+ flip-+ div-inv
2×cbrt-undiv distribute-rgt-in frac-times distribute-lft-in diff-log associate-*r/ div-exp pow-exp prod-exp cbrt-unprod rem-cube-cbrt unswap-sqr
1×cube-div cube-mult pow-to-exp pow-pow unpow3 pow-prod-down associate-*l/ *-commutative
Counts
4 → 254
Calls
4 calls:
741.0ms
(* (/ (- (pow 2.0 3) (pow (/ 2.0 (+ (* t 1.0) 1.0)) 3)) (+ (* 2.0 2.0) (* (/ 2.0 (+ (* t 1.0) 1.0)) (+ 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))))
23.0ms
(pow (/ 2.0 (+ (* t 1.0) 1.0)) 3)
116.0ms
(- (pow 2.0 3) (pow (/ 2.0 (+ (* t 1.0) 1.0)) 3))
39.0ms
(- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))

series545.0ms

Counts
4 → 12
Calls
4 calls:
307.0ms
(* (/ (- (pow 2.0 3) (pow (/ 2.0 (+ (* t 1.0) 1.0)) 3)) (+ (* 2.0 2.0) (* (/ 2.0 (+ (* t 1.0) 1.0)) (+ 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))))
76.0ms
(pow (/ 2.0 (+ (* t 1.0) 1.0)) 3)
106.0ms
(- (pow 2.0 3) (pow (/ 2.0 (+ (* t 1.0) 1.0)) 3))
56.0ms
(- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))

simplify2.6s

Counts
266 → 266
Iterations

Useful iterations: 2 (1.0s)

IterNodesCost
03879562
111699305
242268819
done50008819

prune1.1s

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify4.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02051
12751
done2751

end0.0ms

sample643.0ms

Algorithm
intervals
Results
461.0ms8000×body80valid