Details

Time bar (total: 33.6s)

sample82.0ms

Algorithm
intervals
Results
51.0ms256×body80valid

simplify2.4s

Counts
1 → 1
Iterations
IterNodes
done5006
42020
3510
2154
162
029

prune32.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 24.1b

localize80.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma (fma (+ 43.3400022514 x) x 263.505074721) x 313.399215894)
0.0b
(fma (fma (fma (+ 43.3400022514 x) x 263.505074721) x 313.399215894) x 47.066876606)
0.0b
(* (- x 2.0) (/ (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)))
24.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))

rewrite50.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-cbrt-cube add-exp-log
6×pow1
5×associate-*l*
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×associate-/r* associate-/l*
2×frac-times cbrt-undiv flip3-- div-exp associate-*l/ prod-exp cbrt-unprod fma-udef div-inv flip-- unswap-sqr
1×clear-num frac-2neg pow-prod-down associate-*r/ *-commutative distribute-lft-out-- difference-of-squares
Counts
4 → 93
Calls
4 calls:
0.0ms
(fma (fma (+ 43.3400022514 x) x 263.505074721) x 313.399215894)
0.0ms
(fma (fma (fma (+ 43.3400022514 x) x 263.505074721) x 313.399215894) x 47.066876606)
39.0ms
(* (- x 2.0) (/ (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)))
8.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))

series1.0s

Counts
4 → 12
Calls
4 calls:
65.0ms
(fma (fma (+ 43.3400022514 x) x 263.505074721) x 313.399215894)
97.0ms
(fma (fma (fma (+ 43.3400022514 x) x 263.505074721) x 313.399215894) x 47.066876606)
465.0ms
(* (- x 2.0) (/ (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)))
382.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))

simplify2.0s

Counts
105 → 105
Iterations
IterNodes
done5000
21288
1427
0188

prune1.1s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize50.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma (+ (* (fma (+ 43.3400022514 x) x 263.505074721) x) 313.399215894) x 47.066876606)
0.0b
(* (- x 2.0) (/ (fma x (fma x (fma x (fma x 4.16438922228 78.6994924154) 137.519416416) y) z) (fma (+ (* (fma (+ 43.3400022514 x) x 263.505074721) x) 313.399215894) x 47.066876606)))
0.0b
(* (fma (+ 43.3400022514 x) x 263.505074721) x)
24.1b
(/ (fma x (fma x (fma x (fma x 4.16438922228 78.6994924154) 137.519416416) y) z) (fma (+ (* (fma (+ 43.3400022514 x) x 263.505074721) x) 313.399215894) x 47.066876606))

rewrite49.0ms

Algorithm
rewrite-expression-head
Rules
31×add-sqr-sqrt
24×*-un-lft-identity
22×add-cube-cbrt
19×times-frac
16×associate-*r*
13×add-cbrt-cube add-exp-log
8×pow1 associate-*l*
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×associate-/r* prod-exp cbrt-unprod associate-/l* unswap-sqr
2×frac-times cbrt-undiv flip3-- div-exp pow-prod-down associate-*l/ *-commutative div-inv flip--
1×clear-num frac-2neg associate-*r/ fma-udef distribute-lft-out-- difference-of-squares
Counts
4 → 103
Calls
4 calls:
0.0ms
(fma (+ (* (fma (+ 43.3400022514 x) x 263.505074721) x) 313.399215894) x 47.066876606)
35.0ms
(* (- x 2.0) (/ (fma x (fma x (fma x (fma x 4.16438922228 78.6994924154) 137.519416416) y) z) (fma (+ (* (fma (+ 43.3400022514 x) x 263.505074721) x) 313.399215894) x 47.066876606)))
8.0ms
(* (fma (+ 43.3400022514 x) x 263.505074721) x)
5.0ms
(/ (fma x (fma x (fma x (fma x 4.16438922228 78.6994924154) 137.519416416) y) z) (fma (+ (* (fma (+ 43.3400022514 x) x 263.505074721) x) 313.399215894) x 47.066876606))

series807.0ms

Counts
4 → 12
Calls
4 calls:
77.0ms
(fma (+ (* (fma (+ 43.3400022514 x) x 263.505074721) x) 313.399215894) x 47.066876606)
349.0ms
(* (- x 2.0) (/ (fma x (fma x (fma x (fma x 4.16438922228 78.6994924154) 137.519416416) y) z) (fma (+ (* (fma (+ 43.3400022514 x) x 263.505074721) x) 313.399215894) x 47.066876606)))
44.0ms
(* (fma (+ 43.3400022514 x) x 263.505074721) x)
337.0ms
(/ (fma x (fma x (fma x (fma x 4.16438922228 78.6994924154) 137.519416416) y) z) (fma (+ (* (fma (+ 43.3400022514 x) x 263.505074721) x) 313.399215894) x 47.066876606))

simplify2.0s

Counts
115 → 115
Iterations
IterNodes
done5001
21458
1460
0203

prune910.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize128.0ms

Local error

Found 4 expressions with local error:

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

rewrite283.0ms

