Details

Time bar (total: 24.1s)

sample198.0ms

Algorithm
intervals
Results
68.0ms561×body80valid

simplify943.0ms

Counts
1 → 1

prune25.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.5b

localize35.0ms

Local error

Found 4 expressions with local error:

0.4b
(/ 2 (* r r))
0.4b
(* (* w r) (* w r))
0.3b
(* (/ 0.125 (- 1 v)) (fma v -2 3))
0.0b
(fma (* (* w r) (* w r)) (* (/ 0.125 (- 1 v)) (fma v -2 3)) 4.5)

rewrite83.0ms

Algorithm
rewrite-expression-head
Rules
45×pow1
31×add-sqr-sqrt
26×*-un-lft-identity add-cbrt-cube add-exp-log
25×associate-*l*
22×times-frac
18×pow-prod-down
17×add-cube-cbrt
11×prod-exp cbrt-unprod
6×difference-of-squares
4×expm1-log1p-u associate-*r* pow-sqr pow-prod-up insert-posit16 log1p-expm1-u add-log-exp
3×cbrt-undiv div-exp fma-udef associate-/l* distribute-lft-out--
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 → 120
Calls
4 calls:
Slowest
50.0ms
(* (* w r) (* w r))
20.0ms
(* (/ 0.125 (- 1 v)) (fma v -2 3))
9.0ms
(/ 2 (* r r))
0.0ms
(fma (* (* w r) (* w r)) (* (/ 0.125 (- 1 v)) (fma v -2 3)) 4.5)

series267.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
152.0ms
(fma (* (* w r) (* w r)) (* (/ 0.125 (- 1 v)) (fma v -2 3)) 4.5)
42.0ms
(* (/ 0.125 (- 1 v)) (fma v -2 3))
39.0ms
(* (* w r) (* w r))
34.0ms
(/ 2 (* r r))

simplify1.2s

Counts
132 → 132

prune1.8s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.0b

localize43.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (* w r) (* w r))
0.3b
(* (/ 0.125 (- 1 v)) (fma v -2 3))
0.2b
(/ (/ 2 r) r)
0.0b
(fma (* (* w r) (* w r)) (* (/ 0.125 (- 1 v)) (fma v -2 3)) 4.5)

rewrite97.0ms

Algorithm
rewrite-expression-head
Rules
94×times-frac
71×add-sqr-sqrt
66×*-un-lft-identity
57×add-cube-cbrt
45×pow1
26×add-cbrt-cube add-exp-log
25×associate-*l*
18×pow-prod-down
13×associate-/l*
10×prod-exp cbrt-unprod
6×div-inv difference-of-squares
4×expm1-log1p-u cbrt-undiv div-exp associate-*r* pow-sqr pow-prod-up insert-posit16 log1p-expm1-u add-log-exp
3×associate-/r* fma-udef distribute-lft-out--
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 → 169
Calls
4 calls:
Slowest
47.0ms
(* (* w r) (* w r))
40.0ms
(* (/ 0.125 (- 1 v)) (fma v -2 3))
7.0ms
(/ (/ 2 r) r)
0.0ms
(fma (* (* w r) (* w r)) (* (/ 0.125 (- 1 v)) (fma v -2 3)) 4.5)

series245.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
110.0ms
(fma (* (* w r) (* w r)) (* (/ 0.125 (- 1 v)) (fma v -2 3)) 4.5)
65.0ms
(* (/ 0.125 (- 1 v)) (fma v -2 3))
36.0ms
(/ (/ 2 r) r)
33.0ms
(* (* w r) (* w r))

simplify865.0ms

Counts
181 → 181

prune2.6s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.0b

localize73.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (sqrt (* (/ 0.125 (- 1 v)) (fma v -2 3))) (sqrt (* (/ 0.125 (- 1 v)) (fma v -2 3))))
0.4b
(/ 2 (* r r))
0.4b
(* (* w r) (* w r))
0.3b
(* (/ 0.125 (- 1 v)) (fma v -2 3))

rewrite192.0ms

