Details

Time bar (total: 5.0s)

sample32.0ms

Algorithm
intervals
Results
15.0ms256×body80valid

simplify42.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
06211
115411
250311
3184011
4500311

prune17.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

localize20.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.1b
(fma (fma x 4.16438922228 78.6994924154) x 137.519416416)
0.3b
(/ (- 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 (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606)
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))

series527.0ms

Counts
4 → 12
Calls
4 calls:
52.0ms
(fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606)
28.0ms
(fma (fma x 4.16438922228 78.6994924154) x 137.519416416)
275.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)))
171.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))

simplify64.0ms

Algorithm
egg-herbie
Counts
27 → 27
Iterations

Useful iterations: 2 (15.0ms)

IterNodesCost
0193167
1557163
22085159
35002159

prune123.0ms

Filtered
27 candidates to 19 candidates (70.4%)
Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New21627
Fresh011
Picked101
Done000
Total22729

Merged error: 0.0b

Counts
29 → 7

localize23.0ms

Local error

Found 4 expressions with local error:

0.1b
(fma (fma x 4.16438922228 78.6994924154) x 137.519416416)
0.2b
(* (/ (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)) (+ x 2.0))
15.5b
(/ (- (* x x) (* 2.0 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)) (+ x 2.0)))
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))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
22×*-commutative
16×difference-of-squares
12×frac-times times-frac
11×associate-/r/
8×frac-2neg flip3-+ clear-num flip-+ div-inv
6×associate-*l* associate-*l/
4×associate-*r/ associate-/l*
3×associate-/r*
2×+-commutative distribute-rgt-in distribute-lft-in associate-/l/
1×flip3-- div-sub flip-- fma-udef
Counts
4 → 57
Calls
4 calls:
1.0ms
(fma (fma x 4.16438922228 78.6994924154) x 137.519416416)
4.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)) (+ x 2.0))
10.0ms
(/ (- (* x x) (* 2.0 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)) (+ x 2.0)))
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))

series714.0ms

Counts
4 → 12
Calls
4 calls:
28.0ms
(fma (fma x 4.16438922228 78.6994924154) x 137.519416416)
190.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)) (+ x 2.0))
322.0ms
(/ (- (* x x) (* 2.0 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)) (+ x 2.0)))
173.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))

simplify64.0ms

Algorithm
egg-herbie
Counts
69 → 69
Iterations

Useful iterations: 2 (54.0ms)

IterNodesCost
0419744
12182702
25001697

prune281.0ms

Filtered
69 candidates to 47 candidates (68.1%)
Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New64569
Fresh516
Picked101
Done000
Total70676

Merged error: 0.0b

Counts
76 → 6

localize24.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma (fma (fma (fma x 4.16438922228 78.6994924154) x 137.519416416) x y) x z)
0.1b
(fma (fma x 4.16438922228 78.6994924154) x 137.519416416)
15.4b
(/ (- (* x x) (* 2.0 2.0)) (+ x 2.0))
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))

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
4×*-commutative associate-/l* difference-of-squares
2×frac-2neg clear-num associate-/r/ fma-udef div-inv associate-/l/
1×flip3-- flip3-+ div-sub flip-- flip-+
Counts
4 → 17
Calls
4 calls:
1.0ms
(fma (fma (fma (fma x 4.16438922228 78.6994924154) x 137.519416416) x y) x z)
1.0ms
(fma (fma x 4.16438922228 78.6994924154) x 137.519416416)
8.0ms
(/ (- (* x x) (* 2.0 2.0)) (+ x 2.0))
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))

series451.0ms

Counts
4 → 12
Calls
4 calls:
100.0ms
(fma (fma (fma (fma x 4.16438922228 78.6994924154) x 137.519416416) x y) x z)
25.0ms
(fma (fma x 4.16438922228 78.6994924154) x 137.519416416)
84.0ms
(/ (- (* x x) (* 2.0 2.0)) (+ x 2.0))
241.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))

