Details

Time bar (total: 18.8s)

sample57.0ms

Algorithm
intervals
Results
32.0ms256×body80valid

simplify1.7s

Counts
1 → 1
Iterations
IterNodes
done5000
42165
3512
2154
162
029

prune22.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 24.0b

localize42.0ms

Local error

Found 4 expressions with local error:

0.1b
(fma (fma (fma (+ 43.3400022514 x) x 263.505074721) x 313.399215894) x 47.066876606)
0.1b
(fma x (fma x 4.16438922228 78.6994924154) 137.519416416)
2.1b
(/ (fma (fma (fma (+ 43.3400022514 x) x 263.505074721) x 313.399215894) x 47.066876606) (- x 2.0))
23.1b
(/ (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)))

rewrite38.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 log1p-expm1-u add-log-exp
2×clear-num frac-2neg fma-udef
Counts
4 → 163
Calls
4 calls:
0.0ms
(fma (fma (fma (+ 43.3400022514 x) x 263.505074721) x 313.399215894) x 47.066876606)
0.0ms
(fma x (fma x 4.16438922228 78.6994924154) 137.519416416)
9.0ms
(/ (fma (fma (fma (+ 43.3400022514 x) x 263.505074721) x 313.399215894) x 47.066876606) (- x 2.0))
14.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)))

series621.0ms

Counts
4 → 12
Calls
4 calls:
60.0ms
(fma (fma (fma (+ 43.3400022514 x) x 263.505074721) x 313.399215894) x 47.066876606)
28.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))
426.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)))

simplify1.4s

Counts
175 → 175
Iterations
IterNodes
done5001
23541
1702
0293

prune1.6s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.2b

localize42.0ms

Local error

Found 4 expressions with local error:

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

rewrite6.0ms

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

series519.0ms

Counts
4 → 12
Calls
4 calls:
49.0ms
(fma x (fma (+ x 43.3400022514) x 263.505074721) 313.399215894)
66.0ms
(fma x (fma x (fma (+ x 43.3400022514) x 263.505074721) 313.399215894) 47.066876606)
30.0ms
(fma (fma 4.16438922228 x 78.6994924154) x 137.519416416)
374.0ms
(/ (fma (fma x (fma (fma 4.16438922228 x 78.6994924154) x 137.519416416) y) x z) (fma x (fma x (fma (+ x 43.3400022514) x 263.505074721) 313.399215894) 47.066876606))

simplify1.4s

Counts
71 → 71
Iterations
IterNodes
done5000
33039
2711
1249
0128

prune763.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.2b

localize98.0ms

Local error

Found 4 expressions with local error:

15.2b
(cbrt (fma (fma x 4.16438922228 78.6994924154) x 137.519416416))
15.2b
(cbrt (fma (fma x 4.16438922228 78.6994924154) x 137.519416416))
15.2b
(cbrt (fma (fma x 4.16438922228 78.6994924154) x 137.519416416))
23.2b
(/ (fma (fma x (* (* (cbrt (fma (fma x 4.16438922228 78.6994924154) x 137.519416416)) (cbrt (fma (fma x 4.16438922228 78.6994924154) x 137.519416416))) (cbrt (fma (fma x 4.16438922228 78.6994924154) x 137.519416416))) y) x z) (fma x (fma x (fma (+ x 43.3400022514) x 263.505074721) 313.399215894) 47.066876606))

rewrite7.0ms

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

series838.0ms

Counts
4 → 12
Calls
4 calls:
160.0ms
(cbrt (fma (fma x 4.16438922228 78.6994924154) x 137.519416416))
192.0ms
(cbrt (fma (fma x 4.16438922228 78.6994924154) x 137.519416416))
233.0ms
(cbrt (fma (fma x 4.16438922228 78.6994924154) x 137.519416416))
252.0ms
(/ (fma (fma x (* (* (cbrt (fma (fma x 4.16438922228 78.6994924154) x 137.519416416)) (cbrt (fma (fma x 4.16438922228 78.6994924154) x 137.519416416))) (cbrt (fma (fma x 4.16438922228 78.6994924154) x 137.519416416))) y) x z) (fma x (fma x (fma (+ x 43.3400022514) x 263.505074721) 313.399215894) 47.066876606))

