Details

Time bar (total: 19.8s)

sample60.0ms

Algorithm
intervals
Results
30.0ms256×body80valid

simplify1.7s

Counts
1 → 1
Iterations

Useful iterations: 1 (23.0ms)

IterNodesCost
02937
16230
215430
351330
4220730
done500130

prune22.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 26.9b

localize37.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)))
26.1b
(/ (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))

rewrite65.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 (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606)
0.0ms
(fma (fma x 4.16438922228 78.6994924154) x 137.519416416)
35.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)))
8.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))

series671.0ms

Counts
4 → 12
Calls
4 calls:
55.0ms
(fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606)
27.0ms
(fma (fma x 4.16438922228 78.6994924154) x 137.519416416)
367.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)))
222.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))

simplify1.5s

Counts
164 → 164
Iterations

Useful iterations: done (1.5s)

IterNodesCost
02637109
17327003
234446641
done50016636

prune915.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize45.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.1b
(/ 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)))
26.1b
(/ (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
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 (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606)
0.0ms
(fma (fma x 4.16438922228 78.6994924154) x 137.519416416)
11.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)))
5.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))

series664.0ms

Counts
4 → 12
Calls
4 calls:
82.0ms
(fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606)
40.0ms
(fma (fma x 4.16438922228 78.6994924154) x 137.519416416)
312.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)))
230.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))

simplify1.0s

Counts
139 → 139
Iterations

Useful iterations: done (1.0s)

IterNodesCost
02115176
14804947
221634643
done50004517

prune576.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0b

localize27.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894)
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)
26.1b
(/ (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))

rewrite7.0ms

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

series486.0ms

Counts
4 → 12
Calls
4 calls:
54.0ms
(fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894)
68.0ms
(fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606)
39.0ms
(fma (fma x 4.16438922228 78.6994924154) x 137.519416416)
325.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))

simplify5.2s

Counts
71 → 71
Iterations

Useful iterations: done (5.2s)

IterNodesCost
01281721
12491691
26991527
328981521
done50001508

prune490.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize44.0ms

Local error

Found 4 expressions with local error:

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

rewrite12.0ms

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

series755.0ms

Counts
4 → 12
Calls
4 calls:
135.0ms
(cbrt (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894))
137.0ms
(cbrt (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894))
166.0ms
(cbrt (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894))
317.0ms
(/ (fma (fma (fma (fma x 4.16438922228 78.6994924154) x 137.519416416) x y) x z) (fma (* (* (cbrt (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894)) (cbrt (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894))) (cbrt (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894))) x 47.066876606))

simplify1.9s

Counts
80 → 80
Iterations

Useful iterations: done (1.9s)

IterNodesCost
01373087
12843054
28271990
332601803
done50001788

prune641.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

regimes266.0ms

Accuracy

98.4% (0.4b remaining)

Error of 0.4b against oracle of 0.0b and baseline of 25.0b

bsearch398.0ms

Steps
ItersRangePoint
8
3.7740427348779304e+65
4.0812815848014643e+68
4.733154227916775e+67
8
-2.5023847974189304e+56
-1.5843314335962344e+52
-8.446602559927393e+55

simplify36.0ms

Iterations

Useful iterations: 1 (24.0ms)

IterNodesCost
03974
15054
25254
done5254

end0.0ms

sample2.3s

Algorithm
intervals
Results
1.8s8006×body80valid