Details

Time bar (total: 27.6s)

sample85.0ms

Algorithm
intervals
Results
59.0ms256×body80valid

simplify810.0ms

Counts
1 → 1
Iterations
IterNodes
done2000
41857
3505
2152
162
029

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 26.0b

localize37.0ms

Local error

Found 4 expressions with local error:

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

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
9×add-cbrt-cube add-exp-log
6×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u add-log-exp
3×associate-/r* times-frac fma-udef
2×cbrt-undiv div-exp associate-*r/ associate-/l/
1×clear-num frac-2neg flip3-- prod-exp cbrt-unprod div-inv flip-- associate-/l*
Counts
4 → 59
Calls
4 calls:
0.0ms
(fma (fma (fma (+ 43.3400022514 x) x 263.505074721) x 313.399215894) x 47.066876606)
0.0ms
(fma (fma (+ 43.3400022514 x) x 263.505074721) x 313.399215894)
0.0ms
(fma x (fma x 4.16438922228 78.6994924154) 137.519416416)
23.0ms
(/ (* (fma x (fma x (fma x (fma x 4.16438922228 78.6994924154) 137.519416416) y) z) (- x 2.0)) (fma (fma (fma (+ 43.3400022514 x) x 263.505074721) x 313.399215894) x 47.066876606))

series523.0ms

Counts
4 → 12
Calls
4 calls:
64.0ms
(fma (fma (fma (+ 43.3400022514 x) x 263.505074721) x 313.399215894) x 47.066876606)
59.0ms
(fma (fma (+ 43.3400022514 x) x 263.505074721) x 313.399215894)
42.0ms
(fma x (fma x 4.16438922228 78.6994924154) 137.519416416)
358.0ms
(/ (* (fma x (fma x (fma x (fma x 4.16438922228 78.6994924154) 137.519416416) y) z) (- x 2.0)) (fma (fma (fma (+ 43.3400022514 x) x 263.505074721) x 313.399215894) x 47.066876606))

simplify621.0ms

Counts
71 → 71
Iterations
IterNodes
done2001
21001
1326
0140

prune575.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize58.0ms

Local error

Found 4 expressions with local error:

0.1b
(fma (fma (+ 43.3400022514 x) x 263.505074721) x 313.399215894)
0.1b
(fma x (fma x 4.16438922228 78.6994924154) 137.519416416)
2.3b
(/ (fma (fma (fma (+ 43.3400022514 x) x 263.505074721) x 313.399215894) x 47.066876606) (- x 2.0))
23.6b
(/ (fma x (fma x (fma x (fma x 4.16438922228 78.6994924154) 137.519416416) y) z) (/ (fma (fma (fma (+ 43.3400022514 x) x 263.505074721) x 313.399215894) x 47.066876606) (- x 2.0)))

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
138×times-frac
104×add-sqr-sqrt *-un-lft-identity
72×add-cube-cbrt
26×associate-/r*
16×distribute-lft-out-- difference-of-squares
11×add-cbrt-cube add-exp-log associate-/r/
6×div-inv associate-/l*
5×flip3-- flip--
4×expm1-log1p-u pow1 cbrt-undiv div-exp insert-posit16 log1p-expm1-u add-log-exp
2×clear-num frac-2neg fma-udef
Counts
4 → 167
Calls
4 calls:
0.0ms
(fma (fma (+ 43.3400022514 x) x 263.505074721) x 313.399215894)
0.0ms
(fma x (fma x 4.16438922228 78.6994924154) 137.519416416)
13.0ms
(/ (fma (fma (fma (+ 43.3400022514 x) x 263.505074721) x 313.399215894) x 47.066876606) (- x 2.0))
13.0ms
(/ (fma x (fma x (fma x (fma x 4.16438922228 78.6994924154) 137.519416416) y) z) (/ (fma (fma (fma (+ 43.3400022514 x) x 263.505074721) x 313.399215894) x 47.066876606) (- x 2.0)))

series527.0ms

Counts
4 → 12
Calls
4 calls:
53.0ms
(fma (fma (+ 43.3400022514 x) x 263.505074721) x 313.399215894)
29.0ms
(fma x (fma x 4.16438922228 78.6994924154) 137.519416416)
107.0ms
(/ (fma (fma (fma (+ 43.3400022514 x) x 263.505074721) x 313.399215894) x 47.066876606) (- x 2.0))
338.0ms
(/ (fma x (fma x (fma x (fma x 4.16438922228 78.6994924154) 137.519416416) y) z) (/ (fma (fma (fma (+ 43.3400022514 x) x 263.505074721) x 313.399215894) x 47.066876606) (- x 2.0)))

simplify744.0ms

Counts
179 → 179
Iterations
IterNodes
done2000
1699
0300

prune1.5s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize97.0ms

Local error

Found 4 expressions with local error:

0.1b
(fma x (fma x 4.16438922228 78.6994924154) 137.519416416)
0.2b
(/ 1 (/ (/ (fma (fma (fma (+ 43.3400022514 x) x 263.505074721) x 313.399215894) x 47.066876606) (- x 2.0)) (fma x (fma x (fma x (fma x 4.16438922228 78.6994924154) 137.519416416) y) z)))
2.3b
(/ (fma (fma (fma (+ 43.3400022514 x) x 263.505074721) x 313.399215894) x 47.066876606) (- x 2.0))
23.9b
(/ (/ (fma (fma (fma (+ 43.3400022514 x) x 263.505074721) x 313.399215894) x 47.066876606) (- x 2.0)) (fma x (fma x (fma x (fma x 4.16438922228 78.6994924154) 137.519416416) y) z))

