Details

Time bar (total: 26.9s)

sample140.0ms

Algorithm
intervals
Results
77.0ms558×body80valid

simplify3.1s

Counts
1 → 1
Iterations
IterNodes
done5004
42344
3534
2144
153
022

prune36.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize53.0ms

Local error

Found 4 expressions with local error:

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

rewrite186.0ms

Algorithm
rewrite-expression-head
Rules
50×*-un-lft-identity
49×add-sqr-sqrt
44×prod-diff
31×add-cube-cbrt
30×add-cbrt-cube add-exp-log
25×pow1
22×times-frac
16×prod-exp cbrt-unprod
15×pow-prod-down
12×associate--r+
10×distribute-lft-out--
9×add-log-exp difference-of-squares
7×fma-neg div-inv
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×diff-log associate-/l*
2×cbrt-undiv sub-neg flip3-- div-exp frac-sub fma-udef flip--
1×clear-num associate-/r* frac-2neg associate-*r* associate-*l* associate--l+ *-commutative associate--r-
Counts
4 → 143
Calls
4 calls:
62.0ms
(- (/ 2 (* r r)) (- (fma (/ (fma -2 v 3) (- 1 v)) (* (* w r) (* 0.125 (* w r))) 4.5) 3))
1.0ms
(fma (/ (fma -2 v 3) (- 1 v)) (* (* w r) (* 0.125 (* w r))) 4.5)
16.0ms
(/ 2 (* r r))
101.0ms
(* (* w r) (* 0.125 (* w r)))

series363.0ms

Counts
4 → 12
Calls
4 calls:
131.0ms
(- (/ 2 (* r r)) (- (fma (/ (fma -2 v 3) (- 1 v)) (* (* w r) (* 0.125 (* w r))) 4.5) 3))
111.0ms
(fma (/ (fma -2 v 3) (- 1 v)) (* (* w r) (* 0.125 (* w r))) 4.5)
42.0ms
(/ 2 (* r r))
78.0ms
(* (* w r) (* 0.125 (* w r)))

simplify2.3s

Counts
155 → 155
Iterations
IterNodes
done5007
22352
1693
0253

prune1.1s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize46.0ms

Local error

Found 4 expressions with local error:

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

rewrite856.0ms

Algorithm
rewrite-expression-head
Rules
95×add-cbrt-cube add-exp-log
60×prod-exp cbrt-unprod
54×pow1
53×*-un-lft-identity
50×add-sqr-sqrt
37×pow-prod-down
33×add-cube-cbrt
31×prod-diff
25×associate-*l*
24×times-frac
16×add-log-exp
11×associate--r+
10×difference-of-squares
9×cbrt-undiv div-exp associate--l+ distribute-lft-out--
8×diff-log frac-sub
7×flip3-- flip--
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×sub-neg fma-neg associate-*l/ div-inv associate-/l*
2×associate-*r* associate-/r/ *-commutative
1×associate--l- clear-num associate-/r* frac-2neg associate--r-
Counts
4 → 194
Calls
4 calls:
476.0ms
(- (- (/ 2 (* r r)) (* (/ (fma -2 v 3) (- 1 v)) (* (* w r) (* 0.125 (* w r))))) (- 4.5 3))
268.0ms
(* (/ (fma -2 v 3) (- 1 v)) (* (* w r) (* 0.125 (* w r))))
8.0ms
(/ 2 (* r r))
89.0ms
(* (* w r) (* 0.125 (* w r)))

series288.0ms

Counts
4 → 12
Calls
4 calls:
123.0ms
(- (- (/ 2 (* r r)) (* (/ (fma -2 v 3) (- 1 v)) (* (* w r) (* 0.125 (* w r))))) (- 4.5 3))
87.0ms
(* (/ (fma -2 v 3) (- 1 v)) (* (* w r) (* 0.125 (* w r))))
30.0ms
(/ 2 (* r r))
47.0ms
(* (* w r) (* 0.125 (* w r)))

simplify3.3s

Counts
206 → 206
Iterations
IterNodes
done5000
24867
11175
0383

