Details

Time bar (total: 2.5s)

sample18.0ms

Algorithm
intervals
Results
10.0ms256×body80valid

simplify90.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02014
13714
28414
325214
462314
5141314
6381414
7500114

prune2.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.2b

Counts
2 → 1

localize11.0ms

Local error

Found 4 expressions with local error:

0.3b
(/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))
0.3b
(/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))
2.8b
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
2.8b
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))

rewrite81.0ms

Algorithm
rewrite-expression-head
Rules
200×times-frac
166×*-un-lft-identity
124×add-sqr-sqrt
106×add-cube-cbrt
32×associate-/l*
28×distribute-lft-out
18×associate-/l/
14×add-exp-log associate-/r* add-cbrt-cube
12×div-inv
8×add-log-exp
6×cbrt-undiv div-exp difference-of-squares
4×pow1 frac-2neg clear-num associate-/r/
2×sub-neg flip3-- flip3-+ diff-log flip-- flip-+ distribute-lft-out--
Counts
4 → 220
Calls
4 calls:
12.0ms
(/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))
12.0ms
(/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))
25.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
22.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))

series175.0ms

Counts
4 → 12
Calls
4 calls:
40.0ms
(/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))
45.0ms
(/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))
43.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
48.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))

simplify67.0ms

Algorithm
egg-herbie
Counts
232 → 232
Iterations

Useful iterations: 1 (11.0ms)

IterNodesCost
05132052
119751976
250011976

prune553.0ms

Filtered
232 candidates to 168 candidates (72.4%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New2311232
Fresh000
Picked101
Done000
Total2321233

Merged error: 0.2b

Counts
233 → 1

localize15.0ms

Local error

Found 4 expressions with local error:

0.3b
(/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))
0.3b
(/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))
2.8b
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
2.8b
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))

rewrite88.0ms

Algorithm
rewrite-expression-head
Rules
200×times-frac
166×*-un-lft-identity
124×add-sqr-sqrt
106×add-cube-cbrt
32×associate-/l*
28×distribute-lft-out
18×associate-/l/
14×add-exp-log associate-/r* add-cbrt-cube
12×div-inv
8×add-log-exp
6×cbrt-undiv div-exp difference-of-squares
4×pow1 frac-2neg clear-num associate-/r/
2×sub-neg flip3-- flip3-+ diff-log flip-- flip-+ distribute-lft-out--
Counts
4 → 220
Calls
4 calls:
13.0ms
(/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))
13.0ms
(/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))
28.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
22.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))

series190.0ms

Counts
4 → 12
Calls
4 calls:
42.0ms
(/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))
49.0ms
(/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))
45.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
54.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))

simplify69.0ms

Algorithm
egg-herbie
Counts
232 → 232
Iterations

Useful iterations: 1 (12.0ms)

IterNodesCost
05132052
119751976
250011976

prune714.0ms

Filtered
232 candidates to 168 candidates (72.4%)
Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New2320232
Fresh000
Picked011
Done000
Total2321233

Merged error: 0.2b

Counts
233 → 1

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01816
11816

end0.0ms

sample399.0ms

Algorithm
intervals
Results
310.0ms8000×body80valid