Details

Time bar (total: 882.0ms)

sample19.0ms

Algorithm
intervals
Results
10.0ms256×body80valid

simplify93.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

localize16.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))))

rewrite14.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:
4.0ms
(/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))
4.0ms
(/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))
3.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
2.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))

series175.0ms

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

simplify66.0ms

Algorithm
egg-herbie
Counts
38 → 38
Iterations

Useful iterations: 2 (14.0ms)

IterNodesCost
0163262
1440244
22086238
35001238

prune85.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

sample411.0ms

Algorithm
intervals
Results
318.0ms8000×body80valid