Details

Time bar (total: 18.2s)

sample61.0ms

Algorithm
intervals
Results
22.0ms376×body80valid
7.0ms136×body80nan

simplify1.3s

Counts
1 → 1
Iterations
IterNodes
done5001
51475
4274
3108
253
124
012

prune13.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.7b

localize28.0ms

Local error

Found 3 expressions with local error:

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

rewrite74.0ms

Algorithm
rewrite-expression-head
Rules
18×add-exp-log
14×add-sqr-sqrt
10×add-cbrt-cube
9×*-un-lft-identity add-cube-cbrt
8×add-log-exp
7×associate-*r*
6×prod-exp
4×unpow-prod-down div-exp
3×expm1-log1p-u pow1 associate-/r* sum-log fma-def times-frac associate-*l* log1p-expm1-u unswap-sqr
2×pow-to-exp cbrt-undiv flip3-+ pow-exp associate-/r/ cbrt-unprod flip-+ sqr-pow
1×+-commutative associate-+l+ clear-num frac-2neg *-commutative div-inv associate-/l*
Counts
3 → 72
Calls
3 calls:
9.0ms
(* a (pow k m))
28.0ms
(+ (+ 1.0 (* 10.0 k)) (* k k))
35.0ms
(/ (* a (pow k m)) (+ (+ 1.0 (* 10.0 k)) (* k k)))

series325.0ms

Counts
3 → 9
Calls
3 calls:
90.0ms
(* a (pow k m))
38.0ms
(+ (+ 1.0 (* 10.0 k)) (* k k))
197.0ms
(/ (* a (pow k m)) (+ (+ 1.0 (* 10.0 k)) (* k k)))

simplify1.1s

Counts
81 → 81
Iterations
IterNodes
done5001
22252
1438
0160

prune569.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize35.0ms

Local error

Found 4 expressions with local error:

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

rewrite67.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 log1p-expm1-u add-log-exp
3×cbrt-undiv associate-/r* times-frac pow1/3 cbrt-unprod
2×associate-/r/
1×clear-num frac-2neg flip3-+ flip-+ div-inv associate-/l*
Counts
4 → 79
Calls
4 calls:
1.0ms
(cbrt k)
1.0ms
(cbrt k)
1.0ms
(cbrt k)
59.0ms
(/ (* (* (pow (* (cbrt k) (cbrt k)) m) a) (pow (cbrt k) m)) (+ (+ 1.0 (* 10.0 k)) (* k k)))

series1.4s

Counts
4 → 12
Calls
4 calls:
275.0ms
(cbrt k)
292.0ms
(cbrt k)
291.0ms
(cbrt k)
542.0ms
(/ (* (* (pow (* (cbrt k) (cbrt k)) m) a) (pow (cbrt k) m)) (+ (+ 1.0 (* 10.0 k)) (* k k)))

simplify1.3s

Counts
91 → 91
Iterations
IterNodes
done5000
22865
1510
0176

prune614.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 3 expressions with local error:

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

rewrite23.0ms

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

series337.0ms

Counts
3 → 9
Calls
3 calls:
36.0ms
(fma k (+ 10.0 k) 1.0)
125.0ms
(* a (pow k m))
176.0ms
(/ (* a (pow k m)) (fma k (+ 10.0 k) 1.0))

simplify756.0ms

Counts
71 → 71
Iterations
IterNodes
done5001
21477
1342
0141

prune362.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize51.0ms

Local error

Found 4 expressions with local error:

4.8b
(/ (pow k 3) a)
9.0b
(fma (- (/ (pow (/ 1 k) (- m)) (/ (pow k 3) a))) 10.0 (fma (/ a k) (/ (pow (/ 1 k) (- m)) k) (* (/ (* (pow (/ 1 k) (- m)) a) (pow k 4)) 99.0)))
9.4b
(/ (pow (/ 1 k) (- m)) (/ (pow k 3) a))
11.8b
(/ (* (pow (/ 1 k) (- m)) a) (pow k 4))

rewrite173.0ms

Algorithm
rewrite-expression-head
Rules
1740×times-frac
757×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
713×unpow-prod-down
174×cube-prod
122×add-exp-log
101×sqr-pow
80×div-exp
62×div-inv
58×cube-mult unpow3
50×associate-/r*
42×pow-exp
30×associate-/l*
21×pow-to-exp
18×prod-exp
16×add-cbrt-cube
7×rec-exp 1-exp
6×cbrt-undiv
4×expm1-log1p-u pow1 log1p-expm1-u add-log-exp associate-/l/
3×clear-num frac-2neg
2×neg-sub0 pow-neg associate-*l/ pow-sub
1×associate-/r/ cbrt-unprod fma-udef
Counts
4 → 907
Calls
4 calls:
19.0ms
(/ (pow k 3) a)
1.0ms
(fma (- (/ (pow (/ 1 k) (- m)) (/ (pow k 3) a))) 10.0 (fma (/ a k) (/ (pow (/ 1 k) (- m)) k) (* (/ (* (pow (/ 1 k) (- m)) a) (pow k 4)) 99.0)))
62.0ms
(/ (pow (/ 1 k) (- m)) (/ (pow k 3) a))
14.0ms
(/ (* (pow (/ 1 k) (- m)) a) (pow k 4))

series603.0ms

Counts
4 → 12
Calls
4 calls:
35.0ms
(/ (pow k 3) a)
233.0ms
(fma (- (/ (pow (/ 1 k) (- m)) (/ (pow k 3) a))) 10.0 (fma (/ a k) (/ (pow (/ 1 k) (- m)) k) (* (/ (* (pow (/ 1 k) (- m)) a) (pow k 4)) 99.0)))
171.0ms
(/ (pow (/ 1 k) (- m)) (/ (pow k 3) a))
163.0ms
(/ (* (pow (/ 1 k) (- m)) a) (pow k 4))

simplify1.8s

Counts
919 → 919
Iterations
IterNodes
done5000
13335
01216

prune4.2s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes236.0ms

Accuracy

96.9% (0.1b remaining)

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

bsearch62.0ms

Steps
ItersRangePoint
5
2.2126667367636703e+130
7.980069773708072e+130
2.644804131784438e+130

simplify9.0ms

Iterations
IterNodes
done49
149
038

end0.0ms

sample2.6s

Algorithm
intervals
Results
1.1s11835×body80valid
725.0ms4325×body80nan