Details

Time bar (total: 28.6s)

sample232.0ms

Algorithm
intervals
Results
105.0ms87×body1280valid
55.0ms22×body2560valid
21.0ms37×body640valid
12.0ms33×body320valid
11.0ms106×body80valid
7.0ms83×body80nan
4.0ms13×body160valid
4.0ms1×body5120valid

simplify3.2s

Counts
1 → 1

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 40.8b

localize25.0ms

Local error

Found 4 expressions with local error:

8.9b
(/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))
6.4b
(pow (+ 1 (/ i n)) n)
1.2b
(- (pow (+ 1 (/ i n)) n) 1)
0.0b
(* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)))

rewrite580.0ms

Algorithm
rewrite-expression-head
Rules
584×times-frac
485×add-sqr-sqrt
366×*-un-lft-identity
224×add-cube-cbrt
174×associate-*r*
168×difference-of-squares
88×unpow-prod-down
85×sqr-pow
84×difference-of-sqr-1
29×div-inv
28×distribute-lft-out--
19×add-exp-log
18×add-cbrt-cube
13×associate-/r* associate-/l*
7×pow1
6×cbrt-undiv div-exp add-log-exp
4×insert-posit16
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 distribute-lft-out
Counts
4 → 453
Calls
4 calls:
Slowest
251.0ms
(/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))
199.0ms
(* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)))
87.0ms
(- (pow (+ 1 (/ i n)) n) 1)
18.0ms
(pow (+ 1 (/ i n)) n)

series1.3s

Counts
4 → 12
Calls
4 calls:
Slowest
374.0ms
(/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))
364.0ms
(* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)))
269.0ms
(- (pow (+ 1 (/ i n)) n) 1)
248.0ms
(pow (+ 1 (/ i n)) n)

simplify656.0ms

Counts
465 → 465

prune3.4s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 19.7b

localize17.0ms

Local error

Found 4 expressions with local error:

8.9b
(/ (* 100 (- (pow (+ 1 (/ i n)) n) 1)) (/ i n))
6.4b
(pow (+ 1 (/ i n)) n)
1.2b
(- (pow (+ 1 (/ i n)) n) 1)
0.0b
(* 100 (- (pow (+ 1 (/ i n)) n) 1))

rewrite293.0ms

Algorithm
rewrite-expression-head
Rules
42×add-sqr-sqrt
34×*-un-lft-identity
31×times-frac
22×add-cube-cbrt
19×add-exp-log
18×add-cbrt-cube
13×associate-/r* associate-*r*
12×difference-of-squares
10×unpow-prod-down
7×pow1 sqr-pow
6×cbrt-undiv difference-of-sqr-1 div-exp add-log-exp
4×associate-*r/ insert-posit16
3×pow-unpow sub-neg flip3-- associate-*l* prod-exp cbrt-unprod div-inv flip--
2×distribute-rgt-in distribute-lft-in distribute-lft-out-- associate-/l/
1×pow-to-exp clear-num pow-pow frac-2neg diff-log pow-prod-down pow-exp associate-/r/ *-commutative distribute-lft-out associate-/l* unswap-sqr
Counts
4 → 126
Calls
4 calls:
Slowest
140.0ms
(* 100 (- (pow (+ 1 (/ i n)) n) 1))
72.0ms
(/ (* 100 (- (pow (+ 1 (/ i n)) n) 1)) (/ i n))
71.0ms
(- (pow (+ 1 (/ i n)) n) 1)
8.0ms
(pow (+ 1 (/ i n)) n)

series1.0s

Counts
4 → 12
Calls
4 calls:
Slowest
318.0ms
(/ (* 100 (- (pow (+ 1 (/ i n)) n) 1)) (/ i n))
245.0ms
(* 100 (- (pow (+ 1 (/ i n)) n) 1))
233.0ms
(- (pow (+ 1 (/ i n)) n) 1)
218.0ms
(pow (+ 1 (/ i n)) n)

simplify671.0ms

Counts
138 → 138

prune856.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 19.7b

localize23.0ms

Local error

Found 4 expressions with local error:

16.4b
(/ (+ (+ (* (* i i) 1/2) (* 1/6 (* i (* i i)))) i) (/ i n))
5.0b
(+ (* (* i i) 1/2) (* 1/6 (* i (* i i))))
0.4b
(* (* i i) 1/2)
0.1b
(* 1/6 (* i (* i i)))

