Details

Time bar (total: 26.0s)

sample599.0ms

Algorithm
intervals
Results
509.0ms556×body80valid

simplify1.0s

Counts
1 → 1
Iterations
IterNodes
done2001
42001
3526
2144
153
022

prune35.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 5.4b

localize74.0ms

Local error

Found 4 expressions with local error:

0.3b
(/ 2 (* r r))
0.4b
(* (* w r) (* w r))
3.4b
(* (* (* w r) (* w r)) (* (- 3 (* 2 v)) 0.125))
5.3b
(/ (* (* (* w r) (* w r)) (* (- 3 (* 2 v)) 0.125)) (- 1 v))

rewrite334.0ms

Algorithm
rewrite-expression-head
Rules
115×add-cbrt-cube add-exp-log
84×pow1
71×prod-exp cbrt-unprod
48×pow-prod-down
14×add-sqr-sqrt *-un-lft-identity
13×cbrt-undiv div-exp
9×times-frac
8×add-cube-cbrt
7×associate-/r*
4×associate-*l/ associate-*r/ pow-sqr pow-prod-up insert-posit16 associate-/l* add-log-exp difference-of-squares
3×flip3-- flip--
2×clear-num frac-2neg pow-plus associate-*r* associate-*l* associate-/r/ *-commutative div-inv distribute-lft-out-- associate-/l/
1×pow2 swap-sqr
Counts
4 → 150
Calls
4 calls:
11.0ms
(/ 2 (* r r))
24.0ms
(* (* w r) (* w r))
150.0ms
(* (* (* w r) (* w r)) (* (- 3 (* 2 v)) 0.125))
142.0ms
(/ (* (* (* w r) (* w r)) (* (- 3 (* 2 v)) 0.125)) (- 1 v))

series353.0ms

Counts
4 → 12
Calls
4 calls:
47.0ms
(/ 2 (* r r))
45.0ms
(* (* w r) (* w r))
127.0ms
(* (* (* w r) (* w r)) (* (- 3 (* 2 v)) 0.125))
133.0ms
(/ (* (* (* w r) (* w r)) (* (- 3 (* 2 v)) 0.125)) (- 1 v))

simplify1.2s

Counts
162 → 162
Iterations
IterNodes
done2005
22005
1711
0230

prune2.4s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.1b

localize55.0ms

Local error

Found 4 expressions with local error:

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

rewrite150.0ms

Algorithm
rewrite-expression-head
Rules
95×add-cbrt-cube add-exp-log
43×pow1
39×prod-exp cbrt-unprod
33×times-frac
29×cbrt-undiv div-exp
24×add-sqr-sqrt *-un-lft-identity
17×pow-prod-down
14×associate-/r*
12×add-cube-cbrt
10×associate-/l*
8×difference-of-squares
7×associate-/r/
6×associate-*l/
5×div-inv
4×flip3-- pow-sqr pow-prod-up insert-posit16 flip-- distribute-lft-out-- add-log-exp
3×clear-num frac-2neg
2×pow-plus associate-/l/
1×pow2 div-sub swap-sqr associate-*r* associate-*l* *-commutative
Counts
4 → 157
Calls
4 calls:
35.0ms
(/ (- 1 v) (* (- 3 (* 2 v)) 0.125))
73.0ms
(/ (* (* w r) (* w r)) (/ (- 1 v) (* (- 3 (* 2 v)) 0.125)))
7.0ms
(/ 2 (* r r))
30.0ms
(* (* w r) (* w r))

series283.0ms

Counts
4 → 12
Calls
4 calls:
40.0ms
(/ (- 1 v) (* (- 3 (* 2 v)) 0.125))
137.0ms
(/ (* (* w r) (* w r)) (/ (- 1 v) (* (- 3 (* 2 v)) 0.125)))
48.0ms
(/ 2 (* r r))
59.0ms
(* (* w r) (* w r))

simplify1.2s

Counts
169 → 169
Iterations
IterNodes
done2002
22002
1835
0269

prune2.6s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0.0b

localize69.0ms

Local error

Found 4 expressions with local error:

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

rewrite160.0ms

Algorithm
rewrite-expression-head
Rules
105×times-frac
95×add-cbrt-cube add-exp-log
64×add-sqr-sqrt *-un-lft-identity
52×add-cube-cbrt
43×pow1
38×prod-exp cbrt-unprod
30×cbrt-undiv div-exp
20×associate-/l*
17×pow-prod-down
16×associate-/r*
9×div-inv
8×difference-of-squares
7×associate-/r/
6×associate-*l/
4×flip3-- pow-sqr pow-prod-up insert-posit16 flip-- distribute-lft-out-- add-log-exp
3×clear-num frac-2neg associate-/l/
2×pow-plus
1×pow2 div-sub swap-sqr associate-*r* associate-*l* *-commutative
Counts
4 → 206
Calls
4 calls:
34.0ms
(/ (- 1 v) (* (- 3 (* 2 v)) 0.125))
54.0ms
(/ (* (* w r) (* w r)) (/ (- 1 v) (* (- 3 (* 2 v)) 0.125)))
14.0ms
(/ (/ 2 r) r)
51.0ms
(* (* w r) (* w r))

series315.0ms

Counts
4 → 12
Calls
4 calls:
56.0ms
(/ (- 1 v) (* (- 3 (* 2 v)) 0.125))
147.0ms
(/ (* (* w r) (* w r)) (/ (- 1 v) (* (- 3 (* 2 v)) 0.125)))
59.0ms
(/ (/ 2 r) r)
53.0ms
(* (* w r) (* w r))

simplify1.3s

Counts
218 → 218
Iterations
IterNodes
done2004
22004
11052
0366

prune3.3s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 0.0b

localize88.0ms

Local error

Found 4 expressions with local error:

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

rewrite147.0ms

Algorithm
rewrite-expression-head
Rules
84×pow1
38×times-frac
34×pow-prod-down sqrt-prod
28×add-cbrt-cube add-exp-log
20×add-sqr-sqrt
16×*-un-lft-identity prod-exp cbrt-unprod
10×add-cube-cbrt
8×pow-sqr pow-prod-up
6×associate-/r/
4×rem-sqrt-square pow-plus associate-*l/ insert-posit16 div-inv add-log-exp difference-of-squares
2×pow2 sqrt-pow1 flip3-- pow1/2 sqrt-div swap-sqr associate-*r* associate-*l* *-commutative flip-- distribute-lft-out--
Counts
4 → 130
Calls
4 calls:
37.0ms
(* (* w r) (* w r))
24.0ms
(* (* w r) (* w r))
51.0ms
(sqrt (/ (* (* w r) (* w r)) (/ (- 1 v) (* (- 3 (* 2 v)) 0.125))))
31.0ms
(sqrt (/ (* (* w r) (* w r)) (/ (- 1 v) (* (- 3 (* 2 v)) 0.125))))

series677.0ms

Counts
4 → 12
Calls
4 calls:
48.0ms
(* (* w r) (* w r))
40.0ms
(* (* w r) (* w r))
298.0ms
(sqrt (/ (* (* w r) (* w r)) (/ (- 1 v) (* (- 3 (* 2 v)) 0.125))))
291.0ms
(sqrt (/ (* (* w r) (* w r)) (/ (- 1 v) (* (- 3 (* 2 v)) 0.125))))

simplify1.3s

Counts
142 → 142
Iterations
IterNodes
done2079
32079
21529
1478
0171

prune2.7s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0.0b

regimes394.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
done28
128
022

end0.0ms

sample5.4s

Algorithm
intervals
Results
4.8s17287×body80valid