simplify1.9s

Counts
80 → 80
Iterations
IterNodes
done5000
34370
2983
1329
0152

prune864.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.2b

localize48.0ms

Local error

Found 4 expressions with local error:

0.1b
(fma (fma 4.16438922228 x 78.6994924154) x 137.519416416)
3.0b
(/ (fma (fma x (fma (fma 4.16438922228 x 78.6994924154) x 137.519416416) y) x z) (+ 2.0 x))
20.1b
(* (/ (* 1 (- (* x x) (* 2.0 2.0))) (fma x (fma x (fma (+ x 43.3400022514) x 263.505074721) 313.399215894) 47.066876606)) (/ (fma (fma x (fma (fma 4.16438922228 x 78.6994924154) x 137.519416416) y) x z) (+ 2.0 x)))
22.1b
(/ (* 1 (- (* x x) (* 2.0 2.0))) (fma x (fma x (fma (+ x 43.3400022514) x 263.505074721) 313.399215894) 47.066876606))

rewrite85.0ms

Algorithm
rewrite-expression-head
Rules
41×add-exp-log
39×*-un-lft-identity
32×add-cbrt-cube
31×times-frac
30×add-sqr-sqrt
25×add-cube-cbrt
18×associate-*r*
14×div-exp prod-exp
10×cbrt-undiv
9×cbrt-unprod
7×associate-/r* associate-*l* distribute-lft-out
6×pow1
4×expm1-log1p-u associate-/r/ log1p-expm1-u div-inv associate-/l* add-log-exp
3×1-exp associate-*r/
2×clear-num frac-2neg flip3-+ flip-+ unswap-sqr associate-/l/
1×frac-times flip3-- pow-prod-down associate-*l/ *-commutative fma-udef flip--
Counts
4 → 126
Calls
4 calls:
0.0ms
(fma (fma 4.16438922228 x 78.6994924154) x 137.519416416)
10.0ms
(/ (fma (fma x (fma (fma 4.16438922228 x 78.6994924154) x 137.519416416) y) x z) (+ 2.0 x))
46.0ms
(* (/ (* 1 (- (* x x) (* 2.0 2.0))) (fma x (fma x (fma (+ x 43.3400022514) x 263.505074721) 313.399215894) 47.066876606)) (/ (fma (fma x (fma (fma 4.16438922228 x 78.6994924154) x 137.519416416) y) x z) (+ 2.0 x)))
24.0ms
(/ (* 1 (- (* x x) (* 2.0 2.0))) (fma x (fma x (fma (+ x 43.3400022514) x 263.505074721) 313.399215894) 47.066876606))

series723.0ms

Counts
4 → 12
Calls
4 calls:
37.0ms
(fma (fma 4.16438922228 x 78.6994924154) x 137.519416416)
199.0ms
(/ (fma (fma x (fma (fma 4.16438922228 x 78.6994924154) x 137.519416416) y) x z) (+ 2.0 x))
396.0ms
(* (/ (* 1 (- (* x x) (* 2.0 2.0))) (fma x (fma x (fma (+ x 43.3400022514) x 263.505074721) 313.399215894) 47.066876606)) (/ (fma (fma x (fma (fma 4.16438922228 x 78.6994924154) x 137.519416416) y) x z) (+ 2.0 x)))
91.0ms
(/ (* 1 (- (* x x) (* 2.0 2.0))) (fma x (fma x (fma (+ x 43.3400022514) x 263.505074721) 313.399215894) 47.066876606))

simplify1.9s

Counts
138 → 138
Iterations
IterNodes
done5001
24191
1700
0244

prune1.2s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.2b

regimes467.0ms

Accuracy

97.8% (0.5b remaining)

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

bsearch294.0ms

Steps
ItersRangePoint
9
3.0455316621450604e+53
6.601528886642014e+60
2.375361050611562e+59
7
-3.5539660008838154e+52
-7.123290046831777e+50
-1.486655794493064e+52

simplify4.0ms

Iterations
IterNodes
done49
149
044

end0.0ms

sample2.1s

Algorithm
intervals
Results
1.6s8007×body80valid