Details

Time bar (total: 10.5s)

sample37.0ms

Algorithm
intervals
Results
18.0ms256×body80valid

simplify47.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
06211
115411
250311
3184011
4500311
done500311

prune12.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 21.7b

localize20.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)
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.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))

rewrite35.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 (fma x 4.16438922228 78.6994924154) x 137.519416416) x y) x z)
0.0ms
(fma (fma x 4.16438922228 78.6994924154) x 137.519416416)
23.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)))
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))

series575.0ms

Counts
4 → 12
Calls
4 calls:
95.0ms
(fma (fma (fma (fma x 4.16438922228 78.6994924154) x 137.519416416) x y) x z)
26.0ms
(fma (fma x 4.16438922228 78.6994924154) x 137.519416416)
276.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)))
177.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))

simplify88.0ms

Counts
164 → 164
Iterations

Useful iterations: 2 (59.0ms)

IterNodesCost
06732789
126382653
250022650
done50022650

prune735.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 4 expressions with local error:

0.1b
(fma (fma x 4.16438922228 78.6994924154) x 137.519416416)
0.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)) (- x 2.0))
0.3b
(/ 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)) (- x 2.0)))
21.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))

rewrite89.0ms

Algorithm
rewrite-expression-head
Rules
781×times-frac
468×add-sqr-sqrt *-un-lft-identity
336×add-cube-cbrt
79×associate-/r*
66×distribute-lft-out-- difference-of-squares
33×div-inv
32×add-exp-log
20×add-cbrt-cube
19×div-exp associate-/l*
11×associate-/r/
10×cbrt-undiv
5×pow1 flip3-- flip--
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×rec-exp frac-2neg 1-exp clear-num
1×pow-flip fma-udef associate-/l/ inv-pow
Counts
4 → 455
Calls
4 calls:
0.0ms
(fma (fma x 4.16438922228 78.6994924154) x 137.519416416)
17.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))
31.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)) (- x 2.0)))
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))

series676.0ms

Counts
4 → 12
Calls
4 calls:
26.0ms
(fma (fma x 4.16438922228 78.6994924154) x 137.519416416)
198.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))
276.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)) (- x 2.0)))
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))

simplify138.0ms

Counts
467 → 467
Iterations

Useful iterations: 1 (33.0ms)

IterNodesCost
0145110296
150019688
done50019688

prune1.7s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma (fma (fma x 4.16438922228 78.6994924154) x 137.519416416) x y)
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)
21.0b
(/ (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 (fma x 4.16438922228 78.6994924154) x 137.519416416) x y)
0.0ms
(fma (fma (fma (fma x 4.16438922228 78.6994924154) x 137.519416416) x y) x z)
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))

series419.0ms

Counts
4 → 12
Calls
4 calls:
54.0ms
(fma (fma (fma x 4.16438922228 78.6994924154) x 137.519416416) x y)
96.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)
244.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))

simplify92.0ms

Counts
71 → 71
Iterations

Useful iterations: 3 (78.0ms)

IterNodesCost
0248641
1684578
22822577
35001573
done5001573

prune333.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.0b

localize27.0ms

Local error

Found 4 expressions with local error:

5.2b
(sqrt (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606))
13.9b
(/ (/ (- x 2.0) (sqrt (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606))) (/ (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)))
14.1b
(/ (- x 2.0) (sqrt (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606)))
21.1b
(/ (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))

rewrite159.0ms

Algorithm
rewrite-expression-head
Rules
2116×times-frac
1176×add-sqr-sqrt
1175×*-un-lft-identity
885×add-cube-cbrt
693×sqrt-prod
145×distribute-lft-out-- difference-of-squares
61×div-inv
45×associate-/l*
31×associate-/r*
20×add-exp-log add-cbrt-cube
10×cbrt-undiv div-exp
5×pow1
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×frac-2neg div-sub clear-num associate-/l/
1×rem-sqrt-square flip3-- sqrt-pow1 pow1/2 associate-/r/ flip--
Counts
4 → 941
Calls
4 calls:
1.0ms
(sqrt (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606))
44.0ms
(/ (/ (- x 2.0) (sqrt (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606))) (/ (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)))
18.0ms
(/ (- x 2.0) (sqrt (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606)))
6.0ms
(/ (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))

series830.0ms

Counts
4 → 12
Calls
4 calls:
99.0ms
(sqrt (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606))
287.0ms
(/ (/ (- x 2.0) (sqrt (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606))) (/ (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)))
154.0ms
(/ (- x 2.0) (sqrt (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606)))
289.0ms
(/ (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))

simplify373.0ms

Counts
953 → 953
Iterations

Useful iterations: 1 (53.0ms)

IterNodesCost
0310433066
1500232245
done500232245

prune2.9s

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 0.0b

regimes202.0ms

Accuracy

97.5% (0.6b remaining)

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

bsearch185.0ms

Steps
ItersRangePoint
7
2.2095256272265483e+45
1.8064145994310359e+47
1.7834733910794853e+47
8
-1.3311690613302942e+72
-1.1681173154779068e+69
-4.113171276926967e+70

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04216
14216
done4216

end0.0ms

sample730.0ms

Algorithm
intervals
Results
499.0ms8004×body80valid