Details

Time bar (total: 4.1s)

sample20.0ms

Algorithm
intervals
Results
10.0ms256×body80valid

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

rewrite127.0ms

Algorithm
rewrite-expression-head
Rules
728×times-frac
692×*-un-lft-identity
494×add-sqr-sqrt
476×add-cube-cbrt
348×prod-diff
106×distribute-lft-out
42×div-inv
32×associate-/l*
18×associate-/l/
16×associate-/r/
14×add-exp-log associate-/r* add-cbrt-cube
8×flip3-+ flip-+ add-log-exp
6×cbrt-undiv fma-neg div-exp difference-of-squares
4×pow1 expm1-log1p-u frac-2neg clear-num log1p-expm1-u
2×sub-neg flip3-- diff-log flip-- distribute-lft-out--
Counts
4 → 582
Calls
4 calls:
12.0ms
(/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))
12.0ms
(/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))
27.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
31.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))

series187.0ms

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

simplify156.0ms

Algorithm
egg-herbie
Counts
594 → 594
Iterations

Useful iterations: 1 (28.0ms)

IterNodesCost
0141517060
1500113148

prune1.1s

Filtered
594 candidates to 298 candidates (50.2%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New5931594
Fresh000
Picked101
Done000
Total5941595

Merged error: 0.2b

Counts
595 → 1

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

rewrite127.0ms

Algorithm
rewrite-expression-head
Rules
728×times-frac
692×*-un-lft-identity
494×add-sqr-sqrt
476×add-cube-cbrt
348×prod-diff
106×distribute-lft-out
42×div-inv
32×associate-/l*
18×associate-/l/
16×associate-/r/
14×add-exp-log associate-/r* add-cbrt-cube
8×flip3-+ flip-+ add-log-exp
6×cbrt-undiv fma-neg div-exp difference-of-squares
4×pow1 expm1-log1p-u frac-2neg clear-num log1p-expm1-u
2×sub-neg flip3-- diff-log flip-- distribute-lft-out--
Counts
4 → 582
Calls
4 calls:
12.0ms
(/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))
12.0ms
(/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))
26.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
31.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))

series192.0ms

Counts
4 → 12
Calls
4 calls:
43.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))))
55.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))

simplify170.0ms

Algorithm
egg-herbie
Counts
594 → 594
Iterations

Useful iterations: 1 (30.0ms)

IterNodesCost
0141517060
1500113148

prune1.4s

Filtered
594 candidates to 298 candidates (50.2%)
Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New5940594
Fresh000
Picked011
Done000
Total5941595

Merged error: 0.2b

Counts
595 → 1

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01816
11816

end0.0ms

sample419.0ms

Algorithm
intervals
Results
323.0ms8000×body80valid