Details

Time bar (total: 1.0m)

sample249.0ms

Algorithm
intervals
Results
87.0ms80×body1280valid
82.0ms34×body2560valid
20.0ms40×body640valid
14.0ms28×body320valid
7.0ms88×body80valid
4.0ms57×body80nan
4.0ms19×body160valid

simplify8.1s

Counts
1 → 1
Iterations
IterNodes
done5003
63444
5877
4318
3139
260
125
010

prune20.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 41.8b

localize142.0ms

Local error

Found 4 expressions with local error:

0.1b
(* 100.0 (/ (- (pow (+ 1.0 (/ i n)) n) 1.0) (/ i n)))
1.7b
(- (pow (+ 1.0 (/ i n)) n) 1.0)
6.1b
(pow (+ 1.0 (/ i n)) n)
11.4b
(/ (- (pow (+ 1.0 (/ i n)) n) 1.0) (/ i n))

rewrite2.8s

Algorithm
rewrite-expression-head
Rules
320×times-frac
305×add-sqr-sqrt
222×*-un-lft-identity
156×add-cube-cbrt
96×associate-*r*
84×difference-of-squares
48×unpow-prod-down
33×sqr-pow
28×distribute-lft-out--
24×prod-diff
19×add-exp-log
18×add-cbrt-cube
17×div-inv
13×associate-/r*
8×fma-neg
7×pow1 associate-/l*
6×cbrt-undiv div-exp add-log-exp
5×distribute-lft-out
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×pow-unpow associate-*l* prod-exp cbrt-unprod unswap-sqr
2×flip3-- associate-/r/ flip-- associate-/l/
1×pow-to-exp clear-num sub-neg pow-pow frac-2neg diff-log div-sub pow-prod-down pow-exp associate-*r/ *-commutative
Counts
4 → 325
Calls
4 calls:
1.0s
(* 100.0 (/ (- (pow (+ 1.0 (/ i n)) n) 1.0) (/ i n)))
604.0ms
(- (pow (+ 1.0 (/ i n)) n) 1.0)
72.0ms
(pow (+ 1.0 (/ i n)) n)
1.1s
(/ (- (pow (+ 1.0 (/ i n)) n) 1.0) (/ i n))

series2.8s

Counts
4 → 12
Calls
4 calls:
924.0ms
(* 100.0 (/ (- (pow (+ 1.0 (/ i n)) n) 1.0) (/ i n)))
559.0ms
(- (pow (+ 1.0 (/ i n)) n) 1.0)
423.0ms
(pow (+ 1.0 (/ i n)) n)
909.0ms
(/ (- (pow (+ 1.0 (/ i n)) n) 1.0) (/ i n))

simplify4.3s

Counts
337 → 337
Iterations
IterNodes
done5000
11493
0483

prune3.9s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 19.6b

localize112.0ms

Local error

Found 4 expressions with local error:

1.7b
(log (exp (- (pow (+ 1.0 (/ i n)) n) 1.0)))
1.7b
(- (pow (+ 1.0 (/ i n)) n) 1.0)
6.1b
(pow (+ 1.0 (/ i n)) n)
11.4b
(/ (log (exp (- (pow (+ 1.0 (/ i n)) n) 1.0))) (/ i n))

rewrite3.9s

Algorithm
rewrite-expression-head
Rules
251×times-frac
230×add-sqr-sqrt
198×*-un-lft-identity
150×add-cube-cbrt
120×log-pow
105×exp-prod
48×unpow-prod-down prod-diff difference-of-squares
29×log-prod
26×exp-sum
24×sqr-pow
20×pow1
16×distribute-lft-out--
13×associate-/r* div-inv
11×associate-/l*
10×add-exp-log
9×add-cbrt-cube
8×fma-neg distribute-lft-out
6×add-log-exp
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×cbrt-undiv pow-unpow div-exp
2×log-div sub-neg exp-diff
1×pow-to-exp clear-num pow-pow frac-2neg flip3-- diff-log div-sub rem-log-exp pow-exp associate-/r/ flip--
Counts
4 → 307
Calls
4 calls:
824.0ms
(log (exp (- (pow (+ 1.0 (/ i n)) n) 1.0)))
464.0ms
(- (pow (+ 1.0 (/ i n)) n) 1.0)
50.0ms
(pow (+ 1.0 (/ i n)) n)
2.5s
(/ (log (exp (- (pow (+ 1.0 (/ i n)) n) 1.0))) (/ i n))

