Details

Time bar (total: 18.7s)

sample209.0ms

Algorithm
intervals
Results
100.0ms558×body80valid

simplify2.0s

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

prune32.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 5.7b

localize67.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))
5.5b
(* w (* (* r r) w))
6.0b
(* (* r r) w)

rewrite131.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:
26.0ms
(* (/ 0.125 (- 1.0 v)) (fma v (- 2.0) 3.0))
6.0ms
(/ 2.0 (* r r))
59.0ms
(* w (* (* r r) w))
32.0ms
(* (* r r) w)

series220.0ms

Counts
4 → 12
Calls
4 calls:
80.0ms
(* (/ 0.125 (- 1.0 v)) (fma v (- 2.0) 3.0))
33.0ms
(/ 2.0 (* r r))
56.0ms
(* w (* (* r r) w))
51.0ms
(* (* r r) w)

simplify1.5s

Counts
123 → 123
Iterations
IterNodes
done5001
23135
1504
0198

prune827.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.1b

localize56.0ms

Local error

Found 4 expressions with local error:

0.1b
(fma (pow (* (* w r) (* w r)) 1) (* (/ 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))

rewrite89.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 (pow (* (* w r) (* w r)) 1) (* (/ 0.125 (- 1.0 v)) (fma v (- 2.0) 3.0)) 4.5)
47.0ms
(* (/ 0.125 (- 1.0 v)) (fma v (- 2.0) 3.0))
9.0ms
(/ 2.0 (* r r))
26.0ms
(* (* w r) (* w r))

series357.0ms

Counts
4 → 12
Calls
4 calls:
165.0ms
(fma (pow (* (* w r) (* w r)) 1) (* (/ 0.125 (- 1.0 v)) (fma v (- 2.0) 3.0)) 4.5)
81.0ms
(* (/ 0.125 (- 1.0 v)) (fma v (- 2.0) 3.0))
53.0ms
(/ 2.0 (* r r))
57.0ms
(* (* w r) (* w r))

simplify1.2s

Counts
125 → 125
Iterations
IterNodes
done5000
22954
1522
0203

prune914.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0.0b

localize44.0ms

Local error

Found 4 expressions with local error:

0.1b
(fma (pow (* (* w r) (* w r)) 1) (* (/ 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))

rewrite74.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 (pow (* (* w r) (* w r)) 1) (* (/ 0.125 (- 1.0 v)) (fma v (- 2.0) 3.0)) 4.5)
38.0ms
(* (/ 0.125 (- 1.0 v)) (fma v (- 2.0) 3.0))
9.0ms
(/ (/ 2.0 r) r)
21.0ms
(* (* w r) (* w r))

series330.0ms

Counts
4 → 12
Calls
4 calls:
156.0ms
(fma (pow (* (* w r) (* w r)) 1) (* (/ 0.125 (- 1.0 v)) (fma v (- 2.0) 3.0)) 4.5)
85.0ms
(* (/ 0.125 (- 1.0 v)) (fma v (- 2.0) 3.0))
50.0ms
(/ (/ 2.0 r) r)
40.0ms
(* (* w r) (* w r))

simplify1.8s

Counts
174 → 174
Iterations
IterNodes
done5002
23987
1758
0301

prune1.3s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0.0b

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

rewrite85.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:
43.0ms
(* (fma v (- 2.0) 3.0) (/ 0.125 (- 1.0 v)))
6.0ms
(/ 2.0 (* r r))
26.0ms
(* (* w r) (* w r))
4.0ms
(cbrt (pow (* (fma v (- 2.0) 3.0) (/ 0.125 (- 1.0 v))) 3))

series282.0ms

Counts
4 → 12
Calls
4 calls:
105.0ms
(* (fma v (- 2.0) 3.0) (/ 0.125 (- 1.0 v)))
33.0ms
(/ 2.0 (* r r))
58.0ms
(* (* w r) (* w r))
86.0ms
(cbrt (pow (* (fma v (- 2.0) 3.0) (/ 0.125 (- 1.0 v))) 3))

simplify1.2s

Counts
133 → 133
Iterations
IterNodes
done5001
22824
1539
0210

prune952.0ms

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 0.0b

regimes905.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify7.0ms

Iterations
IterNodes
done30
130
025

end0.0ms

sample4.1s

Algorithm
intervals
Results
3.3s17419×body80valid