Details

Time bar (total: 1.8s)

sample257.0ms

Algorithm
intervals
Results
6.0ms256×body80valid

simplify14.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0134
1164
2204
3264
4314
5334
6334

prune3.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 1

localize8.0ms

Local error

Found 1 expressions with local error:

0.0b
(/ (- (+ f n)) (- f n))

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
2×associate-/r/ associate-/l/ distribute-neg-frac
1×neg-sub0 neg-mul-1 flip3-- frac-2neg flip3-+ div-sub distribute-frac-neg clear-num flip-- flip-+ div-inv associate-/l*
Counts
1 → 10
Calls
1 calls:
6.0ms
(/ (- (+ f n)) (- f n))

series84.0ms

Counts
1 → 3
Calls
1 calls:
84.0ms
(/ (- (+ f n)) (- f n))

simplify49.0ms

Algorithm
egg-herbie
Counts
13 → 13
Iterations

Useful iterations: 2 (8.0ms)

IterNodesCost
07639
119139
253635
3215935
4500235

prune31.0ms

Filtered
13 candidates to 12 candidates (92.3%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New10313
Fresh000
Picked101
Done000
Total11314

Merged error: 0.0b

Counts
14 → 3

localize9.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (- f n) (+ f n))
0.0b
(/ -1 (/ (- f n) (+ f n)))

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
9×associate-/r/
4×associate-/l/
3×frac-2neg clear-num associate-/r* div-inv
2×flip3-- flip3-+ flip-- flip-+
1×div-sub
Counts
2 → 19
Calls
2 calls:
4.0ms
(/ (- f n) (+ f n))
4.0ms
(/ -1 (/ (- f n) (+ f n)))

series128.0ms

Counts
2 → 6
Calls
2 calls:
65.0ms
(/ (- f n) (+ f n))
63.0ms
(/ -1 (/ (- f n) (+ f n)))

simplify78.0ms

Algorithm
egg-herbie
Counts
25 → 25
Iterations

Useful iterations: 3 (25.0ms)

IterNodesCost
09671
128071
281570
3345559
4500359

prune52.0ms

Filtered
25 candidates to 22 candidates (88.0%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New25025
Fresh022
Picked011
Done000
Total25328

Merged error: 0.0b

Counts
28 → 3

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (- 1) (- f n))
0.1b
(* (/ (- 1) (- f n)) (+ f n))

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
8×frac-times
5×flip3-+ flip-+
4×neg-mul-1 frac-2neg associate-*l/ clear-num associate-/r/ associate-/l*
3×associate-*l*
2×+-commutative distribute-rgt-in flip3-- distribute-lft-in associate-*r/ distribute-frac-neg flip-- div-inv
1×distribute-lft-neg-out neg-sub0 div-sub *-commutative
Counts
2 → 31
Calls
2 calls:
6.0ms
(/ (- 1) (- f n))
6.0ms
(* (/ (- 1) (- f n)) (+ f n))

series99.0ms

Counts
2 → 6
Calls
2 calls:
37.0ms
(/ (- 1) (- f n))
62.0ms
(* (/ (- 1) (- f n)) (+ f n))

simplify33.0ms

Algorithm
egg-herbie
Counts
37 → 37
Iterations

Useful iterations: 2 (30.0ms)

IterNodesCost
0245156
11030146
25001136

prune65.0ms

Filtered
37 candidates to 30 candidates (81.1%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New37037
Fresh011
Picked011
Done011
Total37340

Merged error: 0.0b

Counts
40 → 3

localize18.0ms

Local error

Found 4 expressions with local error:

1.8b
(fma f f (- (* n n) (* f n)))
3.1b
(- (* n n) (* f n))
4.0b
(+ (pow f 3) (pow n 3))
39.6b
(/ (- (+ (pow f 3) (pow n 3))) (* (fma f f (- (* n n) (* f n))) (- f n)))

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
13×*-commutative
7×sum-cubes
6×times-frac
4×prod-diff
3×distribute-lft-neg-in neg-mul-1 distribute-rgt-neg-in associate-/l*
2×flip3-- distribute-rgt-out-- fma-def flip3-+ fma-neg associate-*r/ associate-/r* associate-/r/ flip-- flip-+ associate-/l/ distribute-neg-frac distribute-lft-out--
1×+-commutative neg-sub0 sub-neg frac-2neg unpow3 div-sub distribute-frac-neg clear-num fma-udef div-inv sqr-pow
Counts
4 → 41
Calls
4 calls:
1.0ms
(fma f f (- (* n n) (* f n)))
4.0ms
(- (* n n) (* f n))
4.0ms
(+ (pow f 3) (pow n 3))
7.0ms
(/ (- (+ (pow f 3) (pow n 3))) (* (fma f f (- (* n n) (* f n))) (- f n)))

series218.0ms

Counts
4 → 12
Calls
4 calls:
24.0ms
(fma f f (- (* n n) (* f n)))
32.0ms
(- (* n n) (* f n))
49.0ms
(+ (pow f 3) (pow n 3))
113.0ms
(/ (- (+ (pow f 3) (pow n 3))) (* (fma f f (- (* n n) (* f n))) (- f n)))

simplify134.0ms

Algorithm
egg-herbie
Counts
53 → 53
Iterations

Useful iterations: 2 (25.0ms)

IterNodesCost
0232324
1890286
24876273
35001273

prune108.0ms

Filtered
53 candidates to 35 candidates (66.0%)
Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New53053
Fresh000
Picked011
Done022
Total53356

Merged error: 0.0b

Counts
56 → 3

regimes31.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
084
184

end0.0ms

sample288.0ms

Algorithm
intervals
Results
165.0ms8000×body80valid