rewrite215.0ms

Algorithm
rewrite-expression-head
Rules
97×times-frac
83×*-un-lft-identity
56×add-sqr-sqrt
55×add-cube-cbrt
23×add-cbrt-cube add-exp-log
18×pow1
14×distribute-lft-out
13×associate-/r*
9×pow-prod-down prod-exp cbrt-unprod
6×div-inv add-log-exp
4×associate-*r* associate-*l* insert-posit16 associate-/l*
3×cbrt-undiv div-exp
2×flip3-+ *-commutative flip-+ associate-/l/
1×+-commutative clear-num sum-log frac-2neg associate-/r/ unswap-sqr
Counts
4 → 141
Calls
4 calls:
Slowest
149.0ms
(/ (+ (+ (* (* i i) 1/2) (* 1/6 (* i (* i i)))) i) (/ i n))
32.0ms
(* 1/6 (* i (* i i)))
17.0ms
(+ (* (* i i) 1/2) (* 1/6 (* i (* i i))))
14.0ms
(* (* i i) 1/2)

series245.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
103.0ms
(+ (* (* i i) 1/2) (* 1/6 (* i (* i i))))
72.0ms
(/ (+ (+ (* (* i i) 1/2) (* 1/6 (* i (* i i)))) i) (/ i n))
42.0ms
(* 1/6 (* i (* i i)))
28.0ms
(* (* i i) 1/2)

simplify632.0ms

Counts
153 → 153

prune1.3s

Pruning

17 alts after pruning (16 fresh and 1 done)

Merged error: 10.2b

localize43.0ms

Local error

Found 4 expressions with local error:

5.0b
(+ (* (* i i) 1/2) (* 1/6 (* i (* i i))))
4.6b
(/ (+ (+ (* (* i i) 1/2) (* 1/6 (* i (* i i)))) i) i)
1.7b
(* (/ (+ (+ (* (* i i) 1/2) (* 1/6 (* i (* i i)))) i) i) n)
0.4b
(* (* i i) 1/2)

rewrite392.0ms

Algorithm
rewrite-expression-head
Rules
37×*-un-lft-identity
29×add-sqr-sqrt
25×times-frac
23×add-cube-cbrt
17×associate-*l*
16×add-cbrt-cube add-exp-log
11×pow1
7×distribute-lft-out
6×associate-*r* add-log-exp
5×prod-exp cbrt-unprod
4×pow-prod-down insert-posit16 associate-/l*
3×associate-/r* unswap-sqr
2×cbrt-undiv flip3-+ div-exp *-commutative flip-+ div-inv associate-/l/
1×+-commutative clear-num sum-log frac-2neg associate-*l/
Counts
4 → 102
Calls
4 calls:
Slowest
200.0ms
(* (/ (+ (+ (* (* i i) 1/2) (* 1/6 (* i (* i i)))) i) i) n)
159.0ms
(/ (+ (+ (* (* i i) 1/2) (* 1/6 (* i (* i i)))) i) i)
19.0ms
(+ (* (* i i) 1/2) (* 1/6 (* i (* i i))))
13.0ms
(* (* i i) 1/2)

series294.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
111.0ms
(+ (* (* i i) 1/2) (* 1/6 (* i (* i i))))
90.0ms
(* (/ (+ (+ (* (* i i) 1/2) (* 1/6 (* i (* i i)))) i) i) n)
62.0ms
(/ (+ (+ (* (* i i) 1/2) (* 1/6 (* i (* i i)))) i) i)
31.0ms
(* (* i i) 1/2)

simplify2.5s

Counts
114 → 114

prune1.2s

Pruning

18 alts after pruning (17 fresh and 1 done)

Merged error: 10.2b

regimes301.0ms

Accuracy

49.6% (11.3b remaining)

Error of 22.2b against oracle of 10.9b and baseline of 33.3b

bsearch405.0ms

end0.0ms

sample8.8s

Algorithm
intervals
Results
3.1s2502×body1280valid
2.8s1006×body2560valid
1.1s1610×body640valid
702.0ms848×body320valid
383.0ms3121×body80valid
256.0ms2301×body80nan
119.0ms410×body160valid
31.0ms7×body5120valid