series2.1s

Counts
4 → 12
Calls
4 calls:
473.0ms
(log (exp (- (pow (+ 1.0 (/ i n)) n) 1.0)))
496.0ms
(- (pow (+ 1.0 (/ i n)) n) 1.0)
427.0ms
(pow (+ 1.0 (/ i n)) n)
743.0ms
(/ (log (exp (- (pow (+ 1.0 (/ i n)) n) 1.0))) (/ i n))

simplify7.0s

Counts
319 → 319
Iterations
IterNodes
done5001
23849
11321
0522

prune3.1s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 19.5b

localize298.0ms

Local error

Found 4 expressions with local error:

6.1b
(pow (+ 1.0 (/ i n)) n)
17.2b
(cbrt (/ i n))
17.2b
(cbrt (/ i n))
17.2b
(cbrt (/ i n))

rewrite72.0ms

Algorithm
rewrite-expression-head
Rules
39×cbrt-prod
29×*-un-lft-identity
27×add-sqr-sqrt times-frac add-cube-cbrt
5×pow1 add-exp-log
4×expm1-log1p-u unpow-prod-down add-cbrt-cube insert-posit16 log1p-expm1-u add-log-exp
3×pow-unpow cbrt-div pow1/3 div-inv
1×pow-to-exp pow-pow pow-exp distribute-lft-out sqr-pow
Counts
4 → 96
Calls
4 calls:
39.0ms
(pow (+ 1.0 (/ i n)) n)
10.0ms
(cbrt (/ i n))
6.0ms
(cbrt (/ i n))
6.0ms
(cbrt (/ i n))

series725.0ms

Counts
4 → 12
Calls
4 calls:
340.0ms
(pow (+ 1.0 (/ i n)) n)
125.0ms
(cbrt (/ i n))
134.0ms
(cbrt (/ i n))
127.0ms
(cbrt (/ i n))

simplify5.7s

Counts
108 → 108
Iterations
IterNodes
done5005
43685
31023
2414
1212
0117

prune1.4s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 19.5b

localize352.0ms

Local error

Found 4 expressions with local error:

17.2b
(cbrt (/ i n))
17.2b
(cbrt (/ i n))
17.2b
(cbrt (/ i n))
17.2b
(cbrt (/ i n))

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
52×cbrt-prod
36×times-frac
32×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u pow1 cbrt-div add-cbrt-cube pow1/3 add-exp-log insert-posit16 log1p-expm1-u div-inv add-log-exp
Counts
4 → 100
Calls
4 calls:
6.0ms
(cbrt (/ i n))
6.0ms
(cbrt (/ i n))
6.0ms
(cbrt (/ i n))
6.0ms
(cbrt (/ i n))

series434.0ms

Counts
4 → 12
Calls
4 calls:
108.0ms
(cbrt (/ i n))
108.0ms
(cbrt (/ i n))
109.0ms
(cbrt (/ i n))
108.0ms
(cbrt (/ i n))

simplify5.2s

Counts
112 → 112
Iterations
IterNodes
done5001
53511
41238
3436
2192
1115
079

prune1.2s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 19.5b

regimes405.0ms

Accuracy

50.7% (10.6b remaining)

Error of 32.5b against oracle of 21.8b and baseline of 43.4b

bsearch551.0ms

Steps
ItersRangePoint
11
7.945801709345076e-185
1.988988581640589e-154
7.680781589380277e-180
11
-3.4461486957845398e-239
-1.7934479232057028e-258
-1.8097259091280393e-258
8
-1763.0658270955876
-0.28008678268591264
-1.999963205744506
4
-1.5125315820373007e+85
-8.927875500473959e+84
-1.260760569041402e+85

simplify37.0ms

Iterations
IterNodes
done66
166
052

end0.0ms

sample7.4s

Algorithm
intervals
Results
2.9s2486×body1280valid
2.3s993×body2560valid
890.0ms1615×body640valid
304.0ms3065×body80valid
269.0ms842×body320valid
149.0ms2210×body80nan
133.0ms449×body160valid
25.0ms7×body5120valid