Details

Time bar (total: 25.6s)

sample71.0ms

Algorithm
intervals
Results
32.0ms377×body80valid
11.0ms143×body80nan

simplify1.9s

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

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 2.7b

localize36.0ms

Local error

Found 4 expressions with local error:

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

rewrite74.0ms

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

series355.0ms

Counts
4 → 12
Calls
4 calls:
97.0ms
(* a (pow k m))
53.0ms
(+ 1.0 (* 10.0 k))
35.0ms
(+ (+ 1.0 (* 10.0 k)) (* k k))
169.0ms
(/ (* a (pow k m)) (+ (+ 1.0 (* 10.0 k)) (* k k)))

simplify1.9s

Counts
100 → 100
Iterations
IterNodes
done5001
22474
1495
0177

prune617.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize39.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt k)
0.5b
(cbrt k)
0.5b
(* (cbrt k) (cbrt k))
2.7b
(/ (* (* a (pow (* (cbrt k) (cbrt k)) m)) (pow (cbrt k) m)) (+ (+ 1.0 (* 10.0 k)) (* k k)))

rewrite76.0ms

Algorithm
rewrite-expression-head
Rules
60×add-exp-log
31×prod-exp
24×add-sqr-sqrt
22×cbrt-prod
16×*-un-lft-identity div-exp add-cube-cbrt
13×add-cbrt-cube
11×pow1 pow-exp
8×pow-to-exp pow1/3
6×swap-sqr associate-*r* associate-*l*
4×expm1-log1p-u cbrt-unprod log1p-expm1-u add-log-exp unswap-sqr
3×cbrt-undiv associate-/r* times-frac
2×pow-prod-down associate-/r/ pow-sqr pow-prod-up
1×pow2 clear-num frac-2neg flip3-+ pow-plus *-commutative flip-+ div-inv associate-/l*
Counts
4 → 108
Calls
4 calls:
1.0ms
(cbrt k)
1.0ms
(cbrt k)
9.0ms
(* (cbrt k) (cbrt k))
60.0ms
(/ (* (* a (pow (* (cbrt k) (cbrt k)) m)) (pow (cbrt k) m)) (+ (+ 1.0 (* 10.0 k)) (* k k)))

series1.3s

Counts
4 → 12
Calls
4 calls:
278.0ms
(cbrt k)
256.0ms
(cbrt k)
302.0ms
(* (cbrt k) (cbrt k))
498.0ms
(/ (* (* a (pow (* (cbrt k) (cbrt k)) m)) (pow (cbrt k) m)) (+ (+ 1.0 (* 10.0 k)) (* k k)))

simplify2.1s

Counts
120 → 120
Iterations
IterNodes
done5001
23456
1577
0203

prune779.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize32.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt k)
0.5b
(cbrt k)
0.5b
(* (cbrt k) (cbrt k))
2.3b
(* (* (pow (* (cbrt k) (cbrt k)) m) a) (/ (pow (cbrt k) m) (fma k (+ 10.0 k) 1.0)))

rewrite96.0ms

Algorithm
rewrite-expression-head
Rules
72×add-exp-log
42×add-sqr-sqrt
41×prod-exp
40×associate-*r*
34×*-un-lft-identity add-cube-cbrt
31×cbrt-prod
30×times-frac
18×unpow-prod-down
16×add-cbrt-cube
15×div-exp
13×pow1 pow-exp
9×pow-to-exp
8×pow1/3
7×associate-*l* cbrt-unprod
6×swap-sqr
4×expm1-log1p-u log1p-expm1-u add-log-exp unswap-sqr
3×pow-prod-down sqr-pow
2×cbrt-undiv pow-sqr *-commutative pow-prod-up
1×pow2 pow-plus associate-*r/ div-inv
Counts
4 → 139
Calls
4 calls:
1.0ms
(cbrt k)
1.0ms
(cbrt k)
16.0ms
(* (cbrt k) (cbrt k))
63.0ms
(* (* (pow (* (cbrt k) (cbrt k)) m) a) (/ (pow (cbrt k) m) (fma k (+ 10.0 k) 1.0)))

