Details

Time bar (total: 24.6s)

sample209.0ms

Algorithm
intervals
Results
72.0ms76×body1280valid
65.0ms27×body2560valid
21.0ms47×body640valid
15.0ms97×body80valid
10.0ms37×body320valid
4.0ms65×body80nan
2.0ms12×body160valid

simplify582.0ms

Counts
1 → 1

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 40.0b

localize19.0ms

Local error

Found 4 expressions with local error:

0.1b
(* 100.0 (/ (- (pow (+ 1.0 (/ i n)) n) 1.0) (/ i n)))
1.2b
(- (pow (+ 1.0 (/ i n)) n) 1.0)
6.1b
(pow (+ 1.0 (/ i n)) n)
8.4b
(/ (- (pow (+ 1.0 (/ i n)) n) 1.0) (/ i n))

rewrite1.3s

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:
469.0ms
(* 100.0 (/ (- (pow (+ 1.0 (/ i n)) n) 1.0) (/ i n)))
256.0ms
(- (pow (+ 1.0 (/ i n)) n) 1.0)
30.0ms
(pow (+ 1.0 (/ i n)) n)
510.0ms
(/ (- (pow (+ 1.0 (/ i n)) n) 1.0) (/ i n))

series1.6s

Counts
4 → 12
Calls
4 calls:
442.0ms
(* 100.0 (/ (- (pow (+ 1.0 (/ i n)) n) 1.0) (/ i n)))
336.0ms
(- (pow (+ 1.0 (/ i n)) n) 1.0)
282.0ms
(pow (+ 1.0 (/ i n)) n)
493.0ms
(/ (- (pow (+ 1.0 (/ i n)) n) 1.0) (/ i n))

simplify692.0ms

Counts
293 → 293

prune1.1s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 21.6b

localize14.0ms

Local error

Found 3 expressions with local error:

1.2b
(- (pow (+ 1.0 (/ i n)) n) 1.0)
6.1b
(pow (+ 1.0 (/ i n)) n)
8.4b
(/ (* 100.0 (- (pow (+ 1.0 (/ i n)) n) 1.0)) (/ i n))

rewrite439.0ms

Algorithm
rewrite-expression-head
Rules
31×times-frac
24×add-sqr-sqrt
23×*-un-lft-identity
19×add-cube-cbrt
16×add-exp-log
15×add-cbrt-cube
13×associate-/r*
6×cbrt-undiv div-exp
5×unpow-prod-down add-log-exp
4×pow1
3×pow-unpow div-inv difference-of-squares
2×flip3-- associate-*r/ prod-exp flip-- cbrt-unprod associate-/l/ sqr-pow
1×pow-to-exp sub-neg pow-pow frac-2neg diff-log pow-exp clear-num associate-/r/ distribute-lft-out associate-/l* distribute-lft-out--
Counts
3 → 82
Calls
3 calls:
202.0ms
(- (pow (+ 1.0 (/ i n)) n) 1.0)
30.0ms
(pow (+ 1.0 (/ i n)) n)
204.0ms
(/ (* 100.0 (- (pow (+ 1.0 (/ i n)) n) 1.0)) (/ i n))

series1.1s

Counts
3 → 9
Calls
3 calls:
309.0ms
(- (pow (+ 1.0 (/ i n)) n) 1.0)
335.0ms
(pow (+ 1.0 (/ i n)) n)
477.0ms
(/ (* 100.0 (- (pow (+ 1.0 (/ i n)) n) 1.0)) (/ i n))

simplify918.0ms

Counts
91 → 91

prune267.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 18.3b

localize15.0ms

Local error

Found 3 expressions with local error:

0.1b
(/ (* 100.0 (- (pow (/ i n) n) 1.0)) (/ i n))
2.4b
(- (pow (/ i n) n) 1.0)
5.3b
(pow (/ i n) n)

rewrite137.0ms

