Details

Time bar (total: 2.4s)

sample39.0ms

Algorithm
intervals
Results
17.0ms394×body80valid
6.0ms169×body80nan

simplify101.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 2 (4.0ms)

IterNodesCost
0247
1487
2966
32566
48916
539546
650026

prune9.0ms

Filtered
1 candidates to 1 candidates (100.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 1.2b

Counts
2 → 2

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

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
3×+-commutative flip3-+ flip-+ associate-/l*
2×associate-+l+ associate-*r* associate-/r/ *-commutative sqr-pow
1×frac-2neg clear-num div-inv
Counts
4 → 18
Calls
4 calls:
2.0ms
(+ 1.0 (* 10.0 k))
2.0ms
(* a (pow k m))
4.0ms
(+ (+ 1.0 (* 10.0 k)) (* k k))
6.0ms
(/ (* a (pow k m)) (+ (+ 1.0 (* 10.0 k)) (* k k)))

series224.0ms

Counts
4 → 12
Calls
4 calls:
32.0ms
(+ 1.0 (* 10.0 k))
61.0ms
(* a (pow k m))
18.0ms
(+ (+ 1.0 (* 10.0 k)) (* k k))
112.0ms
(/ (* a (pow k m)) (+ (+ 1.0 (* 10.0 k)) (* k k)))

simplify90.0ms

Algorithm
egg-herbie
Counts
30 → 30
Iterations

Useful iterations: 3 (87.0ms)

IterNodesCost
0266217
1939209
23880182
35001178

prune74.0ms

Filtered
30 candidates to 21 candidates (70.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New28230
Fresh101
Picked101
Done000
Total30232

Merged error: 1.2b

Counts
32 → 2

localize9.0ms

Local error

Found 3 expressions with local error:

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

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
3×*-commutative associate-/l*
2×+-commutative distribute-rgt-in distribute-lft-in flip3-+ associate-*r/ associate-*r* associate-/r/ flip-+ sqr-pow
1×frac-2neg clear-num div-inv
Counts
3 → 17
Calls
3 calls:
2.0ms
(* a (pow k m))
3.0ms
(* k (+ 10.0 k))
5.0ms
(/ (* a (pow k m)) (+ 1.0 (* k (+ 10.0 k))))

series218.0ms

Counts
3 → 9
Calls
3 calls:
56.0ms
(* a (pow k m))
47.0ms
(* k (+ 10.0 k))
115.0ms
(/ (* a (pow k m)) (+ 1.0 (* k (+ 10.0 k))))

simplify80.0ms

Algorithm
egg-herbie
Counts
26 → 26
Iterations

Useful iterations: 3 (72.0ms)

IterNodesCost
0221160
1741159
23444146
35001142

prune58.0ms

Filtered
26 candidates to 18 candidates (69.2%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New25126
Fresh101
Picked011
Done000
Total26228

Merged error: 1.2b

Counts
28 → 2

localize9.0ms

Local error

Found 3 expressions with local error:

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

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
5×associate-/r/
4×div-inv associate-/l/
3×frac-2neg flip3-+ clear-num flip-+
2×+-commutative distribute-rgt-in distribute-lft-in associate-*r/ sqr-pow
1×times-frac associate-/r* *-commutative associate-/l*
Counts
3 → 23
Calls
3 calls:
3.0ms
(* k (+ 10.0 k))
5.0ms
(/ (pow k m) (/ (+ 1.0 (* k (+ 10.0 k))) a))
5.0ms
(/ (+ 1.0 (* k (+ 10.0 k))) a)

series183.0ms

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

simplify118.0ms

Algorithm
egg-herbie
Counts
32 → 32
Iterations

Useful iterations: 2 (28.0ms)

IterNodesCost
0263205
1896203
24801192
35003192

prune76.0ms

Filtered
32 candidates to 23 candidates (71.9%)
Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New32032
Fresh000
Picked011
Done011
Total32234

Merged error: 1.2b

Counts
34 → 2

regimes42.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0156
1156

end0.0ms

sample1.0s

Algorithm
intervals
Results
534.0ms11877×body80valid
151.0ms4260×body80nan