Details

Time bar (total: 11.1s)

sample75.0ms

Algorithm
intervals
Results
34.0ms369×body80valid
10.0ms122×body80nan

simplify1.5s

Counts
1 → 1
Iterations

Useful iterations: 2 (7.0ms)

IterNodesCost
01215
12415
24813
39613
425613
5140813
done500013

prune7.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.8b

localize20.0ms

Local error

Found 4 expressions with local error:

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

rewrite95.0ms

Algorithm
rewrite-expression-head
Rules
19×add-exp-log
14×add-sqr-sqrt
11×add-cbrt-cube add-log-exp
9×add-cube-cbrt *-un-lft-identity
7×associate-*r*
6×prod-exp
4×pow1 unpow-prod-down div-exp sum-log
3×flip3-+ times-frac associate-*l* associate-/r* flip-+ unswap-sqr
2×cbrt-undiv +-commutative pow-to-exp pow-exp associate-/r/ cbrt-unprod sqr-pow
1×associate-+l+ frac-2neg clear-num *-commutative div-inv associate-/l*
Counts
4 → 74
Calls
4 calls:
10.0ms
(+ 1.0 (* 10.0 k))
13.0ms
(* a (pow k m))
22.0ms
(+ (+ 1.0 (* 10.0 k)) (* k k))
45.0ms
(/ (* a (pow k m)) (+ (+ 1.0 (* 10.0 k)) (* k k)))

series362.0ms

Counts
4 → 12
Calls
4 calls:
40.0ms
(+ 1.0 (* 10.0 k))
87.0ms
(* a (pow k m))
35.0ms
(+ (+ 1.0 (* 10.0 k)) (* k k))
199.0ms
(/ (* a (pow k m)) (+ (+ 1.0 (* 10.0 k)) (* k k)))

simplify1.1s

Counts
86 → 86
Iterations

Useful iterations: done (1.1s)

IterNodesCost
01711264
14781188
22327988
done5000984

prune288.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 1.8b

localize14.0ms

Local error

Found 3 expressions with local error:

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

rewrite91.0ms

Algorithm
rewrite-expression-head
Rules
48×add-sqr-sqrt
45×times-frac
38×*-un-lft-identity
36×add-cube-cbrt
31×associate-*r*
22×unpow-prod-down
20×add-exp-log
12×add-cbrt-cube
8×sqr-pow
7×pow1 associate-/l*
6×div-exp associate-*l*
5×prod-exp unswap-sqr
4×associate-/r/
3×flip3-+ associate-*r/ associate-/r* cbrt-unprod flip-+ add-log-exp
2×cbrt-undiv pow-to-exp pow-prod-down pow-exp *-commutative div-inv
1×distribute-rgt-in frac-2neg distribute-lft-in clear-num distribute-lft-out
Counts
3 → 120
Calls
3 calls:
27.0ms
(* k (+ 10.0 k))
13.0ms
(/ (pow k m) (+ 1.0 (* k (+ 10.0 k))))
46.0ms
(* a (/ (pow k m) (+ 1.0 (* k (+ 10.0 k)))))

series315.0ms

Counts
3 → 9
Calls
3 calls:
76.0ms
(* k (+ 10.0 k))
81.0ms
(/ (pow k m) (+ 1.0 (* k (+ 10.0 k))))
158.0ms
(* a (/ (pow k m) (+ 1.0 (* k (+ 10.0 k)))))

simplify1.8s

Counts
129 → 129
Iterations

Useful iterations: done (1.7s)

IterNodesCost
02402271
16532178
230802046
done50022040

prune539.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 1.8b

localize17.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* k (+ 10.0 k)) (* k (+ 10.0 k)))
0.2b
(/ (pow k m) (- (* 1.0 1.0) (* (* k (+ 10.0 k)) (* k (+ 10.0 k)))))
1.8b
(* a (* (/ (pow k m) (- (* 1.0 1.0) (* (* k (+ 10.0 k)) (* k (+ 10.0 k))))) (- 1.0 (* k (+ 10.0 k)))))
19.1b
(* (/ (pow k m) (- (* 1.0 1.0) (* (* k (+ 10.0 k)) (* k (+ 10.0 k))))) (- 1.0 (* k (+ 10.0 k))))

rewrite307.0ms

Algorithm
rewrite-expression-head
Rules
59×times-frac
50×pow1 add-sqr-sqrt
47×add-exp-log
40×add-cube-cbrt *-un-lft-identity
38×associate-*l*
32×add-cbrt-cube
28×unpow-prod-down
23×associate-*r/
21×pow-prod-down prod-exp
15×cbrt-unprod difference-of-squares
14×distribute-rgt-in distribute-lft-in
10×sqr-pow
9×div-exp
8×frac-times
7×associate-/l*
6×sub-neg flip3-- flip3-+ flip-- flip-+
5×associate-*r*
4×associate-*l/ associate-/r* associate-/r/ pow-sqr pow-prod-up add-log-exp unswap-sqr
3×cbrt-undiv pow-to-exp pow-exp *-commutative
2×pow-plus div-inv
1×pow2 frac-2neg swap-sqr clear-num
Counts
4 → 201
Calls
4 calls:
90.0ms
(* (* k (+ 10.0 k)) (* k (+ 10.0 k)))
22.0ms
(/ (pow k m) (- (* 1.0 1.0) (* (* k (+ 10.0 k)) (* k (+ 10.0 k)))))
91.0ms
(* a (* (/ (pow k m) (- (* 1.0 1.0) (* (* k (+ 10.0 k)) (* k (+ 10.0 k))))) (- 1.0 (* k (+ 10.0 k)))))
95.0ms
(* (/ (pow k m) (- (* 1.0 1.0) (* (* k (+ 10.0 k)) (* k (+ 10.0 k))))) (- 1.0 (* k (+ 10.0 k))))

series634.0ms

Counts
4 → 12
Calls
4 calls:
32.0ms
(* (* k (+ 10.0 k)) (* k (+ 10.0 k)))
130.0ms
(/ (pow k m) (- (* 1.0 1.0) (* (* k (+ 10.0 k)) (* k (+ 10.0 k)))))
326.0ms
(* a (* (/ (pow k m) (- (* 1.0 1.0) (* (* k (+ 10.0 k)) (* k (+ 10.0 k))))) (- 1.0 (* k (+ 10.0 k)))))
146.0ms
(* (/ (pow k m) (- (* 1.0 1.0) (* (* k (+ 10.0 k)) (* k (+ 10.0 k))))) (- 1.0 (* k (+ 10.0 k))))

simplify570.0ms

Counts
213 → 213
Iterations

Useful iterations: done (561.0ms)

IterNodesCost
03696414
110556164
done50005640

prune641.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 1.8b

regimes78.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01113
11513
done1513

end0.0ms

sample2.7s

Algorithm
intervals
Results
1.6s11911×body80valid
352.0ms4296×body80nan