Details

Time bar (total: 1.1s)

sample15.0ms

Algorithm
intervals
Results
8.0ms256×body80valid

simplify68.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 5 (19.0ms)

IterNodesCost
02017
14617
212817
334017
466217
589715
6117915
7175315
8500115

prune7.0ms

Filtered
1 candidates to 1 candidates (100.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 0b

Counts
2 → 1

localize9.0ms

Local error

Found 4 expressions with local error:

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

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
52×associate-/l*
50×frac-times
28×clear-num *-commutative
26×frac-2neg
20×associate-/r/
10×flip3-+ associate-*r/ associate-*l/ flip-+ div-inv
6×swap-sqr associate-*r* associate-*l*
2×pow2 un-div-inv
Counts
4 → 108
Calls
4 calls:
4.0ms
(/ (* 2.0 t) (+ 1.0 t))
4.0ms
(/ (* 2.0 t) (+ 1.0 t))
10.0ms
(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
10.0ms
(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))

series330.0ms

Counts
4 → 12
Calls
4 calls:
39.0ms
(/ (* 2.0 t) (+ 1.0 t))
186.0ms
(/ (* 2.0 t) (+ 1.0 t))
55.0ms
(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
50.0ms
(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))

simplify51.0ms

Algorithm
egg-herbie
Counts
120 → 120
Iterations

Useful iterations: 2 (41.0ms)

IterNodesCost
0325720
11693704
25001700

prune207.0ms

Filtered
120 candidates to 78 candidates (65.0%)
Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New1200120
Fresh000
Picked011
Done000
Total1201121

Merged error: 0b

Counts
121 → 1

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01417
11417

end0.0ms

sample339.0ms

Algorithm
intervals
Results
250.0ms8000×body80valid