Algorithm
rewrite-expression-head
Rules
651×times-frac
298×add-sqr-sqrt
297×*-un-lft-identity add-cube-cbrt
65×associate-/l*
53×cube-unmult
52×difference-cubes pow3
41×associate-/r/
25×associate-/r* add-cbrt-cube add-exp-log
23×div-inv
18×pow1
17×flip3-- flip--
10×cbrt-undiv div-exp
5×pow-prod-up
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×clear-num frac-2neg associate-*l* pow-prod-down prod-exp cbrt-unprod
1×pow2 flip3-+ pow-plus associate-*r* pow-sqr *-commutative flip-+ unswap-sqr associate-/l/
Counts
4 → 417
Calls
4 calls:
18.0ms
(* x (* x x))
60.0ms
(/ (fma (fma x (fma (fma 4.16438922228 x 78.6994924154) x 137.519416416) y) x z) (/ (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606) (- (* x (* x x)) (* (* 2.0 2.0) 2.0))))
141.0ms
(/ (/ (fma (fma x (fma (fma 4.16438922228 x 78.6994924154) x 137.519416416) y) x z) (/ (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606) (- (* x (* x x)) (* (* 2.0 2.0) 2.0)))) (+ (* x x) (+ (* 2.0 2.0) (* x 2.0))))
52.0ms
(/ (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606) (- (* x (* x x)) (* (* 2.0 2.0) 2.0)))

series1.1s

Counts
4 → 12
Calls
4 calls:
37.0ms
(* x (* x x))
416.0ms
(/ (fma (fma x (fma (fma 4.16438922228 x 78.6994924154) x 137.519416416) y) x z) (/ (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606) (- (* x (* x x)) (* (* 2.0 2.0) 2.0))))
503.0ms
(/ (/ (fma (fma x (fma (fma 4.16438922228 x 78.6994924154) x 137.519416416) y) x z) (/ (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606) (- (* x (* x x)) (* (* 2.0 2.0) 2.0)))) (+ (* x x) (+ (* 2.0 2.0) (* x 2.0))))
120.0ms
(/ (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606) (- (* x (* x x)) (* (* 2.0 2.0) 2.0)))

simplify2.9s

Counts
429 → 429
Iterations
IterNodes
done5000
12010
0740

prune5.3s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize101.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)
3.0b
(/ (fma (fma x (fma (fma 4.16438922228 x 78.6994924154) x 137.519416416) y) x z) (/ (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606) (- (pow x 3) (* (* 2.0 2.0) 2.0))))
20.8b
(/ (/ (fma (fma x (fma (fma 4.16438922228 x 78.6994924154) x 137.519416416) y) x z) (/ (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606) (- (pow x 3) (* (* 2.0 2.0) 2.0)))) (+ (* x x) (+ (* 2.0 2.0) (* x 2.0))))
23.0b
(/ (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606) (- (pow x 3) (* (* 2.0 2.0) 2.0)))

rewrite210.0ms

Algorithm
rewrite-expression-head
Rules
651×times-frac
296×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
65×associate-/l*
52×difference-cubes pow3
41×associate-/r/
25×associate-/r*
23×div-inv
20×add-cbrt-cube add-exp-log
17×flip3-- flip--
10×cbrt-undiv div-exp
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u add-log-exp
3×clear-num frac-2neg
1×flip3-+ flip-+ fma-udef associate-/l/
Counts
4 → 401
Calls
4 calls:
0.0ms
(fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606)
49.0ms
(/ (fma (fma x (fma (fma 4.16438922228 x 78.6994924154) x 137.519416416) y) x z) (/ (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606) (- (pow x 3) (* (* 2.0 2.0) 2.0))))
114.0ms
(/ (/ (fma (fma x (fma (fma 4.16438922228 x 78.6994924154) x 137.519416416) y) x z) (/ (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606) (- (pow x 3) (* (* 2.0 2.0) 2.0)))) (+ (* x x) (+ (* 2.0 2.0) (* x 2.0))))
30.0ms
(/ (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606) (- (pow x 3) (* (* 2.0 2.0) 2.0)))

series1.1s

Counts
4 → 12
Calls
4 calls:
81.0ms
(fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606)
392.0ms
(/ (fma (fma x (fma (fma 4.16438922228 x 78.6994924154) x 137.519416416) y) x z) (/ (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606) (- (pow x 3) (* (* 2.0 2.0) 2.0))))
490.0ms
(/ (/ (fma (fma x (fma (fma 4.16438922228 x 78.6994924154) x 137.519416416) y) x z) (/ (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606) (- (pow x 3) (* (* 2.0 2.0) 2.0)))) (+ (* x x) (+ (* 2.0 2.0) (* x 2.0))))
119.0ms
(/ (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606) (- (pow x 3) (* (* 2.0 2.0) 2.0)))

simplify2.9s

Counts
413 → 413
Iterations
IterNodes
done5001
11909
0724

prune5.2s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

regimes360.0ms

Accuracy

96.9% (0.8b remaining)

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

bsearch537.0ms

Steps
ItersRangePoint
8
6.68994686148466e+41
4.921254434932496e+45
1.692613215272597e+44
8
-5.5526078831285184e+17
-22511205481733.605
-5.140336158145698e+17

simplify15.0ms

Iterations
IterNodes
done50
150
042

end0.0ms

sample2.9s

Algorithm
intervals
Results
2.7s8007×body80valid