simplify69.0ms

Algorithm
egg-herbie
Counts
29 → 29
Iterations

Useful iterations: 3 (65.0ms)

IterNodesCost
0218127
1679123
22488115
35002112

prune130.0ms

Filtered
29 candidates to 20 candidates (69.0%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New29029
Fresh055
Picked011
Done000
Total29635

Merged error: 0.0b

Counts
35 → 6

localize25.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606) (/ 1 (fma (fma (fma (fma x 4.16438922228 78.6994924154) x 137.519416416) x y) x z))) (+ x 2.0))
0.4b
(/ 1 (fma (fma (fma (fma x 4.16438922228 78.6994924154) x 137.519416416) x y) x z))
15.5b
(/ (- (* x x) (* 2.0 2.0)) (* (* (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606) (/ 1 (fma (fma (fma (fma x 4.16438922228 78.6994924154) x 137.519416416) x y) x z))) (+ x 2.0)))
22.8b
(* (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606) (/ 1 (fma (fma (fma (fma x 4.16438922228 78.6994924154) x 137.519416416) x y) x z)))

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
37×*-commutative
25×associate-*r/
24×difference-of-squares
20×frac-times times-frac
18×associate-*l*
17×associate-/r/
16×clear-num
14×un-div-inv
12×flip3-+ flip-+
10×associate-*l/
9×frac-2neg div-inv
7×associate-*r*
5×associate-/r*
4×associate-/l*
2×+-commutative distribute-rgt-in distribute-lft-in associate-/l/
1×flip3-- div-sub flip-- inv-pow
Counts
4 → 88
Calls
4 calls:
6.0ms
(* (* (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606) (/ 1 (fma (fma (fma (fma x 4.16438922228 78.6994924154) x 137.519416416) x y) x z))) (+ x 2.0))
2.0ms
(/ 1 (fma (fma (fma (fma x 4.16438922228 78.6994924154) x 137.519416416) x y) x z))
12.0ms
(/ (- (* x x) (* 2.0 2.0)) (* (* (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606) (/ 1 (fma (fma (fma (fma x 4.16438922228 78.6994924154) x 137.519416416) x y) x z))) (+ x 2.0)))
3.0ms
(* (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606) (/ 1 (fma (fma (fma (fma x 4.16438922228 78.6994924154) x 137.519416416) x y) x z)))

series818.0ms

Counts
4 → 12
Calls
4 calls:
197.0ms
(* (* (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606) (/ 1 (fma (fma (fma (fma x 4.16438922228 78.6994924154) x 137.519416416) x y) x z))) (+ x 2.0))
107.0ms
(/ 1 (fma (fma (fma (fma x 4.16438922228 78.6994924154) x 137.519416416) x y) x z))
337.0ms
(/ (- (* x x) (* 2.0 2.0)) (* (* (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606) (/ 1 (fma (fma (fma (fma x 4.16438922228 78.6994924154) x 137.519416416) x y) x z))) (+ x 2.0)))
175.0ms
(* (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606) (/ 1 (fma (fma (fma (fma x 4.16438922228 78.6994924154) x 137.519416416) x y) x z)))

simplify63.0ms

Algorithm
egg-herbie
Counts
100 → 100
Iterations

Useful iterations: 2 (49.0ms)

IterNodesCost
04441074
120231000
25001993

prune299.0ms

Filtered
100 candidates to 52 candidates (52.0%)
Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New991100
Fresh134
Picked011
Done011
Total1006106

Merged error: 0.0b

Counts
106 → 6

regimes280.0ms

Accuracy

97.1% (0.7b remaining)

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

bsearch230.0ms

Steps
ItersRangePoint
10
4166583839.1423283
8.057486284669742e+26
7.537392431048851e+26
6
-6.2786212248486995e+38
-5.768484201873839e+37
-5.443849788608075e+38

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04419
14419

end0.0ms

sample674.0ms

Algorithm
intervals
Results
505.0ms8005×body80valid