Details

Time bar (total: 21.6s)

sample176.0ms

Algorithm
intervals
Results
70.0ms89×body1280valid
56.0ms26×body2560valid
17.0ms55×body640valid
6.0ms28×body320valid
5.0ms96×body80valid
3.0ms60×body80nan
2.0ms14×body160valid

simplify41.0ms

Counts
1 → 1

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 39.7b

localize34.0ms

Local error

Found 4 expressions with local error:

0.0b
(* 100.0 (/ (- (pow (+ 1.0 (/ i n)) n) 1.0) (/ i n)))
0.5b
(- (pow (+ 1.0 (/ i n)) n) 1.0)
6.6b
(pow (+ 1.0 (/ i n)) n)
9.2b
(/ (- (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:
583.0ms
(* 100.0 (/ (- (pow (+ 1.0 (/ i n)) n) 1.0) (/ i n)))
184.0ms
(- (pow (+ 1.0 (/ i n)) n) 1.0)
20.0ms
(pow (+ 1.0 (/ i n)) n)
441.0ms
(/ (- (pow (+ 1.0 (/ i n)) n) 1.0) (/ i n))

series1.5s

Counts
4 → 12
Calls
4 calls:
480.0ms
(* 100.0 (/ (- (pow (+ 1.0 (/ i n)) n) 1.0) (/ i n)))
269.0ms
(- (pow (+ 1.0 (/ i n)) n) 1.0)
283.0ms
(pow (+ 1.0 (/ i n)) n)
485.0ms
(/ (- (pow (+ 1.0 (/ i n)) n) 1.0) (/ i n))

simplify116.0ms

Counts
293 → 293

prune1.0s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 17.6b

localize20.0ms

Local error

Found 4 expressions with local error:

0.5b
(- (pow (+ 1.0 (/ i n)) n) 1.0)
6.6b
(pow (+ 1.0 (/ i n)) n)
6.6b
(pow (+ 1.0 (/ i n)) n)
6.6b
(pow (+ 1.0 (/ i n)) n)

rewrite294.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:
219.0ms
(- (pow (+ 1.0 (/ i n)) n) 1.0)
27.0ms
(pow (+ 1.0 (/ i n)) n)
25.0ms
(pow (+ 1.0 (/ i n)) n)
20.0ms
(pow (+ 1.0 (/ i n)) n)

series1.0s

Counts
4 → 12
Calls
4 calls:
282.0ms
(- (pow (+ 1.0 (/ i n)) n) 1.0)
291.0ms
(pow (+ 1.0 (/ i n)) n)
237.0ms
(pow (+ 1.0 (/ i n)) n)
230.0ms
(pow (+ 1.0 (/ i n)) n)

simplify123.0ms

Counts
82 → 82

prune353.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 17.6b

localize18.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt i)
0.6b
(cbrt i)
1.5b
(/ (- (pow (+ 1.0 (/ i n)) n) 1.0) (/ (cbrt i) n))
6.6b
(pow (+ 1.0 (/ i n)) n)

rewrite497.0ms

Algorithm
rewrite-expression-head
Rules
298×times-frac
250×add-sqr-sqrt
183×*-un-lft-identity
135×add-cube-cbrt
78×cbrt-prod
69×difference-of-squares
27×unpow-prod-down
24×sqr-pow
23×distribute-lft-out--
22×associate-/r*
10×add-exp-log
9×div-inv
8×add-cbrt-cube
7×associate-/l*
5×pow1
4×add-log-exp
3×cbrt-undiv pow-unpow div-exp
2×pow1/3 associate-/l/
1×pow-to-exp flip3-- pow-pow frac-2neg div-sub pow-exp clear-num associate-/r/ flip-- distribute-lft-out
Counts
4 → 241
Calls
4 calls:
1.0ms
(cbrt i)
1.0ms
(cbrt i)
441.0ms
(/ (- (pow (+ 1.0 (/ i n)) n) 1.0) (/ (cbrt i) n))
25.0ms
(pow (+ 1.0 (/ i n)) n)

series1.7s

Counts
4 → 12
Calls
4 calls:
257.0ms
(cbrt i)
269.0ms
(cbrt i)
868.0ms
(/ (- (pow (+ 1.0 (/ i n)) n) 1.0) (/ (cbrt i) n))
300.0ms
(pow (+ 1.0 (/ i n)) n)

simplify97.0ms

Counts
253 → 253

prune1.1s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 17.5b

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (- (pow (+ 1.0 (/ i n)) n) 1.0) (/ 1 n))
0.5b
(- (pow (+ 1.0 (/ i n)) n) 1.0)
0.5b
(* (/ 100.0 i) (/ (- (pow (+ 1.0 (/ i n)) n) 1.0) (/ 1 n)))
6.6b
(pow (+ 1.0 (/ i n)) n)

rewrite1.2s

Algorithm
rewrite-expression-head
Rules
340×times-frac
314×add-sqr-sqrt
206×*-un-lft-identity
146×add-cube-cbrt
96×associate-*r*
84×difference-of-squares
49×add-exp-log
32×unpow-prod-down
30×add-cbrt-cube
29×sqr-pow
28×distribute-lft-out--
23×div-exp
18×div-inv
13×associate-*l* associate-/r*
12×cbrt-undiv
10×prod-exp
8×unswap-sqr
7×pow1 associate-/l*
6×cbrt-unprod add-log-exp
3×rec-exp pow-unpow 1-exp
2×flip3-- associate-/r/ flip-- associate-/l/
1×frac-times pow-to-exp sub-neg pow-pow frac-2neg diff-log div-sub associate-*r/ pow-prod-down associate-*l/ pow-exp clear-num *-commutative distribute-lft-out
Counts
4 → 310
Calls
4 calls:
434.0ms
(/ (- (pow (+ 1.0 (/ i n)) n) 1.0) (/ 1 n))
227.0ms
(- (pow (+ 1.0 (/ i n)) n) 1.0)
503.0ms
(* (/ 100.0 i) (/ (- (pow (+ 1.0 (/ i n)) n) 1.0) (/ 1 n)))
28.0ms
(pow (+ 1.0 (/ i n)) n)

series1.5s

Counts
4 → 12
Calls
4 calls:
413.0ms
(/ (- (pow (+ 1.0 (/ i n)) n) 1.0) (/ 1 n))
344.0ms
(- (pow (+ 1.0 (/ i n)) n) 1.0)
499.0ms
(* (/ 100.0 i) (/ (- (pow (+ 1.0 (/ i n)) n) 1.0) (/ 1 n)))
246.0ms
(pow (+ 1.0 (/ i n)) n)

simplify61.0ms

Counts
322 → 322

prune1.2s

Pruning

10 alts after pruning (7 fresh and 3 done)

Merged error: 8.1b

regimes235.0ms

Accuracy

58.9% (10.3b remaining)

Error of 18.8b against oracle of 8.5b and baseline of 33.5b

bsearch247.0ms

Steps
ItersRangePoint
7
1.6732429293488382e-12
2.5492078154212987e-10
2.4832228255439634e-10
8
-36117.67537899041
-119.54622503529531
-120.57551431203223

simplify97.0ms

end0.0ms

sample7.7s

Algorithm
intervals
Results
2.6s2471×body1280valid
2.6s998×body2560valid
1.2s1651×body640valid
301.0ms873×body320valid
288.0ms3087×body80valid
121.0ms2243×body80nan
93.0ms415×body160valid
23.0ms6×body5120valid