Details

Time bar (total: 5.8s)

sample37.0ms

Algorithm
intervals
Results
18.0ms267×body80valid

simplify83.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
04816
110216
229216
380316
4214316
5361616
6416616
7500216

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

localize23.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)
9.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))

series472.0ms

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

simplify99.0ms

Algorithm
egg-herbie
Counts
28 → 28
Iterations

Useful iterations: 2 (25.0ms)

IterNodesCost
0255192
1877170
24562164
35001164

prune182.0ms

Filtered
28 candidates to 23 candidates (82.1%)
Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New181028
Fresh000
Picked101
Done000
Total191029

Merged error: 28.1b

Counts
29 → 10

localize25.0ms

Local error

Found 4 expressions with local error:

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

rewrite37.0ms

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

series494.0ms

Counts
4 → 12
Calls
4 calls:
78.0ms
(* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)
54.0ms
(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
53.0ms
(/ 2 (* (fma (fma (fma (+ y a) y b) y c) y i) 2))
309.0ms
(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 2 (* (fma (fma (fma (+ y a) y b) y c) y i) 2)))

simplify37.0ms

Algorithm
egg-herbie
Counts
43 → 43
Iterations

Useful iterations: 2 (31.0ms)

IterNodesCost
0268434
11195410
25001389

prune327.0ms

Filtered
43 candidates to 33 candidates (76.7%)
Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New38543
Fresh459
Picked101
Done000
Total431053

Merged error: 28.1b

Counts
53 → 10

localize38.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))

rewrite61.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:
9.0ms
(* (+ (* (+ (* (+ y a) y) b) y) c) y)
8.0ms
(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
22.0ms
(/ 1 (/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
22.0ms
(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))

series983.0ms

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

simplify31.0ms

Algorithm
egg-herbie
Counts
38 → 38
Iterations

Useful iterations: 2 (27.0ms)

IterNodesCost
0249299
1907255
25001232

prune233.0ms

Filtered
38 candidates to 31 candidates (81.6%)
Pruning

11 alts after pruning (10 fresh and 1 done)

PrunedKeptTotal
New36238
Fresh189
Picked011
Done000
Total371148

Merged error: 28.1b

Counts
48 → 11

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.8b
(/ 1 (* (fma (fma (fma (+ y a) y b) y c) y i) 1))
27.8b
(/ (/ 1 (* (fma (fma (fma (+ y a) y b) y c) y i) 1)) (/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
9×associate-/r/ div-inv
7×associate-/r*
5×frac-2neg clear-num associate-/l/
4×flip3-+ flip-+
3×times-frac *-commutative
2×associate-*l/ inv-pow
1×associate-/l*
Counts
4 → 33
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))
6.0ms
(/ 1 (* (fma (fma (fma (+ y a) y b) y c) y i) 1))
16.0ms
(/ (/ 1 (* (fma (fma (fma (+ y a) y b) y c) y i) 1)) (/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))

series634.0ms

Counts
4 → 12
Calls
4 calls:
54.0ms
(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
110.0ms
(/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
59.0ms
(/ 1 (* (fma (fma (fma (+ y a) y b) y c) y i) 1))
410.0ms
(/ (/ 1 (* (fma (fma (fma (+ y a) y b) y c) y i) 1)) (/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))

simplify32.0ms

Algorithm
egg-herbie
Counts
45 → 45
Iterations

Useful iterations: 2 (27.0ms)

IterNodesCost
0214301
1814269
25001261

prune197.0ms

Filtered
45 candidates to 31 candidates (68.9%)
Pruning

12 alts after pruning (10 fresh and 2 done)

PrunedKeptTotal
New44145
Fresh099
Picked011
Done011
Total441256

Merged error: 28.1b

Counts
56 → 12

regimes697.0ms

Accuracy

0% (1.2b remaining)

Error of 29.1b against oracle of 27.9b and baseline of 29.1b

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03916
14116
24116

end0.0ms

sample923.0ms

Algorithm
intervals
Results
569.0ms8268×body80valid