Details

Time bar (total: 6.1s)

sample38.0ms

Algorithm
intervals
Results
18.0ms267×body80valid

simplify113.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
04116
18816
225416
366316
4161516
5236216
6258416
7312216
8500116

prune7.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: 29.1b

Counts
2 → 1

localize22.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (+ (* (+ y a) y) b) y)
0.1b
(* (+ (* (+ (* (+ y a) y) b) y) c) y)
0.1b
(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
28.3b
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
6×associate-*l/
5×flip3-+ flip-+
3×*-commutative
2×associate-/r/ associate-/l/
1×frac-2neg clear-num div-inv
Counts
4 → 16
Calls
4 calls:
6.0ms
(* (+ (* (+ y a) y) b) y)
8.0ms
(* (+ (* (+ (* (+ y a) y) b) y) c) y)
8.0ms
(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
21.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

series466.0ms

Counts
4 → 12
Calls
4 calls:
38.0ms
(* (+ (* (+ y a) y) b) y)
67.0ms
(* (+ (* (+ (* (+ y a) y) b) y) c) y)
49.0ms
(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
312.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

simplify110.0ms

Algorithm
egg-herbie
Counts
28 → 28
Iterations

Useful iterations: 2 (28.0ms)

IterNodesCost
0237220
1790216
24128210
35001210

prune154.0ms

Filtered
28 candidates to 22 candidates (78.6%)
Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New181028
Fresh000
Picked101
Done000
Total191029

Merged error: 28.1b

Counts
29 → 10

localize28.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (+ (* (+ (* (+ y a) y) b) y) c) y)
0.1b
(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
0.8b
(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
27.8b
(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))

rewrite49.0ms

Algorithm
rewrite-expression-head
Rules
8×flip3-+ flip-+
6×frac-times associate-*l/
5×clear-num
4×frac-2neg associate-/r/
3×associate-*r/ associate-*r* *-commutative
2×un-div-inv div-inv
1×inv-pow
Counts
4 → 29
Calls
4 calls:
8.0ms
(* (+ (* (+ (* (+ y a) y) b) y) c) y)
7.0ms
(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
10.0ms
(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
22.0ms
(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))

series497.0ms

Counts
4 → 12
Calls
4 calls:
64.0ms
(* (+ (* (+ (* (+ y a) y) b) y) c) y)
53.0ms
(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
53.0ms
(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
327.0ms
(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))

simplify37.0ms

Algorithm
egg-herbie
Counts
41 → 41
Iterations

Useful iterations: 2 (31.0ms)

IterNodesCost
0257462
11045462
25002456

prune177.0ms

Filtered
41 candidates to 26 candidates (63.4%)
Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New36541
Fresh459
Picked101
Done000
Total411051

Merged error: 28.1b

Counts
51 → 10

localize23.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (+ (* (+ (* (+ y a) y) b) y) c) y)
0.1b
(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
0.6b
(/ 1 (/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
28.4b
(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))

rewrite59.0ms

Algorithm
rewrite-expression-head
Rules
9×associate-/r/
6×flip3-+ flip-+
4×associate-*l/ clear-num associate-/l/
3×frac-2neg associate-/r* div-inv
2×*-commutative
1×remove-double-div inv-pow
Counts
4 → 26
Calls
4 calls:
8.0ms
(* (+ (* (+ (* (+ y a) y) b) y) c) y)
8.0ms
(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
21.0ms
(/ 1 (/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
21.0ms
(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))

series992.0ms

Counts
4 → 12
Calls
4 calls:
67.0ms
(* (+ (* (+ (* (+ y a) y) b) y) c) y)
57.0ms
(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
415.0ms
(/ 1 (/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
453.0ms
(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))

simplify138.0ms

Algorithm
egg-herbie
Counts
38 → 38
Iterations

Useful iterations: 2 (29.0ms)

IterNodesCost
0232341
1830340
24815332
35001332

prune197.0ms

Filtered
38 candidates to 29 candidates (76.3%)
Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New37138
Fresh099
Picked101
Done000
Total381048

Merged error: 28.1b

Counts
48 → 10

localize25.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
0.2b
(/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
0.6b
(/ 1 (* (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))))
28.4b
(* (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))

rewrite74.0ms

Algorithm
rewrite-expression-head
Rules
19×associate-/r/
12×frac-times flip3-+ flip-+
10×clear-num
8×frac-2neg
6×associate-*r/ associate-*r* associate-*l/
5×associate-/r*
4×un-div-inv div-inv
3×*-commutative
2×inv-pow
Counts
4 → 48
Calls
4 calls:
8.0ms
(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
12.0ms
(/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
29.0ms
(/ 1 (* (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))))
22.0ms
(* (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))

series1.1s

Counts
4 → 12
Calls
4 calls:
52.0ms
(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
118.0ms
(/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
419.0ms
(/ 1 (* (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))))
467.0ms
(* (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))

simplify41.0ms

Algorithm
egg-herbie
Counts
60 → 60
Iterations

Useful iterations: 2 (33.0ms)

IterNodesCost
0253709
11085700
25001696

prune225.0ms

Filtered
60 candidates to 41 candidates (68.3%)
Pruning

11 alts after pruning (10 fresh and 1 done)

PrunedKeptTotal
New59160
Fresh099
Picked011
Done000
Total591170

Merged error: 28.1b

Counts
70 → 11

regimes553.0ms

Accuracy

0% (1.3b remaining)

Error of 29.3b against oracle of 28.0b and baseline of 29.3b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04718
14718

end0.0ms

sample935.0ms

Algorithm
intervals
Results
568.0ms8268×body80valid