Details

Time bar (total: 6.0s)

sample25.0ms

Algorithm
intervals
Results
11.0ms256×body80valid

simplify52.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02014
13814
28714
327414
473714
5180114
6500214

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.2b

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

rewrite229.0ms

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

series185.0ms

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

simplify137.0ms

Algorithm
egg-herbie
Counts
578 → 578
Iterations

Useful iterations: 1 (26.0ms)

IterNodesCost
0139716994
1500113082

prune1.3s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.2b

localize20.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.2b
(- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3))
2.3b
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))

rewrite555.0ms

Algorithm
rewrite-expression-head
Rules
2597×times-frac
2446×*-un-lft-identity
1761×add-sqr-sqrt
1676×add-cube-cbrt
1638×prod-diff
1089×unpow-prod-down cube-prod
379×distribute-lft-out
147×div-inv sqr-pow
135×cube-mult unpow3
58×associate-/r/
35×difference-of-squares
29×flip3-+ flip-+
26×associate-/l*
15×fma-neg
14×add-exp-log add-cbrt-cube
8×associate-/r* add-log-exp
6×cbrt-undiv div-exp distribute-lft-out--
4×pow1 expm1-log1p-u log1p-expm1-u
2×sub-neg flip3-- frac-2neg diff-log clear-num flip-- associate-/l/
1×difference-cubes
Counts
4 → 1899
Calls
4 calls:
27.0ms
(/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))
26.0ms
(/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))
225.0ms
(- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3))
67.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))

series201.0ms

Counts
4 → 12
Calls
4 calls:
40.0ms
(/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))
43.0ms
(/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))
66.0ms
(- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3))
52.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))

simplify671.0ms

Algorithm
egg-herbie
Counts
1911 → 1911
Iterations

Useful iterations: 1 (52.0ms)

IterNodesCost
0352178387
1500174326

prune2.1s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0.2b

regimes79.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01414
11414

end0.0ms

sample486.0ms

Algorithm
intervals
Results
353.0ms8000×body80valid