Details

Time bar (total: 17.2s)

sample68.0ms

Algorithm
intervals
Results
26.0ms369×body80valid
8.0ms130×body80nan

simplify3.3s

Counts
1 → 1
Iterations

Useful iterations: 2 (7.0ms)

IterNodesCost
01215
12415
24813
39513
423913
571813
6274513
done500013

prune6.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 4.7b

localize9.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))
4.6b
(/ a (/ (+ (* k (+ 10.0 k)) 1.0) (pow k m)))

rewrite131.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:
60.0ms
(/ (+ (* k (+ 10.0 k)) 1.0) (pow k m))
22.0ms
(* k (+ 10.0 k))
29.0ms
(/ a (/ (+ (* k (+ 10.0 k)) 1.0) (pow k m)))

series331.0ms

Counts
3 → 9
Calls
3 calls:
100.0ms
(/ (+ (* k (+ 10.0 k)) 1.0) (pow k m))
57.0ms
(* k (+ 10.0 k))
173.0ms
(/ a (/ (+ (* k (+ 10.0 k)) 1.0) (pow k m)))

simplify2.0s

Counts
199 → 199
Iterations

Useful iterations: done (2.0s)

IterNodesCost
03664560
18404341
228514178
done50014148

prune902.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 4.4b

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b
(* k (+ 10.0 k))
0.1b
(/ 1 (+ (* k (+ 10.0 k)) 1.0))
0.2b
(* (pow k m) a)
4.5b
(* (/ 1 (+ (* k (+ 10.0 k)) 1.0)) (* (pow k m) a))

rewrite157.0ms

Algorithm
rewrite-expression-head
Rules
59×add-exp-log
32×prod-exp
31×add-sqr-sqrt
26×*-un-lft-identity
25×associate-*l*
24×add-cube-cbrt
22×add-cbrt-cube
18×times-frac
10×div-exp
9×pow1
8×associate-*r* cbrt-unprod
5×pow-to-exp rec-exp 1-exp pow-exp
4×unpow-prod-down associate-/r/ add-log-exp unswap-sqr
3×cbrt-undiv flip3-+ associate-/r* *-commutative flip-+ associate-/l*
2×associate-*r/ pow-prod-down div-inv sqr-pow
1×distribute-rgt-in pow-flip frac-2neg distribute-lft-in associate-*l/ clear-num distribute-lft-out inv-pow
Counts
4 → 127
Calls
4 calls:
20.0ms
(* k (+ 10.0 k))
23.0ms
(/ 1 (+ (* k (+ 10.0 k)) 1.0))
12.0ms
(* (pow k m) a)
97.0ms
(* (/ 1 (+ (* k (+ 10.0 k)) 1.0)) (* (pow k m) a))

series407.0ms

Counts
4 → 12
Calls
4 calls:
76.0ms
(* k (+ 10.0 k))
63.0ms
(/ 1 (+ (* k (+ 10.0 k)) 1.0))
106.0ms
(* (pow k m) a)
162.0ms
(* (/ 1 (+ (* k (+ 10.0 k)) 1.0)) (* (pow k m) a))

simplify1.6s

Counts
139 → 139
Iterations

Useful iterations: done (1.6s)

IterNodesCost
02312006
15971783
219141581
done50011539

prune706.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize26.0ms

Local error

Found 4 expressions with local error:

4.5b
(* (/ 1 (+ (* (* (cbrt (* k (+ 10.0 k))) (cbrt (* k (+ 10.0 k)))) (cbrt (* k (+ 10.0 k)))) 1.0)) (* (pow k m) a))
18.2b
(cbrt (* k (+ 10.0 k)))
18.2b
(cbrt (* k (+ 10.0 k)))
18.2b
(cbrt (* k (+ 10.0 k)))

rewrite372.0ms

Algorithm
rewrite-expression-head
Rules
48×add-exp-log
28×prod-exp
16×add-cbrt-cube
15×associate-*l*
11×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
9×times-frac
8×div-exp
6×pow1 cbrt-div associate-*r/ cbrt-unprod
4×pow-to-exp rec-exp flip3-+ 1-exp pow-exp flip-+ add-log-exp
3×cbrt-prod pow1/3
2×cbrt-undiv associate-/r/
1×associate-*r* pow-prod-down associate-*l/ *-commutative div-inv
Counts
4 → 79
Calls
4 calls:
319.0ms
(* (/ 1 (+ (* (* (cbrt (* k (+ 10.0 k))) (cbrt (* k (+ 10.0 k)))) (cbrt (* k (+ 10.0 k)))) 1.0)) (* (pow k m) a))
14.0ms
(cbrt (* k (+ 10.0 k)))
18.0ms
(cbrt (* k (+ 10.0 k)))
15.0ms
(cbrt (* k (+ 10.0 k)))

series627.0ms

Counts
4 → 12
Calls
4 calls:
197.0ms
(* (/ 1 (+ (* (* (cbrt (* k (+ 10.0 k))) (cbrt (* k (+ 10.0 k)))) (cbrt (* k (+ 10.0 k)))) 1.0)) (* (pow k m) a))
141.0ms
(cbrt (* k (+ 10.0 k)))
132.0ms
(cbrt (* k (+ 10.0 k)))
158.0ms
(cbrt (* k (+ 10.0 k)))

simplify1.4s

Counts
91 → 91
Iterations

Useful iterations: done (1.4s)

IterNodesCost
02072637
15552487
217081570
done50001298

prune412.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt k)
0.6b
(cbrt k)
17.4b
(sqrt (+ (* k (+ 10.0 k)) 1.0))
17.4b
(sqrt (+ (* k (+ 10.0 k)) 1.0))

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt
8×add-cube-cbrt *-un-lft-identity
6×pow1 cbrt-prod sqrt-prod
4×add-exp-log sqrt-div add-cbrt-cube add-log-exp
2×rem-sqrt-square sqrt-pow1 flip3-+ pow1/2 pow1/3 flip-+
Counts
4 → 52
Calls
4 calls:
1.0ms
(cbrt k)
1.0ms
(cbrt k)
20.0ms
(sqrt (+ (* k (+ 10.0 k)) 1.0))
16.0ms
(sqrt (+ (* k (+ 10.0 k)) 1.0))

series668.0ms

Counts
4 → 12
Calls
4 calls:
280.0ms
(cbrt k)
276.0ms
(cbrt k)
58.0ms
(sqrt (+ (* k (+ 10.0 k)) 1.0))
54.0ms
(sqrt (+ (* k (+ 10.0 k)) 1.0))

simplify1.9s

Counts
64 → 64
Iterations

Useful iterations: 3 (484.0ms)

IterNodesCost
079640
1178584
2485552
31611524
done5000524

prune398.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0.0b

regimes96.0ms

Accuracy

96.2% (0.1b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 2.1b

bsearch28.0ms

Steps
ItersRangePoint
4
9.68880584692305e+138
1.4961070689597945e+139
1.0976490709434325e+139

simplify5.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03352
14552
done4552

end0.0ms

sample1.5s

Algorithm
intervals
Results
644.0ms11967×body80valid
188.0ms4304×body80nan