Details

Time bar (total: 18.3s)

sample165.0ms

Algorithm
intervals
Results
83.0ms520×body80valid

simplify2.4s

Counts
1 → 1
Iterations
IterNodes
done5000
43561
3664
2152
151
022

prune33.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 5.7b

localize29.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (/ 0.125 (- 1.0 v)) (fma v (- 2.0) 3.0))
0.3b
(/ 2.0 (* r r))
4.4b
(* w (* (* r r) w))
6.9b
(* (* r r) w)

rewrite120.0ms

Algorithm
rewrite-expression-head
Rules
30×add-sqr-sqrt
28×add-cbrt-cube add-exp-log
25×associate-*l*
24×*-un-lft-identity
20×pow1
19×times-frac
18×add-cube-cbrt
12×prod-exp cbrt-unprod
10×pow-prod-down
7×associate-*r*
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×cbrt-undiv div-exp *-commutative associate-/l* distribute-lft-out-- difference-of-squares unswap-sqr
2×associate-/r/ fma-udef div-inv
1×distribute-rgt-in clear-num associate-/r* frac-2neg distribute-lft-in flip3-- associate-*l/ flip--
Counts
4 → 111
Calls
4 calls:
35.0ms
(* (/ 0.125 (- 1.0 v)) (fma v (- 2.0) 3.0))
7.0ms
(/ 2.0 (* r r))
58.0ms
(* w (* (* r r) w))
17.0ms
(* (* r r) w)

series223.0ms

Counts
4 → 12
Calls
4 calls:
95.0ms
(* (/ 0.125 (- 1.0 v)) (fma v (- 2.0) 3.0))
48.0ms
(/ 2.0 (* r r))
35.0ms
(* w (* (* r r) w))
45.0ms
(* (* r r) w)

simplify1.5s

Counts
123 → 123
Iterations
IterNodes
done5001
23135
1504
0198

prune928.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.1b

localize28.0ms

Local error

Found 4 expressions with local error:

0.1b
(fma (* (* w r) (* w r)) (* (/ 0.125 (- 1.0 v)) (fma v (- 2.0) 3.0)) 4.5)
0.1b
(* (/ 0.125 (- 1.0 v)) (fma v (- 2.0) 3.0))
0.3b
(/ 2.0 (* r r))
0.4b
(* (* w r) (* w r))

rewrite93.0ms

Algorithm
rewrite-expression-head
Rules
45×pow1
27×add-sqr-sqrt
26×add-cbrt-cube add-exp-log
22×*-un-lft-identity associate-*l*
19×times-frac
18×pow-prod-down
16×add-cube-cbrt
11×prod-exp cbrt-unprod
4×expm1-log1p-u associate-*r* pow-sqr pow-prod-up log1p-expm1-u add-log-exp
3×cbrt-undiv div-exp fma-udef associate-/l* distribute-lft-out-- difference-of-squares
2×pow-plus associate-/r/ *-commutative div-inv unswap-sqr
1×pow2 distribute-rgt-in clear-num associate-/r* frac-2neg distribute-lft-in flip3-- swap-sqr associate-*l/ flip--
Counts
4 → 113
Calls
4 calls:
0.0ms
(fma (* (* w r) (* w r)) (* (/ 0.125 (- 1.0 v)) (fma v (- 2.0) 3.0)) 4.5)
30.0ms
(* (/ 0.125 (- 1.0 v)) (fma v (- 2.0) 3.0))
12.0ms
(/ 2.0 (* r r))
48.0ms
(* (* w r) (* w r))

series296.0ms

Counts
4 → 12
Calls
4 calls:
164.0ms
(fma (* (* w r) (* w r)) (* (/ 0.125 (- 1.0 v)) (fma v (- 2.0) 3.0)) 4.5)
59.0ms
(* (/ 0.125 (- 1.0 v)) (fma v (- 2.0) 3.0))
27.0ms
(/ 2.0 (* r r))
46.0ms
(* (* w r) (* w r))

simplify1.1s

Counts
125 → 125
Iterations
IterNodes
done5000
22747
1508
0202

prune752.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize40.0ms

Local error

Found 4 expressions with local error:

0.1b
(fma (* (* w r) (* w r)) (* (/ 0.125 (- 1.0 v)) (fma v (- 2.0) 3.0)) 4.5)
0.1b
(* (/ 0.125 (- 1.0 v)) (fma v (- 2.0) 3.0))
0.2b
(/ (/ 2.0 r) r)
0.4b
(* (* w r) (* w r))

