Details

Time bar (total: 27.0s)

sample70.0ms

Algorithm
intervals
Results
33.0ms416×body80valid
11.0ms156×body80nan

simplify3.5s

Counts
1 → 1
Iterations

Useful iterations: 2 (13.0ms)

IterNodesCost
01215
12415
24813
39513
423913
571813
6274513
done500013

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 2.1b

localize17.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (+ (* k (+ 10.0 k)) 1.0) (pow k m))
0.0b
(* k (+ 10.0 k))
2.1b
(/ a (/ (+ (* k (+ 10.0 k)) 1.0) (pow k m)))

rewrite186.0ms

Algorithm
rewrite-expression-head
Rules
180×times-frac
105×add-sqr-sqrt *-un-lft-identity
103×add-cube-cbrt
48×unpow-prod-down
32×associate-/r*
20×add-exp-log
16×sqr-pow
12×add-cbrt-cube
10×div-exp
6×div-inv associate-/l*
5×pow1
4×cbrt-undiv associate-*r*
3×associate-*l* add-log-exp
2×pow-to-exp frac-2neg flip3-+ associate-*r/ pow-exp clear-num flip-+ associate-/l/
1×distribute-rgt-in distribute-lft-in pow-prod-down prod-exp associate-/r/ *-commutative cbrt-unprod distribute-lft-out unswap-sqr
Counts
3 → 190
Calls
3 calls:
73.0ms
(/ (+ (* k (+ 10.0 k)) 1.0) (pow k m))
47.0ms
(* k (+ 10.0 k))
54.0ms
(/ a (/ (+ (* k (+ 10.0 k)) 1.0) (pow k m)))

series358.0ms

Counts
3 → 9
Calls
3 calls:
101.0ms
(/ (+ (* k (+ 10.0 k)) 1.0) (pow k m))
75.0ms
(* k (+ 10.0 k))
182.0ms
(/ a (/ (+ (* k (+ 10.0 k)) 1.0) (pow k m)))

simplify2.1s

Counts
199 → 199
Iterations

Useful iterations: done (2.1s)

IterNodesCost
03664560
18404341
228514178
done50014148

prune1.3s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 2.1b

localize31.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ 1 (sqrt (+ (* k (+ 10.0 k)) 1.0)))
0.0b
(* (/ 1 (sqrt (+ (* k (+ 10.0 k)) 1.0))) (/ a (/ (sqrt (+ (* k (+ 10.0 k)) 1.0)) (pow k m))))
16.4b
(sqrt (+ (* k (+ 10.0 k)) 1.0))
16.4b
(sqrt (+ (* k (+ 10.0 k)) 1.0))

rewrite388.0ms

Algorithm
rewrite-expression-head
Rules
397×times-frac
315×add-sqr-sqrt
178×*-un-lft-identity
162×add-cube-cbrt
143×associate-*r*
121×sqrt-prod
77×add-exp-log
64×unpow-prod-down
40×div-exp unswap-sqr
28×sqr-pow
27×add-cbrt-cube
24×associate-*l*
20×prod-exp
10×pow1 cbrt-undiv
8×sqrt-div
6×rec-exp 1-exp associate-/r* cbrt-unprod div-inv
5×associate-/r/
4×pow-to-exp flip3-+ pow-exp flip-+ add-log-exp
3×pow-flip sqrt-pow1 pow1/2 associate-/l*
2×rem-sqrt-square
1×frac-times frac-2neg associate-*r/ pow-prod-down associate-*l/ clear-num *-commutative inv-pow
Counts
4 → 322
Calls
4 calls:
48.0ms
(/ 1 (sqrt (+ (* k (+ 10.0 k)) 1.0)))
281.0ms
(* (/ 1 (sqrt (+ (* k (+ 10.0 k)) 1.0))) (/ a (/ (sqrt (+ (* k (+ 10.0 k)) 1.0)) (pow k m))))
18.0ms
(sqrt (+ (* k (+ 10.0 k)) 1.0))
16.0ms
(sqrt (+ (* k (+ 10.0 k)) 1.0))

series417.0ms

Counts
4 → 12
Calls
4 calls:
88.0ms
(/ 1 (sqrt (+ (* k (+ 10.0 k)) 1.0)))
172.0ms
(* (/ 1 (sqrt (+ (* k (+ 10.0 k)) 1.0))) (/ a (/ (sqrt (+ (* k (+ 10.0 k)) 1.0)) (pow k m))))
83.0ms
(sqrt (+ (* k (+ 10.0 k)) 1.0))
73.0ms
(sqrt (+ (* k (+ 10.0 k)) 1.0))