rewrite97.0ms

Algorithm
rewrite-expression-head
Rules
771×times-frac
440×add-sqr-sqrt *-un-lft-identity
336×add-cube-cbrt
75×associate-/r*
52×distribute-lft-out-- difference-of-squares
35×associate-/r/
32×add-exp-log
27×associate-/l*
23×div-inv
20×add-cbrt-cube
19×div-exp
17×flip3-- flip--
10×cbrt-undiv
5×pow1
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×rec-exp clear-num frac-2neg 1-exp
1×fma-udef pow-flip inv-pow associate-/l/
Counts
4 → 455
Calls
4 calls:
0.0ms
(fma x (fma x 4.16438922228 78.6994924154) 137.519416416)
28.0ms
(/ 1 (/ (/ (fma (fma (fma (+ 43.3400022514 x) x 263.505074721) x 313.399215894) x 47.066876606) (- x 2.0)) (fma x (fma x (fma x (fma x 4.16438922228 78.6994924154) 137.519416416) y) z)))
14.0ms
(/ (fma (fma (fma (+ 43.3400022514 x) x 263.505074721) x 313.399215894) x 47.066876606) (- x 2.0))
26.0ms
(/ (/ (fma (fma (fma (+ 43.3400022514 x) x 263.505074721) x 313.399215894) x 47.066876606) (- x 2.0)) (fma x (fma x (fma x (fma x 4.16438922228 78.6994924154) 137.519416416) y) z))

series894.0ms

Counts
4 → 12
Calls
4 calls:
30.0ms
(fma x (fma x 4.16438922228 78.6994924154) 137.519416416)
427.0ms
(/ 1 (/ (/ (fma (fma (fma (+ 43.3400022514 x) x 263.505074721) x 313.399215894) x 47.066876606) (- x 2.0)) (fma x (fma x (fma x (fma x 4.16438922228 78.6994924154) 137.519416416) y) z)))
123.0ms
(/ (fma (fma (fma (+ 43.3400022514 x) x 263.505074721) x 313.399215894) x 47.066876606) (- x 2.0))
313.0ms
(/ (/ (fma (fma (fma (+ 43.3400022514 x) x 263.505074721) x 313.399215894) x 47.066876606) (- x 2.0)) (fma x (fma x (fma x (fma x 4.16438922228 78.6994924154) 137.519416416) y) z))

simplify1.8s

Counts
467 → 467
Iterations
IterNodes
done2000
11689
0646

prune4.0s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

localize56.0ms

Local error

Found 4 expressions with local error:

1.0b
(/ 1 (/ (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606) (- (* x x) (* 2.0 2.0))))
3.0b
(/ (+ x 2.0) (fma x (fma x (fma x (fma x 4.16438922228 78.6994924154) 137.519416416) y) z))
20.0b
(/ (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606) (- (* x x) (* 2.0 2.0)))
20.5b
(/ (/ 1 (/ (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606) (- (* x x) (* 2.0 2.0)))) (/ (+ x 2.0) (fma x (fma x (fma x (fma x 4.16438922228 78.6994924154) 137.519416416) y) z)))

rewrite154.0ms

Algorithm
rewrite-expression-head
Rules
3320×times-frac
1652×*-un-lft-identity
1284×add-sqr-sqrt add-cube-cbrt
184×distribute-lft-out
169×difference-of-squares
136×div-inv
131×associate-/r/
69×associate-/l*
64×add-exp-log
56×flip3-- flip--
44×div-exp
41×associate-/r*
34×add-cbrt-cube
20×cbrt-undiv
6×rec-exp 1-exp
5×pow1
4×expm1-log1p-u clear-num frac-2neg insert-posit16 log1p-expm1-u add-log-exp
3×associate-/l/
1×flip3-+ flip-+ pow-flip inv-pow
Counts
4 → 1225
Calls
4 calls:
33.0ms
(/ 1 (/ (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606) (- (* x x) (* 2.0 2.0))))
17.0ms
(/ (+ x 2.0) (fma x (fma x (fma x (fma x 4.16438922228 78.6994924154) 137.519416416) y) z))
11.0ms
(/ (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606) (- (* x x) (* 2.0 2.0)))
40.0ms
(/ (/ 1 (/ (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606) (- (* x x) (* 2.0 2.0)))) (/ (+ x 2.0) (fma x (fma x (fma x (fma x 4.16438922228 78.6994924154) 137.519416416) y) z)))

series778.0ms

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

simplify2.1s

Counts
1237 → 1237
Iterations
IterNodes
done2000
01798

prune9.1s

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0.0b

regimes297.0ms

Accuracy

97.7% (0.5b remaining)

Error of 0.6b against oracle of 0.0b and baseline of 23.1b

bsearch307.0ms

Steps
ItersRangePoint
6
2.699002956776353e+33
2.032094385037816e+34
2.0084271042117127e+34
9
-5.791807457220352e+57
-1.4431554052747283e+51
-3.9717766738087274e+52

simplify10.0ms

Iterations
IterNodes
done37
137
033

end0.0ms

sample2.3s

Algorithm
intervals
Results
2.1s8008×body80valid