Details

Time bar (total: 12.7s)

sample20.0ms

Algorithm
intervals
Results
10.0ms256×body80valid

simplify67.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01925
13525
29225
331925
490825
5231125
6500225

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.3b

Counts
2 → 1

localize12.0ms

Local error

Found 4 expressions with local error:

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

rewrite200.0ms

Algorithm
rewrite-expression-head
Rules
1068×times-frac
1064×*-un-lft-identity
780×add-sqr-sqrt
744×add-cube-cbrt
696×prod-diff
156×distribute-lft-out
60×div-inv
24×associate-/r/
12×flip3-+ fma-neg flip-+ add-log-exp difference-of-squares
4×pow1 add-exp-log expm1-log1p-u sub-neg flip3-- diff-log add-cbrt-cube flip-- log1p-expm1-u distribute-lft-out--
Counts
4 → 780
Calls
4 calls:
28.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
32.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
27.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
35.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))

series215.0ms

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

simplify316.0ms

Algorithm
egg-herbie
Counts
792 → 792
Iterations

Useful iterations: 2 (101.0ms)

IterNodesCost
0127330716
1498121876
2500121868

prune1.4s

Filtered
792 candidates to 312 candidates (39.4%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New7911792
Fresh000
Picked101
Done000
Total7921793

Merged error: 0.3b

Counts
793 → 1

localize21.0ms

Local error

Found 4 expressions with local error:

2.8b
(- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3))
2.8b
(- 2.0 (/ (/ 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))))

rewrite445.0ms

Algorithm
rewrite-expression-head
Rules
2937×times-frac
2826×*-un-lft-identity
2051×add-sqr-sqrt
1986×prod-diff
1948×add-cube-cbrt
1089×unpow-prod-down cube-prod
429×distribute-lft-out
165×div-inv
147×sqr-pow
135×cube-mult unpow3
66×associate-/r/
41×difference-of-squares
33×flip3-+ flip-+
21×fma-neg
12×add-log-exp
8×distribute-lft-out--
4×pow1 difference-cubes add-exp-log expm1-log1p-u sub-neg pow-unpow flip3-- diff-log add-cbrt-cube flip-- log1p-expm1-u
Counts
4 → 2116
Calls
4 calls:
113.0ms
(- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3))
30.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
26.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
30.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))

series513.0ms

Counts
4 → 12
Calls
4 calls:
78.0ms
(- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3))
47.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
340.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
48.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))

simplify827.0ms

Algorithm
egg-herbie
Counts
2128 → 2128
Iterations

Useful iterations: 1 (55.0ms)

IterNodesCost
0346091868
1500185308

prune2.6s

Filtered
2128 candidates to 386 candidates (18.1%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New212712128
Fresh000
Picked101
Done000
Total212812129

Merged error: 0.3b

Counts
2129 → 1

localize22.0ms

Local error

Found 4 expressions with local error:

2.8b
(- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3))
2.8b
(- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3))
2.8b
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
2.8b
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))

rewrite721.0ms

Algorithm
rewrite-expression-head
Rules
4806×times-frac
4588×*-un-lft-identity
3322×add-sqr-sqrt
3276×prod-diff
3152×add-cube-cbrt
2178×unpow-prod-down cube-prod
702×distribute-lft-out
294×sqr-pow
270×cube-mult unpow3 div-inv
108×associate-/r/
70×difference-of-squares
54×flip3-+ flip-+
30×fma-neg
12×distribute-lft-out-- add-log-exp
8×difference-cubes pow-unpow
4×pow1 add-exp-log expm1-log1p-u sub-neg flip3-- diff-log add-cbrt-cube flip-- log1p-expm1-u
Counts
4 → 3452
Calls
4 calls:
115.0ms
(- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3))
121.0ms
(- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3))
27.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
30.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))

series280.0ms

Counts
4 → 12
Calls
4 calls:
83.0ms
(- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3))
83.0ms
(- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3))
53.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
60.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))

simplify1.5s

Algorithm
egg-herbie
Counts
3464 → 3464
Iterations

Useful iterations: 1 (62.0ms)

IterNodesCost
03460153620
15001144000

prune3.1s

Filtered
3464 candidates to 412 candidates (11.9%)
Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New346403464
Fresh000
Picked011
Done000
Total346413465

Merged error: 0.3b

Counts
3465 → 1

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02653
12653

end0.0ms

sample403.0ms

Algorithm
intervals
Results
309.0ms8000×body80valid