Details

Time bar (total: 14.0s)

sample200.0ms

Algorithm
intervals
Results
74.0ms34×body2560valid
61.0ms72×body1280valid
26.0ms63×body640valid
9.0ms25×body320valid
8.0ms100×body80valid
4.0ms66×body80nan
3.0ms1×body5120valid
2.0ms16×body160valid

simplify41.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0257
1597
21417
33467
411717
550017

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 40.8b

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b
(* 100.0 (/ (- (pow (+ 1.0 (/ i n)) n) 1.0) (/ i n)))
1.3b
(- (pow (+ 1.0 (/ i n)) n) 1.0)
3.9b
(pow (+ 1.0 (/ i n)) n)
10.7b
(/ (- (pow (+ 1.0 (/ i n)) n) 1.0) (/ i n))

rewrite593.0ms

Algorithm
rewrite-expression-head
Rules
320×times-frac
289×add-sqr-sqrt
198×*-un-lft-identity
140×add-cube-cbrt
96×associate-*r*
84×difference-of-squares
32×unpow-prod-down
29×sqr-pow
28×distribute-lft-out--
19×add-exp-log
18×add-cbrt-cube
17×div-inv
13×associate-/r*
7×pow1 associate-/l*
6×cbrt-undiv div-exp add-log-exp
3×pow-unpow associate-*l* prod-exp cbrt-unprod unswap-sqr
2×flip3-- associate-/r/ flip-- associate-/l/
1×pow-to-exp sub-neg pow-pow frac-2neg diff-log div-sub associate-*r/ pow-prod-down pow-exp clear-num *-commutative distribute-lft-out
Counts
4 → 281
Calls
4 calls:
242.0ms
(* 100.0 (/ (- (pow (+ 1.0 (/ i n)) n) 1.0) (/ i n)))
111.0ms
(- (pow (+ 1.0 (/ i n)) n) 1.0)
12.0ms
(pow (+ 1.0 (/ i n)) n)
210.0ms
(/ (- (pow (+ 1.0 (/ i n)) n) 1.0) (/ i n))

series1.5s

Counts
4 → 12
Calls
4 calls:
374.0ms
(* 100.0 (/ (- (pow (+ 1.0 (/ i n)) n) 1.0) (/ i n)))
458.0ms
(- (pow (+ 1.0 (/ i n)) n) 1.0)
261.0ms
(pow (+ 1.0 (/ i n)) n)
362.0ms
(/ (- (pow (+ 1.0 (/ i n)) n) 1.0) (/ i n))

simplify63.0ms

Algorithm
egg-herbie
Counts
293 → 293
Iterations

Useful iterations: 1 (28.0ms)

IterNodesCost
012263285
150023166

prune784.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 21.5b

localize15.0ms

Local error

Found 4 expressions with local error:

1.3b
(- (pow (+ 1.0 (/ i n)) n) 1.0)
3.9b
(pow (+ 1.0 (/ i n)) n)
3.9b
(pow (+ 1.0 (/ i n)) n)
3.9b
(pow (+ 1.0 (/ i n)) n)

rewrite148.0ms

Algorithm
rewrite-expression-head
Rules
18×*-un-lft-identity
15×add-sqr-sqrt
13×unpow-prod-down
10×add-cube-cbrt
9×pow-unpow
7×pow1 add-exp-log
6×add-log-exp
4×add-cbrt-cube sqr-pow
3×pow-to-exp pow-pow pow-exp distribute-lft-out difference-of-squares
1×sub-neg flip3-- diff-log flip-- distribute-lft-out--
Counts
4 → 70
Calls
4 calls:
112.0ms
(- (pow (+ 1.0 (/ i n)) n) 1.0)
11.0ms
(pow (+ 1.0 (/ i n)) n)
11.0ms
(pow (+ 1.0 (/ i n)) n)
12.0ms
(pow (+ 1.0 (/ i n)) n)

series906.0ms

Counts
4 → 12
Calls
4 calls:
255.0ms
(- (pow (+ 1.0 (/ i n)) n) 1.0)
220.0ms
(pow (+ 1.0 (/ i n)) n)
213.0ms
(pow (+ 1.0 (/ i n)) n)
218.0ms
(pow (+ 1.0 (/ i n)) n)

simplify67.0ms

Algorithm
egg-herbie
Counts
82 → 82
Iterations

Useful iterations: 3 (60.0ms)

IterNodesCost
0192470
1556461
22075455
35001449

prune271.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 21.5b

localize18.0ms

Local error

