Details

Time bar (total: 886.0ms)

sample20.0ms

Algorithm
intervals
Results
11.0ms256×body80valid

simplify53.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02014
13814
28714
327414
473714
5180114
6500214

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

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
6×associate-/l/
4×frac-2neg clear-num associate-/r/ div-inv
2×sub-neg flip3-- flip3-+ flip-- flip-+ associate-/l*
Counts
4 → 26
Calls
4 calls:
5.0ms
(/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))
8.0ms
(/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))
2.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
2.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))

series191.0ms

Counts
4 → 12
Calls
4 calls:
49.0ms
(/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))
43.0ms
(/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))
53.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
47.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))

simplify70.0ms

Algorithm
egg-herbie
Counts
38 → 38
Iterations

Useful iterations: 3 (65.0ms)

IterNodesCost
0171262
1482240
22314232
35003224

prune86.0ms

Filtered
38 candidates to 28 candidates (73.7%)
Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New38038
Fresh000
Picked011
Done000
Total38139

Merged error: 0.2b

Counts
39 → 1

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01414
11414

end0.0ms

sample433.0ms

Algorithm
intervals
Results
337.0ms8000×body80valid