Details

Time bar (total: 7.6s)

sample32.0ms

Algorithm
intervals
Results
16.0ms256×body80valid

simplify43.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
06211
115411
250311
3184011
4500311

prune16.0ms

Filtered
1 candidates to 1 candidates (100.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 22.2b

localize19.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
(/ (- 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)))
21.5b
(/ (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))

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
128×times-frac
96×add-sqr-sqrt *-un-lft-identity
68×add-cube-cbrt
16×associate-/r*
14×distribute-lft-out-- difference-of-squares
11×add-exp-log add-cbrt-cube
8×div-inv associate-/l*
4×pow1 cbrt-undiv expm1-log1p-u div-exp log1p-expm1-u add-log-exp
2×frac-2neg clear-num fma-udef associate-/l/
1×flip3-- div-sub associate-/r/ flip--
Counts
4 → 152
Calls
4 calls:
0.0ms
(fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894)
0.0ms
(fma (fma x 4.16438922228 78.6994924154) x 137.519416416)
11.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)))
3.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))

series500.0ms

Counts
4 → 12
Calls
4 calls:
34.0ms
(fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894)
24.0ms
(fma (fma x 4.16438922228 78.6994924154) x 137.519416416)
274.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)))
167.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))

simplify92.0ms

Algorithm
egg-herbie
Counts
164 → 164
Iterations

Useful iterations: 2 (55.0ms)

IterNodesCost
06742773
126182640
250012638

prune753.0ms

Filtered
164 candidates to 126 candidates (76.8%)
Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize21.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.2b
(/ 1 (/ (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)))
21.5b
(/ (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))

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
84×times-frac
54×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
17×add-exp-log
16×associate-/r*
11×add-cbrt-cube
8×div-exp
6×div-inv associate-/l*
5×pow1
4×cbrt-undiv expm1-log1p-u log1p-expm1-u add-log-exp
2×rec-exp frac-2neg 1-exp clear-num fma-udef
1×pow-flip associate-/r/ inv-pow
Counts
4 → 127
Calls
4 calls:
0.0ms
(fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894)
0.0ms
(fma (fma x 4.16438922228 78.6994924154) x 137.519416416)
5.0ms
(/ 1 (/ (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))

series481.0ms

Counts
4 → 12
Calls
4 calls:
40.0ms
(fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894)
25.0ms
(fma (fma x 4.16438922228 78.6994924154) x 137.519416416)
240.0ms
(/ 1 (/ (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))

simplify63.0ms

Algorithm
egg-herbie
Counts
139 → 139
Iterations

Useful iterations: 2 (39.0ms)

IterNodesCost
04411963
117951792
250011715

prune498.0ms

Filtered
139 candidates to 86 candidates (61.9%)
Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

localize29.0ms

Local error

Found 4 expressions with local error:

5.4b
(sqrt (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606))
5.4b
(sqrt (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606))
15.6b
(* (/ 1 (sqrt (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) (sqrt (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606))))
18.6b
(/ (fma (fma (fma (fma x 4.16438922228 78.6994924154) x 137.519416416) x y) x z) (sqrt (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606)))

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
95×add-sqr-sqrt
76×times-frac
53×*-un-lft-identity
47×add-cube-cbrt sqrt-prod
28×add-exp-log
22×associate-*r* associate-*l*
18×add-cbrt-cube
15×unswap-sqr
9×div-exp
8×pow1 prod-exp
6×associate-/r*
5×cbrt-undiv
4×expm1-log1p-u cbrt-unprod log1p-expm1-u add-log-exp
3×div-inv associate-/l*
2×rem-sqrt-square rec-exp sqrt-pow1 pow1/2 1-exp
1×frac-times frac-2neg associate-*r/ pow-prod-down associate-*l/ clear-num *-commutative
Counts
4 → 156
Calls
4 calls:
1.0ms
(sqrt (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606))
1.0ms
(sqrt (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606))
24.0ms
(* (/ 1 (sqrt (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) (sqrt (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606))))
3.0ms
(/ (fma (fma (fma (fma x 4.16438922228 78.6994924154) x 137.519416416) x y) x z) (sqrt (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606)))

series812.0ms

Counts
4 → 12
Calls
4 calls:
100.0ms
(sqrt (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606))
107.0ms
(sqrt (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606))
238.0ms
(* (/ 1 (sqrt (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) (sqrt (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606))))
366.0ms
(/ (fma (fma (fma (fma x 4.16438922228 78.6994924154) x 137.519416416) x y) x z) (sqrt (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606)))

simplify89.0ms

Algorithm
egg-herbie
Counts
168 → 168
Iterations

Useful iterations: 2 (56.0ms)

IterNodesCost
05712958
124832644
250012512

prune698.0ms

Filtered
168 candidates to 107 candidates (63.7%)
Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0b

localize33.0ms

Local error

Found 4 expressions with local error:

0.1b
(fma (fma x 4.16438922228 78.6994924154) x 137.519416416)
0.3b
(/ 1 (fma (fma (fma (fma x 4.16438922228 78.6994924154) x 137.519416416) x y) x z))
1.9b
(/ (- x 2.0) (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606))
21.4b
(/ (/ (- x 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)))

rewrite59.0ms

Algorithm
rewrite-expression-head
Rules
661×times-frac
380×add-sqr-sqrt *-un-lft-identity
288×add-cube-cbrt
46×distribute-lft-out-- difference-of-squares
37×div-inv
32×add-exp-log
27×associate-/l*
20×add-cbrt-cube
19×div-exp associate-/r*
10×cbrt-undiv
5×pow1
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×rec-exp frac-2neg 1-exp div-sub clear-num associate-/l/
1×flip3-- pow-flip associate-/r/ flip-- fma-udef inv-pow
Counts
4 → 389
Calls
4 calls:
0.0ms
(fma (fma x 4.16438922228 78.6994924154) x 137.519416416)
2.0ms
(/ 1 (fma (fma (fma (fma x 4.16438922228 78.6994924154) x 137.519416416) x y) x z))
9.0ms
(/ (- x 2.0) (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606))
18.0ms
(/ (/ (- x 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)))

series497.0ms

Counts
4 → 12
Calls
4 calls:
25.0ms
(fma (fma x 4.16438922228 78.6994924154) x 137.519416416)
97.0ms
(/ 1 (fma (fma (fma (fma x 4.16438922228 78.6994924154) x 137.519416416) x y) x z))
93.0ms
(/ (- x 2.0) (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606))
282.0ms
(/ (/ (- x 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)))

simplify138.0ms

Algorithm
egg-herbie
Counts
401 → 401
Iterations

Useful iterations: 1 (34.0ms)

IterNodesCost
016928831
150028373

prune1.4s

Filtered
401 candidates to 224 candidates (55.9%)
Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 0b

regimes273.0ms

Accuracy

97.1% (0.7b remaining)

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

bsearch288.0ms

Steps
ItersRangePoint
11
1.77355994604178e+15
4.590133744500939e+38
1.8965936904451334e+38
9
-3.7650844175942956e+80
-1.0220898619722522e+74
-4.610009288592595e+75

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
05224
15224

end0.0ms

sample683.0ms

Algorithm
intervals
Results
514.0ms8013×body80valid