prune1.1s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize64.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (* w r) (* 0.125 (* w r)))
0.4b
(* (* w r) (* 0.125 (* w r)))
10.5b
(sqrt (* (* w r) (* 0.125 (* w r))))
10.5b
(sqrt (* (* w r) (* 0.125 (* w r))))

rewrite296.0ms

Algorithm
rewrite-expression-head
Rules
90×pow1
60×pow-prod-down
46×add-cbrt-cube add-exp-log
30×prod-exp cbrt-unprod
14×sqrt-pow1
4×add-sqr-sqrt expm1-log1p-u *-un-lft-identity add-cube-cbrt insert-posit16 log1p-expm1-u add-log-exp
2×pow1/2 associate-*r* associate-*l* *-commutative sqrt-prod
Counts
4 → 100
Calls
4 calls:
76.0ms
(* (* w r) (* 0.125 (* w r)))
82.0ms
(* (* w r) (* 0.125 (* w r)))
75.0ms
(sqrt (* (* w r) (* 0.125 (* w r))))
60.0ms
(sqrt (* (* w r) (* 0.125 (* w r))))

series223.0ms

Counts
4 → 12
Calls
4 calls:
47.0ms
(* (* w r) (* 0.125 (* w r)))
45.0ms
(* (* w r) (* 0.125 (* w r)))
73.0ms
(sqrt (* (* w r) (* 0.125 (* w r))))
57.0ms
(sqrt (* (* w r) (* 0.125 (* w r))))

simplify2.2s

Counts
112 → 112
Iterations
IterNodes
done5000
2777
1182
073

prune619.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.0b

localize63.0ms

Local error

Found 4 expressions with local error:

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

rewrite2.1s

Algorithm
rewrite-expression-head
Rules
1592×pow1
1225×pow-prod-down
416×sqrt-pow1
82×pow-prod-up
66×pow-sqr
27×add-cbrt-cube add-exp-log
24×pow1/2
16×prod-exp cbrt-unprod
10×add-sqr-sqrt
8×*-un-lft-identity add-cube-cbrt
7×associate-*l/
6×sqrt-div sqrt-prod
5×associate-*r* associate-*l*
4×expm1-log1p-u swap-sqr insert-posit16 log1p-expm1-u add-log-exp
2×*-commutative
1×pow2 frac-times rem-square-sqrt pow-plus sqrt-unprod associate-*r/ unswap-sqr
Counts
4 → 320
Calls
4 calls:
81.0ms
(* (* w r) (* 0.125 (* w r)))
1.5s
(* (sqrt (* (/ (fma -2 v 3) (- 1 v)) (* (* w r) (* 0.125 (* w r))))) (sqrt (* (/ (fma -2 v 3) (- 1 v)) (* (* w r) (* 0.125 (* w r))))))
226.0ms
(sqrt (* (/ (fma -2 v 3) (- 1 v)) (* (* w r) (* 0.125 (* w r)))))
228.0ms
(sqrt (* (/ (fma -2 v 3) (- 1 v)) (* (* w r) (* 0.125 (* w r)))))

series1.7s

Counts
4 → 12
Calls
4 calls:
39.0ms
(* (* w r) (* 0.125 (* w r)))
309.0ms
(* (sqrt (* (/ (fma -2 v 3) (- 1 v)) (* (* w r) (* 0.125 (* w r))))) (sqrt (* (/ (fma -2 v 3) (- 1 v)) (* (* w r) (* 0.125 (* w r))))))
664.0ms
(sqrt (* (/ (fma -2 v 3) (- 1 v)) (* (* w r) (* 0.125 (* w r)))))
708.0ms
(sqrt (* (/ (fma -2 v 3) (- 1 v)) (* (* w r) (* 0.125 (* w r)))))

simplify1.8s

Counts
332 → 332
Iterations
IterNodes
done5003
21926
1466
0162

prune758.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.0b

regimes769.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify5.0ms

Iterations
IterNodes
done29
129
023

end0.0ms

sample3.3s

Algorithm
intervals
Results
2.9s17015×body80valid