simplify1.2s

Counts
334 → 334
Iterations

Useful iterations: done (1.2s)

IterNodesCost
054110061
115579041
done50007897

prune1.1s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 2.1b

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ a (/ (sqrt (+ (* k (+ 10.0 k)) 1.0)) (pow k m)))
0.0b
(/ (/ a (/ (sqrt (+ (* k (+ 10.0 k)) 1.0)) (pow k m))) (sqrt (+ (* k (+ 10.0 k)) 1.0)))
16.4b
(sqrt (+ (* k (+ 10.0 k)) 1.0))
16.4b
(sqrt (+ (* k (+ 10.0 k)) 1.0))

rewrite403.0ms

Algorithm
rewrite-expression-head
Rules
3012×times-frac
1347×add-sqr-sqrt
1345×add-cube-cbrt *-un-lft-identity
963×sqrt-prod
450×unpow-prod-down
150×sqr-pow
146×associate-/l*
52×associate-/r*
34×div-inv
30×add-exp-log
19×div-exp
18×add-cbrt-cube
10×associate-/r/
9×cbrt-undiv
6×pow1 sqrt-div
4×add-log-exp
3×flip3-+ flip-+
2×pow-to-exp rem-sqrt-square frac-2neg sqrt-pow1 pow1/2 pow-exp clear-num
1×associate-/l/
Counts
4 → 1262
Calls
4 calls:
57.0ms
(/ a (/ (sqrt (+ (* k (+ 10.0 k)) 1.0)) (pow k m)))
138.0ms
(/ (/ a (/ (sqrt (+ (* k (+ 10.0 k)) 1.0)) (pow k m))) (sqrt (+ (* k (+ 10.0 k)) 1.0)))
29.0ms
(sqrt (+ (* k (+ 10.0 k)) 1.0))
18.0ms
(sqrt (+ (* k (+ 10.0 k)) 1.0))

series535.0ms

Counts
4 → 12
Calls
4 calls:
243.0ms
(/ a (/ (sqrt (+ (* k (+ 10.0 k)) 1.0)) (pow k m)))
160.0ms
(/ (/ a (/ (sqrt (+ (* k (+ 10.0 k)) 1.0)) (pow k m))) (sqrt (+ (* k (+ 10.0 k)) 1.0)))
64.0ms
(sqrt (+ (* k (+ 10.0 k)) 1.0))
68.0ms
(sqrt (+ (* k (+ 10.0 k)) 1.0))

simplify3.5s

Counts
1274 → 1274
Iterations

Useful iterations: done (3.3s)

IterNodesCost
0150458068
1347952221
done500051582

prune4.6s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 2.1b

localize20.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt k)
0.6b
(cbrt k)
0.6b
(cbrt k)
2.1b
(/ a (/ (+ (* k (+ 10.0 k)) 1.0) (pow (cbrt k) m)))

rewrite60.0ms

Algorithm
rewrite-expression-head
Rules
222×times-frac
122×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
72×unpow-prod-down
45×cbrt-prod
34×associate-/r*
14×add-exp-log
12×sqr-pow
9×add-cbrt-cube
7×div-exp
5×div-inv
4×pow1 add-log-exp
3×cbrt-undiv pow1/3 associate-/l*
1×pow-to-exp frac-2neg pow-exp clear-num associate-/r/
Counts
4 → 189
Calls
4 calls:
1.0ms
(cbrt k)
1.0ms
(cbrt k)
1.0ms
(cbrt k)
46.0ms
(/ a (/ (+ (* k (+ 10.0 k)) 1.0) (pow (cbrt k) m)))

series1.1s

Counts
4 → 12
Calls
4 calls:
325.0ms
(cbrt k)
302.0ms
(cbrt k)
240.0ms
(cbrt k)
252.0ms
(/ a (/ (+ (* k (+ 10.0 k)) 1.0) (pow (cbrt k) m)))

simplify2.0s

Counts
201 → 201
Iterations

Useful iterations: done (2.0s)

IterNodesCost
03704821
18224540
227804385
done50004376

prune1.1s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 2.1b

regimes101.0ms

Accuracy

0% (0.1b remaining)

Error of 2.1b against oracle of 2.0b and baseline of 2.1b

bsearch0.0ms

simplify4.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01525
12125
done2125

end0.0ms

sample2.8s

Algorithm
intervals
Results
1.8s11904×body80valid
367.0ms4108×body80nan