Details

Time bar (total: 30.3s)

sample73.0ms

Algorithm
intervals
Results
38.0ms376×body80valid
18.0ms129×body80nan

simplify1.2s

Counts
1 → 1
Iterations
IterNodes
62068
5649
4212
394
250
124
012

prune20.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.9b

localize39.0ms

Local error

Found 2 expressions with local error:

0.0b
(* (pow k m) a)
0.9b
(/ (* (pow k m) a) (fma k (+ k 10) 1))

rewrite32.0ms

Algorithm
rewrite-expression-head
Rules
17×add-exp-log
12×add-sqr-sqrt
9×add-cbrt-cube
7×*-un-lft-identity associate-*l* add-cube-cbrt
6×prod-exp
4×unpow-prod-down div-exp
3×associate-/r* times-frac associate-*r* unswap-sqr
2×expm1-log1p-u pow-to-exp pow1 cbrt-undiv pow-exp cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp sqr-pow
1×clear-num frac-2neg *-commutative div-inv associate-/l*
Counts
2 → 54
Calls
2 calls:
10.0ms
(* (pow k m) a)
21.0ms
(/ (* (pow k m) a) (fma k (+ k 10) 1))

series292.0ms

Counts
2 → 6
Calls
2 calls:
163.0ms
(* (pow k m) a)
128.0ms
(/ (* (pow k m) a) (fma k (+ k 10) 1))

simplify2.9s

Counts
60 → 60
Iterations
IterNodes
35236
21038
1310
0129

prune750.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize40.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt k)
0.6b
(cbrt k)
0.6b
(cbrt k)
0.9b
(/ (* (pow (* (cbrt k) (cbrt k)) m) (* (pow (cbrt k) m) a)) (fma k (+ k 10) 1))

rewrite51.0ms

Algorithm
rewrite-expression-head
Rules
62×add-exp-log
32×prod-exp
17×div-exp
13×add-cbrt-cube
12×pow-exp
9×cbrt-prod add-sqr-sqrt *-un-lft-identity add-cube-cbrt
8×pow-to-exp
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u add-log-exp
3×cbrt-undiv associate-/r* times-frac pow1/3 cbrt-unprod
1×clear-num frac-2neg div-inv associate-/l*
Counts
4 → 82
Calls
4 calls:
1.0ms
(cbrt k)
1.0ms
(cbrt k)
1.0ms
(cbrt k)
45.0ms
(/ (* (pow (* (cbrt k) (cbrt k)) m) (* (pow (cbrt k) m) a)) (fma k (+ k 10) 1))

series1.4s

Counts
4 → 12
Calls
4 calls:
268.0ms
(cbrt k)
359.0ms
(cbrt k)
267.0ms
(cbrt k)
463.0ms
(/ (* (pow (* (cbrt k) (cbrt k)) m) (* (pow (cbrt k) m) a)) (fma k (+ k 10) 1))

simplify5.6s

Counts
94 → 94
Iterations
IterNodes
311327
21707
1448
0165

prune1.4s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize41.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt k)
0.6b
(cbrt k)
0.6b
(cbrt k)
0.9b
(/ (* (pow (cbrt k) m) (* a (pow (* (cbrt k) (cbrt k)) m))) (fma k (+ k 10) 1))

rewrite48.0ms

Algorithm
rewrite-expression-head
Rules
58×add-exp-log
30×prod-exp
16×div-exp
13×add-cbrt-cube
11×pow-exp
9×cbrt-prod add-sqr-sqrt *-un-lft-identity add-cube-cbrt
8×pow-to-exp
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u add-log-exp
3×cbrt-undiv associate-/r* times-frac pow1/3 cbrt-unprod
1×clear-num frac-2neg div-inv associate-/l*
Counts
4 → 81
Calls
4 calls:
1.0ms
(cbrt k)
1.0ms
(cbrt k)
1.0ms
(cbrt k)
45.0ms
(/ (* (pow (cbrt k) m) (* a (pow (* (cbrt k) (cbrt k)) m))) (fma k (+ k 10) 1))

series1.3s

Counts
4 → 12
Calls
4 calls:
268.0ms
(cbrt k)
297.0ms
(cbrt k)
282.0ms
(cbrt k)
483.0ms
(/ (* (pow (cbrt k) m) (* a (pow (* (cbrt k) (cbrt k)) m))) (fma k (+ k 10) 1))

simplify5.6s

Counts
93 → 93
Iterations
IterNodes
310554
21723
1448
0164

prune1.4s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize37.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt k)
0.6b
(cbrt k)
0.6b
(cbrt k)
0.9b
(* (* (pow (cbrt k) m) (* a (pow (* (cbrt k) (cbrt k)) m))) (/ 1 (fma k (+ k 10) 1)))

rewrite134.0ms

Algorithm
rewrite-expression-head
Rules
236×add-exp-log
184×prod-exp
44×pow-exp
32×pow-to-exp div-exp
25×add-cbrt-cube
16×rec-exp 1-exp
14×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
13×associate-*r*
12×cbrt-unprod
9×cbrt-prod times-frac
6×pow1
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×cbrt-undiv pow1/3
1×associate-*l* pow-prod-down associate-*r/ un-div-inv *-commutative div-inv
Counts
4 → 140
Calls
4 calls:
1.0ms
(cbrt k)
3.0ms
(cbrt k)
1.0ms
(cbrt k)
123.0ms
(* (* (pow (cbrt k) m) (* a (pow (* (cbrt k) (cbrt k)) m))) (/ 1 (fma k (+ k 10) 1)))

series1.4s

Counts
4 → 12
Calls
4 calls:
326.0ms
(cbrt k)
296.0ms
(cbrt k)
292.0ms
(cbrt k)
471.0ms
(* (* (pow (cbrt k) m) (* a (pow (* (cbrt k) (cbrt k)) m))) (/ 1 (fma k (+ k 10) 1)))

simplify891.0ms

Counts
152 → 152
Iterations
IterNodes
22073
1598
0219

prune2.4s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

regimes224.0ms

Accuracy

0% (2.2b remaining)

Error of 2.3b against oracle of 0.0b and baseline of 2.3b

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
217
117
014

end0.0ms

sample3.0s

Algorithm
intervals
Results
1.6s11978×body80valid
909.0ms4220×body80nan