Found 4 expressions with local error:

1.3b
(- (pow (+ 1.0 (/ i n)) n) 1.0)
3.9b
(pow (+ 1.0 (/ i n)) n)
3.9b
(pow (+ 1.0 (/ i n)) n)
3.9b
(pow (+ 1.0 (/ i n)) n)

rewrite148.0ms

Algorithm
rewrite-expression-head
Rules
18×*-un-lft-identity
15×add-sqr-sqrt
13×unpow-prod-down
10×add-cube-cbrt
9×pow-unpow
7×pow1 add-exp-log
6×add-log-exp
4×add-cbrt-cube sqr-pow
3×pow-to-exp pow-pow pow-exp distribute-lft-out difference-of-squares
1×sub-neg flip3-- diff-log flip-- distribute-lft-out--
Counts
4 → 70
Calls
4 calls:
109.0ms
(- (pow (+ 1.0 (/ i n)) n) 1.0)
13.0ms
(pow (+ 1.0 (/ i n)) n)
11.0ms
(pow (+ 1.0 (/ i n)) n)
12.0ms
(pow (+ 1.0 (/ i n)) n)

series906.0ms

Counts
4 → 12
Calls
4 calls:
250.0ms
(- (pow (+ 1.0 (/ i n)) n) 1.0)
229.0ms
(pow (+ 1.0 (/ i n)) n)
212.0ms
(pow (+ 1.0 (/ i n)) n)
214.0ms
(pow (+ 1.0 (/ i n)) n)

simplify64.0ms

Algorithm
egg-herbie
Counts
82 → 82
Iterations

Useful iterations: 3 (57.0ms)

IterNodesCost
0192470
1556461
22075455
35001449

prune319.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 21.5b

localize19.0ms

Local error

Found 4 expressions with local error:

1.3b
(- (cbrt (pow (pow (+ 1.0 (/ i n)) n) 3)) 1.0)
3.9b
(pow (+ 1.0 (/ i n)) n)
3.9b
(pow (+ 1.0 (/ i n)) n)
3.9b
(pow (+ 1.0 (/ i n)) n)

rewrite285.0ms

Algorithm
rewrite-expression-head
Rules
25×add-sqr-sqrt
18×*-un-lft-identity
17×unpow-prod-down
10×add-cube-cbrt
9×pow-unpow difference-of-squares
8×cbrt-prod
7×pow1 add-exp-log
6×add-log-exp sqr-pow
4×add-cbrt-cube
3×pow-to-exp pow-pow cube-prod pow-exp distribute-lft-out
1×sub-neg flip3-- diff-log flip-- distribute-lft-out--
Counts
4 → 76
Calls
4 calls:
248.0ms
(- (cbrt (pow (pow (+ 1.0 (/ i n)) n) 3)) 1.0)
12.0ms
(pow (+ 1.0 (/ i n)) n)
11.0ms
(pow (+ 1.0 (/ i n)) n)
11.0ms
(pow (+ 1.0 (/ i n)) n)

series916.0ms

Counts
4 → 12
Calls
4 calls:
255.0ms
(- (cbrt (pow (pow (+ 1.0 (/ i n)) n) 3)) 1.0)
214.0ms
(pow (+ 1.0 (/ i n)) n)
212.0ms
(pow (+ 1.0 (/ i n)) n)
234.0ms
(pow (+ 1.0 (/ i n)) n)

simplify72.0ms

Algorithm
egg-herbie
Counts
88 → 88
Iterations

Useful iterations: 3 (65.0ms)

IterNodesCost
0240592
1670564
22439558
35002552

prune326.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 21.5b

regimes110.0ms

Accuracy

42.7% (12.1b remaining)

Error of 34.1b against oracle of 21.9b and baseline of 43.1b

bsearch480.0ms

Steps
ItersRangePoint
10
2.3615105478400983e-198
6.60627199456594e-181
8.197984982050091e-194
8
-1043668.381521804
-3875.060168488945
-15831.586444589748
5
-7.694465996572546e+56
-2.740847179348341e+56
-4.530611506849831e+56
9
-1.1922796481491573e+84
-8.789057739707999e+77
-8.046837769241036e+81

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
06576
16576

end0.0ms

sample5.8s

Algorithm
intervals
Results
2.1s2499×body1280valid
2.0s985×body2560valid
697.0ms1670×body640valid
229.0ms846×body320valid
224.0ms3001×body80valid
122.0ms2251×body80nan
74.0ms439×body160valid
41.0ms11×body5120valid