series1.4s

Counts
4 → 12
Calls
4 calls:
247.0ms
(cbrt k)
311.0ms
(cbrt k)
313.0ms
(* (cbrt k) (cbrt k))
574.0ms
(* (* (pow (* (cbrt k) (cbrt k)) m) a) (/ (pow (cbrt k) m) (fma k (+ 10.0 k) 1.0)))

simplify1.5s

Counts
151 → 151
Iterations
IterNodes
done5001
1771
0256

prune1.2s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize162.0ms

Local error

Found 4 expressions with local error:

2.3b
(* (* (pow (* (cbrt k) (cbrt k)) m) a) (/ (pow (cbrt k) m) (fma k (+ 10.0 k) 1.0)))
6.2b
(cbrt (* (* (pow (* (cbrt k) (cbrt k)) m) a) (/ (pow (cbrt k) m) (fma k (+ 10.0 k) 1.0))))
6.2b
(cbrt (* (* (pow (* (cbrt k) (cbrt k)) m) a) (/ (pow (cbrt k) m) (fma k (+ 10.0 k) 1.0))))
6.2b
(cbrt (* (* (pow (* (cbrt k) (cbrt k)) m) a) (/ (pow (cbrt k) m) (fma k (+ 10.0 k) 1.0))))

rewrite143.0ms

Algorithm
rewrite-expression-head
Rules
70×add-exp-log
40×prod-exp
34×associate-*r*
30×times-frac
24×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
18×unpow-prod-down
16×add-cbrt-cube
15×div-exp
13×pow-exp
12×cbrt-prod
9×pow-to-exp
6×pow1 cbrt-unprod
4×expm1-log1p-u associate-*r/ log1p-expm1-u add-log-exp
3×cbrt-div pow1/3 sqr-pow
2×cbrt-undiv
1×associate-*l* pow-prod-down *-commutative div-inv
Counts
4 → 107
Calls
4 calls:
57.0ms
(* (* (pow (* (cbrt k) (cbrt k)) m) a) (/ (pow (cbrt k) m) (fma k (+ 10.0 k) 1.0)))
37.0ms
(cbrt (* (* (pow (* (cbrt k) (cbrt k)) m) a) (/ (pow (cbrt k) m) (fma k (+ 10.0 k) 1.0))))
19.0ms
(cbrt (* (* (pow (* (cbrt k) (cbrt k)) m) a) (/ (pow (cbrt k) m) (fma k (+ 10.0 k) 1.0))))
26.0ms
(cbrt (* (* (pow (* (cbrt k) (cbrt k)) m) a) (/ (pow (cbrt k) m) (fma k (+ 10.0 k) 1.0))))

series2.8s

Counts
4 → 12
Calls
4 calls:
504.0ms
(* (* (pow (* (cbrt k) (cbrt k)) m) a) (/ (pow (cbrt k) m) (fma k (+ 10.0 k) 1.0)))
684.0ms
(cbrt (* (* (pow (* (cbrt k) (cbrt k)) m) a) (/ (pow (cbrt k) m) (fma k (+ 10.0 k) 1.0))))
838.0ms
(cbrt (* (* (pow (* (cbrt k) (cbrt k)) m) a) (/ (pow (cbrt k) m) (fma k (+ 10.0 k) 1.0))))
815.0ms
(cbrt (* (* (pow (* (cbrt k) (cbrt k)) m) a) (/ (pow (cbrt k) m) (fma k (+ 10.0 k) 1.0))))

simplify2.9s

Counts
119 → 119
Iterations
IterNodes
done5001
1850
0285

prune1.3s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

regimes324.0ms

Accuracy

97% (0.1b remaining)

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

bsearch80.0ms

Steps
ItersRangePoint
8
4.921918753835451e+72
1.3595528495947622e+76
5.413206367433749e+73

simplify2.3s

Iterations
IterNodes
done5000
61841
5692
4284
3122
267
150
034

end0.0ms

sample1.9s

Algorithm
intervals
Results
1.0s11827×body80valid
398.0ms4186×body80nan