Algorithm
rewrite-expression-head
Rules
41×times-frac
33×add-sqr-sqrt
27×*-un-lft-identity
25×add-cube-cbrt
18×add-exp-log
15×unpow-prod-down add-cbrt-cube
13×associate-/r*
7×div-exp
6×cbrt-undiv
5×add-log-exp
4×pow1 div-inv difference-of-squares
3×pow-unpow
2×flip3-- associate-*r/ pow-exp prod-exp flip-- cbrt-unprod associate-/l/ sqr-pow
1×pow-to-exp sub-neg pow-pow frac-2neg diff-log clear-num associate-/r/ associate-/l* distribute-lft-out--
Counts
3 → 93
Calls
3 calls:
62.0ms
(/ (* 100.0 (- (pow (/ i n) n) 1.0)) (/ i n))
61.0ms
(- (pow (/ i n) n) 1.0)
10.0ms
(pow (/ i n) n)

series359.0ms

Counts
3 → 9
Calls
3 calls:
216.0ms
(/ (* 100.0 (- (pow (/ i n) n) 1.0)) (/ i n))
84.0ms
(- (pow (/ i n) n) 1.0)
59.0ms
(pow (/ i n) n)

simplify1.2s

Counts
102 → 102

prune380.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 14.7b

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (* 100.0 (- (pow (+ 1.0 (/ i n)) n) 1.0)) i)
0.0b
(* (/ (* 100.0 (- (pow (+ 1.0 (/ i n)) n) 1.0)) i) n)
1.2b
(- (pow (+ 1.0 (/ i n)) n) 1.0)
6.1b
(pow (+ 1.0 (/ i n)) n)

rewrite1.0s

Algorithm
rewrite-expression-head
Rules
19×add-exp-log
18×add-sqr-sqrt add-cbrt-cube
15×*-un-lft-identity
11×add-cube-cbrt
7×pow1 associate-*l*
6×times-frac add-log-exp
5×unpow-prod-down prod-exp cbrt-unprod
4×cbrt-undiv div-exp
3×pow-unpow associate-*r* associate-/r* difference-of-squares
2×flip3-- associate-*r/ flip-- div-inv associate-/l/ sqr-pow
1×pow-to-exp sub-neg pow-pow frac-2neg diff-log pow-prod-down associate-*l/ pow-exp clear-num *-commutative distribute-lft-out associate-/l* distribute-lft-out-- unswap-sqr
Counts
4 → 84
Calls
4 calls:
195.0ms
(/ (* 100.0 (- (pow (+ 1.0 (/ i n)) n) 1.0)) i)
578.0ms
(* (/ (* 100.0 (- (pow (+ 1.0 (/ i n)) n) 1.0)) i) n)
237.0ms
(- (pow (+ 1.0 (/ i n)) n) 1.0)
19.0ms
(pow (+ 1.0 (/ i n)) n)

series1.4s

Counts
4 → 12
Calls
4 calls:
224.0ms
(/ (* 100.0 (- (pow (+ 1.0 (/ i n)) n) 1.0)) i)
510.0ms
(* (/ (* 100.0 (- (pow (+ 1.0 (/ i n)) n) 1.0)) i) n)
354.0ms
(- (pow (+ 1.0 (/ i n)) n) 1.0)
332.0ms
(pow (+ 1.0 (/ i n)) n)

simplify870.0ms

Counts
96 → 96

prune298.0ms

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 5.8b

regimes279.0ms

Accuracy

51.3% (13.8b remaining)

Error of 19.8b against oracle of 6.0b and baseline of 34.4b

bsearch1.0s

Steps
ItersRangePoint
0
7.857795920559385e+300
8.116652931802842e+300
7.987224426181113e+300
9
4.498258480726709e+274
1.4361305266277249e+280
1.3793055657207185e+276
4
6.2638037960467746e+212
1.0065790174110873e+213
6.730961542171691e+212
7
8.491941222279708e+173
2.880405133067897e+175
1.839157578225845e+175
5
4.541199429881381e-34
1.3954144579548254e-33
1.3757652931152403e-33
8
5.940727622519272e-81
3.4018009340320923e-78
6.016226308891131e-81
10
6.55299931127586e-112
5.709419135585046e-101
5.658601216877152e-101
8
-2.042705957616772
-5.856601004014429e-05
-0.004925238971644983

simplify2.1s

end0.0ms

sample7.3s

Algorithm
intervals
Results
2.7s2409×body1280valid
2.4s990×body2560valid
1.1s1615×body640valid
212.0ms876×body320valid
196.0ms3103×body80valid
132.0ms2274×body80nan
102.0ms447×body160valid
38.0ms9×body5120valid