Details

Time bar (total: 6.3s)

sample38.0ms

Algorithm
intervals
Results
16.0ms369×body80valid
5.0ms142×body80nan

simplify105.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
0247
1535
21065
32695
49045
539765
650015

prune7.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 2.5b

localize10.0ms

Local error

Found 3 expressions with local error:

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

rewrite18.0ms

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

series210.0ms

Counts
3 → 9
Calls
3 calls:
37.0ms
(+ 1.0 (* 10.0 k))
55.0ms
(* a (pow k m))
118.0ms
(/ (* a (pow k m)) (+ (+ 1.0 (* 10.0 k)) (* k k)))

simplify55.0ms

Algorithm
egg-herbie
Counts
79 → 79
Iterations

Useful iterations: 2 (48.0ms)

IterNodesCost
0436523
12136457
25001439

prune222.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (/ (fma k k (fma 10.0 k 1.0)) a) (pow k m))
0.1b
(fma 10.0 k 1.0)
0.2b
(/ 1 (/ (/ (fma k k (fma 10.0 k 1.0)) a) (pow k m)))
5.7b
(/ (fma k k (fma 10.0 k 1.0)) a)

rewrite84.0ms

Algorithm
rewrite-expression-head
Rules
1073×times-frac
496×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
198×unpow-prod-down
105×associate-/r*
68×add-exp-log
66×sqr-pow
51×div-exp
43×div-inv
20×add-cbrt-cube
19×associate-/l*
10×cbrt-undiv
8×pow-to-exp pow-exp
7×rec-exp 1-exp
5×pow1
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×frac-2neg clear-num
1×pow-flip associate-/r/ fma-udef associate-/l/ inv-pow
Counts
4 → 593
Calls
4 calls:
8.0ms
(/ (/ (fma k k (fma 10.0 k 1.0)) a) (pow k m))
1.0ms
(fma 10.0 k 1.0)
26.0ms
(/ 1 (/ (/ (fma k k (fma 10.0 k 1.0)) a) (pow k m)))
3.0ms
(/ (fma k k (fma 10.0 k 1.0)) a)

series294.0ms

Counts
4 → 12
Calls
4 calls:
107.0ms
(/ (/ (fma k k (fma 10.0 k 1.0)) a) (pow k m))
36.0ms
(fma 10.0 k 1.0)
108.0ms
(/ 1 (/ (/ (fma k k (fma 10.0 k 1.0)) a) (pow k m)))
44.0ms
(/ (fma k k (fma 10.0 k 1.0)) a)

simplify122.0ms

Algorithm
egg-herbie
Counts
605 → 605
Iterations

Useful iterations: 1 (37.0ms)

IterNodesCost
020628184
150017772

prune1.6s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt k)
0.6b
(cbrt k)
0.6b
(cbrt k)
5.7b
(/ (fma k k (fma 10.0 k 1.0)) a)

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
15×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
9×cbrt-prod times-frac
6×add-exp-log add-cbrt-cube
4×pow1 expm1-log1p-u log1p-expm1-u add-log-exp
3×pow1/3 associate-/r* associate-/l*
1×cbrt-undiv frac-2neg div-exp clear-num div-inv
Counts
4 → 68
Calls
4 calls:
1.0ms
(cbrt k)
1.0ms
(cbrt k)
1.0ms
(cbrt k)
3.0ms
(/ (fma k k (fma 10.0 k 1.0)) a)

series584.0ms

Counts
4 → 12
Calls
4 calls:
177.0ms
(cbrt k)
185.0ms
(cbrt k)
174.0ms
(cbrt k)
48.0ms
(/ (fma k k (fma 10.0 k 1.0)) a)

simplify57.0ms

Algorithm
egg-herbie
Counts
80 → 80
Iterations

Useful iterations: 3 (51.0ms)

IterNodesCost
0149331
1393308
21735302
35001293

prune363.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize27.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt k)
0.6b
(cbrt k)
0.6b
(cbrt k)
1.7b
(fma (/ k a) k (fma (/ 10.0 a) k (/ 1.0 a)))

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
9×cbrt-prod
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×pow1 add-exp-log expm1-log1p-u add-cbrt-cube log1p-expm1-u add-log-exp
3×pow1/3
1×fma-udef
Counts
4 → 49
Calls
4 calls:
1.0ms
(cbrt k)
1.0ms
(cbrt k)
1.0ms
(cbrt k)
1.0ms
(fma (/ k a) k (fma (/ 10.0 a) k (/ 1.0 a)))

series579.0ms

Counts
4 → 12
Calls
4 calls:
181.0ms
(cbrt k)
184.0ms
(cbrt k)
175.0ms
(cbrt k)
38.0ms
(fma (/ k a) k (fma (/ 10.0 a) k (/ 1.0 a)))

simplify168.0ms

Algorithm
egg-herbie
Counts
61 → 61
Iterations

Useful iterations: 3 (24.0ms)

IterNodesCost
087224
1192198
2735192
34420188
45001188

prune469.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0.0b

regimes121.0ms

Accuracy

96.4% (0.1b remaining)

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

bsearch67.0ms

Steps
ItersRangePoint
9
3.2842495410106482e+143
2.5242783012259312e+148
4.516226200024594e+147

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04834
15434
25434

end0.0ms

sample1.0s

Algorithm
intervals
Results
530.0ms11799×body80valid
160.0ms4268×body80nan