Details

Time bar (total: 21.1s)

sample98.0ms

Algorithm
intervals
Results
43.0ms256×body80valid

simplify1.8s

Counts
1 → 1
Iterations

Useful iterations: 1 (8.0ms)

IterNodesCost
02937
16230
215430
350230
4176630
done500030

prune15.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 25.7b

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

rewrite45.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:
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)
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))

series795.0ms

Counts
4 → 12
Calls
4 calls:
65.0ms
(fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894)
31.0ms
(fma (fma x 4.16438922228 78.6994924154) x 137.519416416)
418.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)))
280.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.4s

Counts
164 → 164
Iterations

Useful iterations: done (1.4s)

IterNodesCost
02667066
16596938
221356594
done50006585

prune1.4s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

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

rewrite64.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:
56.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)))
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)
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))

series935.0ms

Counts
4 → 12
Calls
4 calls:
438.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)))
51.0ms
(fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894)
50.0ms
(fma (fma x 4.16438922228 78.6994924154) x 137.519416416)
395.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.7s

Counts
101 → 101
Iterations

Useful iterations: done (1.7s)

IterNodesCost
01853065
13993018
213662690
done50002682

prune815.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

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

rewrite310.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:
178.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)
116.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))

series2.0s

Counts
4 → 12
Calls
4 calls:
941.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)))
33.0ms
(fma (fma x 4.16438922228 78.6994924154) x 137.519416416)
626.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))))
376.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.7s

Counts
143 → 143
Iterations

Useful iterations: done (1.7s)

IterNodesCost
02625734
16825489
229574806
done50004803

prune1.4s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

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

rewrite43.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:
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)
8.0ms
(/ 1 (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606))
31.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)))

series591.0ms

Counts
4 → 12
Calls
4 calls:
52.0ms
(fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894)
39.0ms
(fma (fma x 4.16438922228 78.6994924154) x 137.519416416)
107.0ms
(/ 1 (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606))
392.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.5s

Counts
103 → 103
Iterations

Useful iterations: done (2.5s)

IterNodesCost
01722430
13632272
28961996
326021988
done50001985

prune594.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.0b

regimes396.0ms

Accuracy

96.7% (0.8b remaining)

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

bsearch409.0ms

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

simplify13.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
05079
15779
done5779

end0.0ms

sample1.8s

Algorithm
intervals
Results
1.5s8009×body80valid