Details

Time bar (total: 3.6s)

sample38.0ms

Algorithm
intervals
Results
17.0ms256×body80valid

simplify42.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
06211
115411
250311
3184011
4500311

prune14.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: 23.7b

Counts
2 → 2

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894)
0.1b
(fma (fma x 4.16438922228 78.6994924154) x 137.519416416)
0.5b
(/ (- x 2.0) (/ (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606) (fma (fma (fma (fma x 4.16438922228 78.6994924154) x 137.519416416) x y) x z)))
23.0b
(/ (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606) (fma (fma (fma (fma x 4.16438922228 78.6994924154) x 137.519416416) x y) x z))

rewrite7.0ms

Algorithm
rewrite-expression-head
Rules
3×frac-2neg clear-num associate-/r/ div-inv
2×fma-udef associate-/l/
1×flip3-- div-sub associate-/r* flip--
Counts
4 → 15
Calls
4 calls:
1.0ms
(fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894)
1.0ms
(fma (fma x 4.16438922228 78.6994924154) x 137.519416416)
4.0ms
(/ (- x 2.0) (/ (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606) (fma (fma (fma (fma x 4.16438922228 78.6994924154) x 137.519416416) x y) x z)))
2.0ms
(/ (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606) (fma (fma (fma (fma x 4.16438922228 78.6994924154) x 137.519416416) x y) x z))

series520.0ms

Counts
4 → 12
Calls
4 calls:
39.0ms
(fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894)
26.0ms
(fma (fma x 4.16438922228 78.6994924154) x 137.519416416)
280.0ms
(/ (- x 2.0) (/ (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606) (fma (fma (fma (fma x 4.16438922228 78.6994924154) x 137.519416416) x y) x z)))
176.0ms
(/ (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606) (fma (fma (fma (fma x 4.16438922228 78.6994924154) x 137.519416416) x y) x z))

simplify54.0ms

Algorithm
egg-herbie
Counts
27 → 27
Iterations

Useful iterations: 2 (14.0ms)

IterNodesCost
0185164
1517160
21851154
35002154

prune121.0ms

Filtered
27 candidates to 19 candidates (70.4%)
Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New22527
Fresh011
Picked101
Done000
Total23629

Merged error: 0.0b

Counts
29 → 6

localize21.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606)
0.0b
(fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894)
0.1b
(fma (fma x 4.16438922228 78.6994924154) x 137.519416416)
22.9b
(/ (fma (fma (fma (fma x 4.16438922228 78.6994924154) x 137.519416416) x y) x z) (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606))

rewrite4.0ms

Algorithm
rewrite-expression-head
Rules
3×fma-udef
1×frac-2neg clear-num div-inv
Counts
4 → 6
Calls
4 calls:
1.0ms
(fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606)
1.0ms
(fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894)
1.0ms
(fma (fma x 4.16438922228 78.6994924154) x 137.519416416)
2.0ms
(/ (fma (fma (fma (fma x 4.16438922228 78.6994924154) x 137.519416416) x y) x z) (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606))

series359.0ms

Counts
4 → 12
Calls
4 calls:
52.0ms
(fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606)
39.0ms
(fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894)
26.0ms
(fma (fma x 4.16438922228 78.6994924154) x 137.519416416)
242.0ms
(/ (fma (fma (fma (fma x 4.16438922228 78.6994924154) x 137.519416416) x y) x z) (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606))

simplify39.0ms

Algorithm
egg-herbie
Counts
18 → 18
Iterations

Useful iterations: 3 (36.0ms)

IterNodesCost
014983
137180
2114576
3500173

prune82.0ms

Filtered
18 candidates to 12 candidates (66.7%)
Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New14418
Fresh235
Picked101
Done000
Total17724

Merged error: 0.0b

Counts
24 → 7

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x)
0.0b
(fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894)
0.1b
(fma (fma x 4.16438922228 78.6994924154) x 137.519416416)
22.9b
(/ (fma (fma (fma (fma x 4.16438922228 78.6994924154) x 137.519416416) x y) x z) (+ (* (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x) 47.066876606))

rewrite7.0ms

Algorithm
rewrite-expression-head
Rules
2×associate-/r/ fma-udef
1×frac-2neg flip3-+ clear-num *-commutative flip-+ div-inv
Counts
4 → 8
Calls
4 calls:
2.0ms
(* (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x)
1.0ms
(fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894)
1.0ms
(fma (fma x 4.16438922228 78.6994924154) x 137.519416416)
4.0ms
(/ (fma (fma (fma (fma x 4.16438922228 78.6994924154) x 137.519416416) x y) x z) (+ (* (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x) 47.066876606))

series352.0ms

Counts
4 → 12
Calls
4 calls:
55.0ms
(* (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x)
39.0ms
(fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894)
26.0ms
(fma (fma x 4.16438922228 78.6994924154) x 137.519416416)
232.0ms
(/ (fma (fma (fma (fma x 4.16438922228 78.6994924154) x 137.519416416) x y) x z) (+ (* (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x) 47.066876606))

simplify48.0ms

Algorithm
egg-herbie
Counts
20 → 20
Iterations

Useful iterations: 3 (45.0ms)

IterNodesCost
0178112
1469108
21628104
35001103

prune91.0ms

Filtered
20 candidates to 14 candidates (70.0%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New19120
Fresh156
Picked011
Done000
Total20727

Merged error: 0.0b

Counts
27 → 7

localize23.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894)
0.1b
(fma (fma x 4.16438922228 78.6994924154) x 137.519416416)
0.3b
(/ 1 (+ (* (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x) 47.066876606))
23.1b
(* (fma (fma (fma (fma x 4.16438922228 78.6994924154) x 137.519416416) x y) x z) (/ 1 (+ (* (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x) 47.066876606)))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
4×associate-/r/
3×associate-*r/ associate-*r* clear-num
2×frac-2neg flip3-+ un-div-inv flip-+ fma-udef div-inv
1×*-commutative inv-pow
Counts
4 → 17
Calls
4 calls:
1.0ms
(fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894)
1.0ms
(fma (fma x 4.16438922228 78.6994924154) x 137.519416416)
4.0ms
(/ 1 (+ (* (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x) 47.066876606))
5.0ms
(* (fma (fma (fma (fma x 4.16438922228 78.6994924154) x 137.519416416) x y) x z) (/ 1 (+ (* (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x) 47.066876606)))

series370.0ms

Counts
4 → 12
Calls
4 calls:
38.0ms
(fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894)
25.0ms
(fma (fma x 4.16438922228 78.6994924154) x 137.519416416)
72.0ms
(/ 1 (+ (* (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x) 47.066876606))
234.0ms
(* (fma (fma (fma (fma x 4.16438922228 78.6994924154) x 137.519416416) x y) x z) (/ 1 (+ (* (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x) 47.066876606)))

simplify85.0ms

Algorithm
egg-herbie
Counts
29 → 29
Iterations

Useful iterations: 3 (82.0ms)

IterNodesCost
0212148
1645142
23057139
35002138

prune95.0ms

Filtered
29 candidates to 19 candidates (65.5%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New27229
Fresh235
Picked011
Done101
Total30636

Merged error: 0.0b

Counts
36 → 6

regimes241.0ms

Accuracy

95.7% (1.1b remaining)

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

bsearch223.0ms

Steps
ItersRangePoint
7
555429331548894.9
20657595575902116.0
20293546711004988.0
9
-6.51773788957297e+22
-3.7127638754609146e+17
-4.394796063145287e+22

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
05020
15020

end0.0ms

sample751.0ms

Algorithm
intervals
Results
559.0ms8009×body80valid