rewrite105.0ms

Algorithm
rewrite-expression-head
Rules
91×times-frac
67×add-sqr-sqrt
62×*-un-lft-identity
56×add-cube-cbrt
45×pow1
26×add-cbrt-cube add-exp-log
22×associate-*l*
18×pow-prod-down
13×associate-/l*
10×prod-exp cbrt-unprod
6×div-inv
4×expm1-log1p-u cbrt-undiv div-exp associate-*r* pow-sqr pow-prod-up log1p-expm1-u add-log-exp
3×associate-/r* fma-udef distribute-lft-out-- difference-of-squares
2×pow-plus associate-/r/ *-commutative unswap-sqr
1×pow2 distribute-rgt-in clear-num frac-2neg distribute-lft-in flip3-- swap-sqr associate-*l/ flip-- associate-/l/
Counts
4 → 162
Calls
4 calls:
0.0ms
(fma (* (* w r) (* w r)) (* (/ 0.125 (- 1.0 v)) (fma v (- 2.0) 3.0)) 4.5)
48.0ms
(* (/ 0.125 (- 1.0 v)) (fma v (- 2.0) 3.0))
18.0ms
(/ (/ 2.0 r) r)
27.0ms
(* (* w r) (* w r))

series393.0ms

Counts
4 → 12
Calls
4 calls:
206.0ms
(fma (* (* w r) (* w r)) (* (/ 0.125 (- 1.0 v)) (fma v (- 2.0) 3.0)) 4.5)
76.0ms
(* (/ 0.125 (- 1.0 v)) (fma v (- 2.0) 3.0))
49.0ms
(/ (/ 2.0 r) r)
62.0ms
(* (* w r) (* w r))

simplify1.6s

Counts
174 → 174
Iterations
IterNodes
done5000
23816
1743
0300

prune1.3s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.0b

localize34.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (fma v (- 2.0) 3.0) (/ 0.125 (- 1.0 v)))
0.3b
(/ 2.0 (* r r))
0.4b
(* (* w r) (* w r))
0.5b
(cbrt (pow (* (fma v (- 2.0) 3.0) (/ 0.125 (- 1.0 v))) 3))

rewrite97.0ms

Algorithm
rewrite-expression-head
Rules
45×pow1
28×add-sqr-sqrt
26×add-cbrt-cube add-exp-log
23×*-un-lft-identity
22×associate-*r*
19×times-frac
18×pow-prod-down
17×add-cube-cbrt
11×prod-exp cbrt-unprod
8×cbrt-prod
4×expm1-log1p-u associate-*l* pow-sqr pow-prod-up log1p-expm1-u add-log-exp
3×cbrt-undiv div-exp associate-/l* distribute-lft-out-- difference-of-squares
2×pow-plus associate-*r/ associate-/r/ *-commutative div-inv unswap-sqr
1×cube-div pow2 cube-mult cbrt-div clear-num associate-/r* unpow-prod-down frac-2neg flip3-- pow1/3 unpow3 cube-prod swap-sqr rem-cbrt-cube flip-- sqr-pow
Counts
4 → 121
Calls
4 calls:
41.0ms
(* (fma v (- 2.0) 3.0) (/ 0.125 (- 1.0 v)))
6.0ms
(/ 2.0 (* r r))
38.0ms
(* (* w r) (* w r))
4.0ms
(cbrt (pow (* (fma v (- 2.0) 3.0) (/ 0.125 (- 1.0 v))) 3))

series278.0ms

Counts
4 → 12
Calls
4 calls:
87.0ms
(* (fma v (- 2.0) 3.0) (/ 0.125 (- 1.0 v)))
36.0ms
(/ 2.0 (* r r))
53.0ms
(* (* w r) (* w r))
102.0ms
(cbrt (pow (* (fma v (- 2.0) 3.0) (/ 0.125 (- 1.0 v))) 3))

simplify1.1s

Counts
133 → 133
Iterations
IterNodes
done5001
22824
1539
0210

prune1.0s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

regimes610.0ms

Accuracy

0% (0.3b remaining)

Error of 0.4b against oracle of 0.1b and baseline of 0.4b

bsearch0.0ms

simplify6.0ms

Iterations
IterNodes
done23
123
020

end0.0ms

sample3.9s

Algorithm
intervals
Results
3.2s17039×body80valid