Algorithm
rewrite-expression-head
Rules
94×pow1
38×pow-prod-down
37×add-sqr-sqrt
30×*-un-lft-identity
29×associate-*l*
28×sqrt-pow1 add-cbrt-cube add-exp-log
22×times-frac
21×add-cube-cbrt
14×pow-prod-up
12×prod-exp cbrt-unprod
10×pow1/2 pow-sqr
8×associate-*r*
6×associate-*l/ difference-of-squares
5×swap-sqr
4×expm1-log1p-u sqrt-div sqrt-prod insert-posit16 log1p-expm1-u add-log-exp
3×cbrt-undiv pow-plus div-exp *-commutative associate-/l* distribute-lft-out-- unswap-sqr
2×pow2 associate-/r/ fma-udef div-inv
1×distribute-rgt-in frac-times clear-num associate-/r* rem-square-sqrt frac-2neg distribute-lft-in flip3-- sqrt-unprod associate-*r/ flip--
Counts
4 → 164
Calls
4 calls:
Slowest
117.0ms
(* (sqrt (* (/ 0.125 (- 1 v)) (fma v -2 3))) (sqrt (* (/ 0.125 (- 1 v)) (fma v -2 3))))
41.0ms
(* (* w r) (* w r))
19.0ms
(* (/ 0.125 (- 1 v)) (fma v -2 3))
13.0ms
(/ 2 (* r r))

series236.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
123.0ms
(* (sqrt (* (/ 0.125 (- 1 v)) (fma v -2 3))) (sqrt (* (/ 0.125 (- 1 v)) (fma v -2 3))))
41.0ms
(* (/ 0.125 (- 1 v)) (fma v -2 3))
36.0ms
(* (* w r) (* w r))
36.0ms
(/ 2 (* r r))

simplify829.0ms

Counts
176 → 176

prune3.0s

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.0b

localize84.0ms

Local error

Found 4 expressions with local error:

0.8b
(* (/ (sqrt 0.125) (cbrt (- 1 v))) (fma v -2 3))
0.4b
(/ 2 (* r r))
0.4b
(* (* w r) (* w r))
0.3b
(* (cbrt (- 1 v)) (cbrt (- 1 v)))

rewrite99.0ms

Algorithm
rewrite-expression-head
Rules
98×add-sqr-sqrt
82×*-un-lft-identity
70×cbrt-prod associate-*l*
61×times-frac
52×pow1
46×add-cube-cbrt
29×sqrt-prod
28×add-exp-log
25×add-cbrt-cube
20×pow-prod-down difference-of-squares
14×cbrt-div
13×associate-*r*
12×swap-sqr prod-exp cbrt-unprod distribute-lft-out--
9×unswap-sqr
7×flip3-- flip--
6×pow1/3 pow-sqr pow-prod-up
4×expm1-log1p-u frac-times insert-posit16 log1p-expm1-u add-log-exp
3×cbrt-undiv pow-plus div-exp associate-*l/ *-commutative associate-/l*
2×pow2 associate-*r/ associate-/r/ fma-udef div-inv
1×distribute-rgt-in clear-num associate-/r* frac-2neg distribute-lft-in
Counts
4 → 210
Calls
4 calls:
Slowest
31.0ms
(* (cbrt (- 1 v)) (cbrt (- 1 v)))
29.0ms
(* (/ (sqrt 0.125) (cbrt (- 1 v))) (fma v -2 3))
29.0ms
(* (* w r) (* w r))
6.0ms
(/ 2 (* r r))

series302.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
172.0ms
(* (/ (sqrt 0.125) (cbrt (- 1 v))) (fma v -2 3))
61.0ms
(* (cbrt (- 1 v)) (cbrt (- 1 v)))
37.0ms
(/ 2 (* r r))
33.0ms
(* (* w r) (* w r))

simplify1.0s

Counts
222 → 222

prune4.1s

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 0.0b

regimes619.0ms

Accuracy

0% (0.3b remaining)

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

bsearch4.0ms

end0.0ms

sample5.2s

Algorithm
intervals
Results
4.5s16965×body80valid