Details

Time bar (total: 34.5s)

sample323.0ms

Algorithm
intervals
Results
122.0ms40×body2560valid
97.0ms76×body1280valid
51.0ms53×body640valid
11.0ms91×body80valid
11.0ms22×body320valid
8.0ms74×body80nan
3.0ms12×body160valid

simplify5.6s

Counts
1 → 1
Iterations
IterNodes
67344
51457
4432
3152
257
126
010

prune11.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 43.6b

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ 1 (/ i n))
1.0b
(fma (pow (+ 1 (/ i n)) n) 100 -100)
6.0b
(pow (+ 1 (/ i n)) n)
13.1b
(/ (fma (pow (+ 1 (/ i n)) n) 100 -100) (/ i n))

rewrite41.0ms

Algorithm
rewrite-expression-head
Rules
75×times-frac
53×*-un-lft-identity
49×add-sqr-sqrt add-cube-cbrt
13×associate-/r*
10×add-exp-log
9×add-cbrt-cube
6×add-log-exp
5×pow1 div-inv
4×expm1-log1p-u unpow-prod-down insert-posit16 log1p-expm1-u
3×cbrt-undiv pow-unpow fma-def div-exp associate-/l*
2×distribute-lft-out
1×pow-to-exp +-commutative clear-num sum-log pow-pow frac-2neg flip3-+ pow-exp associate-/r/ flip-+ fma-udef sqr-pow
Counts
4 → 123
Calls
4 calls:
8.0ms
(+ 1 (/ i n))
0.0ms
(fma (pow (+ 1 (/ i n)) n) 100 -100)
18.0ms
(pow (+ 1 (/ i n)) n)
13.0ms
(/ (fma (pow (+ 1 (/ i n)) n) 100 -100) (/ i n))

series1.1s

Counts
4 → 12
Calls
4 calls:
14.0ms
(+ 1 (/ i n))
326.0ms
(fma (pow (+ 1 (/ i n)) n) 100 -100)
327.0ms
(pow (+ 1 (/ i n)) n)
461.0ms
(/ (fma (pow (+ 1 (/ i n)) n) 100 -100) (/ i n))

simplify4.9s

Counts
135 → 135
Iterations
IterNodes
35325
21715
1571
0241

prune1.3s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 19.0b

localize27.0ms

Local error

Found 4 expressions with local error:

3.2b
(fma (exp (* n (log1p (/ i n)))) 100 -100)
5.4b
(log1p (/ i n))
13.1b
(/ (fma (exp (* n (log1p (/ i n)))) 100 -100) (/ i n))
13.2b
(* n (log1p (/ i n)))

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
75×times-frac
50×add-sqr-sqrt
48×*-un-lft-identity add-cube-cbrt
13×associate-/r*
11×add-cbrt-cube add-exp-log
6×pow1
5×expm1-log1p-u div-inv
4×insert-posit16 log1p-expm1-u add-log-exp
3×cbrt-undiv div-exp associate-*r* associate-*l* associate-/l*
1×log1p-udef clear-num frac-2neg pow-prod-down prod-exp log1p-expm1 associate-/r/ *-commutative cbrt-unprod fma-udef unswap-sqr
Counts
4 → 117
Calls
4 calls:
0.0ms
(fma (exp (* n (log1p (/ i n)))) 100 -100)
0.0ms
(log1p (/ i n))
6.0ms
(/ (fma (exp (* n (log1p (/ i n)))) 100 -100) (/ i n))
6.0ms
(* n (log1p (/ i n)))

series979.0ms

Counts
4 → 12
Calls
4 calls:
338.0ms
(fma (exp (* n (log1p (/ i n)))) 100 -100)
81.0ms
(log1p (/ i n))
471.0ms
(/ (fma (exp (* n (log1p (/ i n)))) 100 -100) (/ i n))
89.0ms
(* n (log1p (/ i n)))

simplify898.0ms

Counts
129 → 129
Iterations
IterNodes
22019
1619
0257

prune1.3s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 16.7b

localize51.0ms

Local error

Found 4 expressions with local error:

5.4b
(log1p (/ i n))
13.1b
(/ (fma (exp (* n (posit16->real (real->posit16 (log1p (/ i n)))))) 100 -100) (/ i n))
13.2b
(* n (posit16->real (real->posit16 (log1p (/ i n)))))
41.3b
(posit16->real (real->posit16 (log1p (/ i n))))

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
75×times-frac
50×add-sqr-sqrt
48×*-un-lft-identity add-cube-cbrt
13×associate-/r*
11×add-cbrt-cube add-exp-log
6×pow1
5×expm1-log1p-u div-inv
4×insert-posit16 log1p-expm1-u add-log-exp
3×cbrt-undiv div-exp associate-*r* associate-*l* associate-/l*
1×log1p-udef clear-num frac-2neg pow-prod-down prod-exp log1p-expm1 associate-/r/ *-commutative cbrt-unprod remove-posit16 unswap-sqr
Counts
4 → 117
Calls
4 calls:
0.0ms
(log1p (/ i n))
6.0ms
(/ (fma (exp (* n (posit16->real (real->posit16 (log1p (/ i n)))))) 100 -100) (/ i n))
7.0ms
(* n (posit16->real (real->posit16 (log1p (/ i n)))))
1.0ms
(posit16->real (real->posit16 (log1p (/ i n))))

series684.0ms

Counts
4 → 12
Calls
4 calls:
69.0ms
(log1p (/ i n))
450.0ms
(/ (fma (exp (* n (posit16->real (real->posit16 (log1p (/ i n)))))) 100 -100) (/ i n))
103.0ms
(* n (posit16->real (real->posit16 (log1p (/ i n)))))
62.0ms
(posit16->real (real->posit16 (log1p (/ i n))))

simplify1.2s

Counts
129 → 129
Iterations
IterNodes
33427
21221
1465
0211

prune2.1s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 16.7b

localize42.0ms

Local error

Found 4 expressions with local error:

5.4b
(log1p (/ i n))
13.2b
(* n (posit16->real (real->posit16 (log1p (/ i n)))))
14.4b
(* (fma (exp (* n (posit16->real (real->posit16 (log1p (/ i n)))))) 100 -100) (/ n i))
41.3b
(posit16->real (real->posit16 (log1p (/ i n))))

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
21×add-sqr-sqrt
16×associate-*r*
14×*-un-lft-identity add-cube-cbrt
11×add-cbrt-cube add-exp-log
10×times-frac
8×pow1
6×associate-*l*
5×expm1-log1p-u
4×insert-posit16 log1p-expm1-u add-log-exp
3×prod-exp cbrt-unprod unswap-sqr
2×pow-prod-down *-commutative
1×cbrt-undiv log1p-udef div-exp log1p-expm1 associate-*r/ div-inv remove-posit16
Counts
4 → 79
Calls
4 calls:
0.0ms
(log1p (/ i n))
6.0ms
(* n (posit16->real (real->posit16 (log1p (/ i n)))))
9.0ms
(* (fma (exp (* n (posit16->real (real->posit16 (log1p (/ i n)))))) 100 -100) (/ n i))
0.0ms
(posit16->real (real->posit16 (log1p (/ i n))))

series619.0ms

Counts
4 → 12
Calls
4 calls:
78.0ms
(log1p (/ i n))
76.0ms
(* n (posit16->real (real->posit16 (log1p (/ i n)))))
401.0ms
(* (fma (exp (* n (posit16->real (real->posit16 (log1p (/ i n)))))) 100 -100) (/ n i))
63.0ms
(posit16->real (real->posit16 (log1p (/ i n))))

simplify1.1s

Counts
91 → 91
Iterations
IterNodes
32998
2847
1279
0135

prune1.4s

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 16.7b

regimes237.0ms

Accuracy

46.2% (12.7b remaining)

Error of 26.6b against oracle of 13.9b and baseline of 37.5b

bsearch1.3s

Steps
ItersRangePoint
8
1.0397286777765641e+262
3.0121412861985764e+265
2.4667133503465437e+265
6
7.346567670792706e+211
6.440186056663223e+212
6.023686335920959e+212
11
1.4748909779041237
1.2739090897902979e+25
1.4951161488388485
10
-1.6659712673405804e-287
-7.121156334981362e-300
-2.4975427968587587e-298
8
-6.5598237118532614e-189
-1.3602511013677687e-191
-1.3724256626812409e-191
8
-0.0045708168411183105
-5.066733490173229e-07
-8.64473136240284e-06

simplify41.0ms

Iterations
IterNodes
2111
1111
081

end0.0ms

sample9.1s

Algorithm
intervals
Results
3.4s999×body2560valid
3.1s2393×body1280valid
1.1s1595×body640valid
391.0ms3078×body80valid
380.0ms892×body320valid
320.0ms2350×body80nan
161.0ms441×body160valid
35.0ms7×body5120valid