Details

Time bar (total: 20.4s)

sample53.0ms

Algorithm
intervals
Results
33.0ms256×body80valid

simplify1.8s

Counts
1 → 1
Iterations

Useful iterations: 1 (6.0ms)

IterNodesCost
02937
16230
215430
350230
4176630
done500030

prune14.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 25.7b

localize45.0ms

Local error

Found 4 expressions with local error:

0.1b
(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)))
24.9b
(/ (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))

rewrite40.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)
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)))
10.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))

series786.0ms

Counts
4 → 12
Calls
4 calls:
53.0ms
(fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894)
32.0ms
(fma (fma x 4.16438922228 78.6994924154) x 137.519416416)
463.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)))
238.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.6s

Counts
164 → 164
Iterations

Useful iterations: done (1.6s)

IterNodesCost
02667066
16596938
221356594
done50006585

prune1.4s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize41.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (- x 2.0) (/ (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)))
0.1b
(fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894)
0.1b
(fma (fma x 4.16438922228 78.6994924154) x 137.519416416)
24.9b
(/ (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))

rewrite58.0ms

Algorithm
rewrite-expression-head
Rules
27×add-sqr-sqrt
22×*-un-lft-identity
20×add-cube-cbrt
19×times-frac
13×associate-*r*
11×add-exp-log add-cbrt-cube
6×pow1
5×associate-*l*
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×associate-/r* associate-/l*
2×cbrt-undiv frac-times flip3-- div-exp associate-*l/ prod-exp flip-- cbrt-unprod fma-udef div-inv unswap-sqr
1×frac-2neg associate-*r/ pow-prod-down clear-num *-commutative distribute-lft-out-- difference-of-squares
Counts
4 → 89
Calls
4 calls:
34.0ms
(* (- x 2.0) (/ (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)))
1.0ms
(fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894)
1.0ms
(fma (fma x 4.16438922228 78.6994924154) x 137.519416416)
10.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))

series923.0ms

Counts
4 → 12
Calls
4 calls:
445.0ms
(* (- x 2.0) (/ (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)))
46.0ms
(fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894)
57.0ms
(fma (fma x 4.16438922228 78.6994924154) x 137.519416416)
375.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))

simplify2.0s

Counts
101 → 101
Iterations

Useful iterations: done (1.9s)

IterNodesCost
01853065
13993018
213662690
done50002682

prune717.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize63.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (- (pow x 3) (pow 2.0 3)) (/ (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)))
0.1b
(fma (fma x 4.16438922228 78.6994924154) x 137.519416416)
21.2b
(/ (* (- (pow x 3) (pow 2.0 3)) (/ (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))) (+ (* x x) (+ (* 2.0 2.0) (* x 2.0))))
24.9b
(/ (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))

rewrite298.0ms

Algorithm
rewrite-expression-head
Rules
51×add-sqr-sqrt
32×*-un-lft-identity
25×associate-*l*
22×add-cube-cbrt times-frac
20×add-exp-log add-cbrt-cube
16×difference-of-squares
13×associate-*r*
12×unpow-prod-down cube-prod
8×sqr-pow
6×pow1 cbrt-undiv div-exp associate-/r*
5×associate-/l/ distribute-lft-out--
4×expm1-log1p-u frac-times flip3-- associate-*l/ prod-exp flip-- cbrt-unprod log1p-expm1-u associate-/l* add-log-exp
3×div-inv
2×frac-2neg associate-*r/ clear-num associate-/r/ unswap-sqr
1×difference-cubes flip3-+ pow-prod-down *-commutative flip-+ fma-udef
Counts
4 → 131
Calls
4 calls:
148.0ms
(* (- (pow x 3) (pow 2.0 3)) (/ (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)))
0.0ms
(fma (fma x 4.16438922228 78.6994924154) x 137.519416416)
139.0ms
(/ (* (- (pow x 3) (pow 2.0 3)) (/ (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))) (+ (* x x) (+ (* 2.0 2.0) (* x 2.0))))
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))

series1.3s

Counts
4 → 12
Calls
4 calls:
357.0ms
(* (- (pow x 3) (pow 2.0 3)) (/ (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)))
28.0ms
(fma (fma x 4.16438922228 78.6994924154) x 137.519416416)
561.0ms
(/ (* (- (pow x 3) (pow 2.0 3)) (/ (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))) (+ (* x x) (+ (* 2.0 2.0) (* x 2.0))))
337.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))

simplify1.4s

Counts
143 → 143
Iterations

Useful iterations: done (1.4s)

IterNodesCost
02625734
16825489
229574806
done50004803

prune1.3s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize58.0ms

Local error

Found 4 expressions with local error:

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

rewrite48.0ms

Algorithm
rewrite-expression-head
Rules
27×add-sqr-sqrt
21×*-un-lft-identity
20×add-cube-cbrt times-frac
17×add-exp-log
13×associate-*r*
11×add-cbrt-cube
7×pow1
4×expm1-log1p-u div-exp prod-exp log1p-expm1-u add-log-exp
3×associate-*l* associate-/r* associate-/l* unswap-sqr
2×cbrt-undiv rec-exp 1-exp cbrt-unprod fma-udef div-inv
1×pow-flip frac-2neg associate-*r/ pow-prod-down clear-num un-div-inv *-commutative inv-pow
Counts
4 → 91
Calls
4 calls:
1.0ms
(fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894)
1.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))
30.0ms
(* (fma (fma (fma (fma x 4.16438922228 78.6994924154) x 137.519416416) x y) x z) (/ 1 (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606)))

series612.0ms

Counts
4 → 12
Calls
4 calls:
49.0ms
(fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894)
41.0ms
(fma (fma x 4.16438922228 78.6994924154) x 137.519416416)
96.0ms
(/ 1 (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606))
427.0ms
(* (fma (fma (fma (fma x 4.16438922228 78.6994924154) x 137.519416416) x y) x z) (/ 1 (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606)))

simplify2.4s

Counts
103 → 103
Iterations

Useful iterations: done (2.4s)

IterNodesCost
01722430
13632272
28961996
326021988
done50001985

prune512.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.0b

regimes460.0ms

Accuracy

96.7% (0.8b remaining)

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

bsearch439.0ms

Steps
ItersRangePoint
6
7.769509167694276e+22
1.0155484648794991e+24
9.98303336278828e+23
10
-2.0172170472211408e+39
-1.6030899885608685e+28
-3.947481332209468e+38

simplify12.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
05079
15779
done5779

end0.0ms

sample2.0s

Algorithm
intervals
Results
1.7s8009×body80valid