Details

Time bar (total: 10.8s)

sample48.0ms

Algorithm
intervals
Results
28.0ms256×body80valid

simplify112.0ms

Counts
1 → 1

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 4 expressions with local error:

0.0b
(- 1.0 (/ 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)))))
2.4b
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
2.4b
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))

rewrite799.0ms

Algorithm
rewrite-expression-head
Rules
69×add-sqr-sqrt
28×*-un-lft-identity
20×difference-of-squares
19×times-frac
11×pow1
10×add-log-exp
9×flip3-- swap-sqr flip-- distribute-lft-out--
8×add-cube-cbrt
7×associate-*r* associate-*l*
6×add-exp-log 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 → 98
Calls
4 calls:
29.0ms
(- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))
585.0ms
(* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
68.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
111.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))

series415.0ms

Counts
4 → 12
Calls
4 calls:
175.0ms
(- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))
92.0ms
(* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
71.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
78.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))

simplify56.0ms

Counts
110 → 110

prune378.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 4 expressions with local error:

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

rewrite704.0ms

Algorithm
rewrite-expression-head
Rules
465×times-frac
390×*-un-lft-identity
247×add-sqr-sqrt
202×add-cube-cbrt
84×swap-sqr
80×distribute-lft-out
58×associate-*r* associate-*l*
45×add-exp-log add-cbrt-cube
25×div-inv
20×cbrt-undiv div-exp
11×pow1
10×prod-exp associate-/r/ cbrt-unprod
9×unswap-sqr
8×flip3-- flip-- associate-/l/ add-log-exp
5×frac-times flip3-+ flip-+
4×associate-/r* difference-of-squares
3×associate-*r/ associate-*l/
2×sub-neg diff-log
1×pow2 frac-2neg pow-plus pow-prod-down clear-num pow-sqr *-commutative pow-prod-up associate-/l* distribute-lft-out--
Counts
4 → 305
Calls
4 calls:
259.0ms
(/ (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
288.0ms
(* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
95.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
9.0ms
(- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))

series646.0ms

Counts
4 → 12
Calls
4 calls:
360.0ms
(/ (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
85.0ms
(* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
83.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
117.0ms
(- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))

simplify113.0ms

Counts
317 → 317

prune1.1s

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize76.0ms

Local error

Found 4 expressions with local error:

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

rewrite821.0ms

Algorithm
rewrite-expression-head
Rules
940×times-frac
770×*-un-lft-identity
544×add-sqr-sqrt
396×add-cube-cbrt
168×swap-sqr
156×distribute-lft-out
116×associate-*r* associate-*l*
76×add-exp-log add-cbrt-cube
48×div-inv
36×cbrt-undiv div-exp
33×difference-of-squares
24×unpow-prod-down cube-prod
18×pow1 prod-exp cbrt-unprod unswap-sqr
16×associate-/r/
12×sqr-pow
8×flip3-+ flip-+ add-log-exp
5×distribute-lft-out--
2×pow2 frac-times sub-neg flip3-- pow-plus diff-log associate-*r/ pow-prod-down associate-*l/ pow-sqr *-commutative pow-prod-up flip--
1×difference-cubes
Counts
4 → 549
Calls
4 calls:
208.0ms
(* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
269.0ms
(* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
45.0ms
(- (* (* 2.0 2.0) (* 2.0 2.0)) (* (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
237.0ms
(- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3))

series306.0ms

Counts
4 → 12
Calls
4 calls:
59.0ms
(* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
68.0ms
(* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
97.0ms
(- (* (* 2.0 2.0) (* 2.0 2.0)) (* (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
81.0ms
(- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3))

simplify122.0ms

Counts
561 → 561

prune3.3s

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify83.0ms

end0.0ms

sample1.6s

Algorithm
intervals
Results
1.4s8000×body80valid