Details

Time bar (total: 26.1s)

sample205.0ms

Algorithm
intervals
Results
118.0ms546×body80valid

simplify688.0ms

Counts
1 → 1
Iterations
IterNodes
42274
3526
2144
153
022

prune19.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 6.3b

localize52.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (* w r) (* w r))
0.7b
(/ 2 (* r r))
2.4b
(* (* (* w r) (* w r)) (* (- 3 (* 2 v)) 0.125))
6.3b
(/ (* (* (* w r) (* w r)) (* (- 3 (* 2 v)) 0.125)) (- 1 v))

rewrite255.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:
44.0ms
(* (* w r) (* w r))
6.0ms
(/ 2 (* r r))
95.0ms
(* (* (* w r) (* w r)) (* (- 3 (* 2 v)) 0.125))
101.0ms
(/ (* (* (* w r) (* w r)) (* (- 3 (* 2 v)) 0.125)) (- 1 v))

series424.0ms

Counts
4 → 12
Calls
4 calls:
51.0ms
(* (* w r) (* w r))
54.0ms
(/ 2 (* r r))
154.0ms
(* (* (* w r) (* w r)) (* (- 3 (* 2 v)) 0.125))
164.0ms
(/ (* (* (* w r) (* w r)) (* (- 3 (* 2 v)) 0.125)) (- 1 v))

simplify1.1s

Counts
162 → 162
Iterations
IterNodes
23126
1697
0230

prune2.5s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.0b

localize53.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
(* (* w r) (* w r))
0.7b
(/ 2 (* r r))

rewrite181.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:
32.0ms
(/ (- 1 v) (* (- 3 (* 2 v)) 0.125))
78.0ms
(/ (* (* w r) (* w r)) (/ (- 1 v) (* (- 3 (* 2 v)) 0.125)))
45.0ms
(* (* w r) (* w r))
22.0ms
(/ 2 (* r r))

series289.0ms

Counts
4 → 12
Calls
4 calls:
54.0ms
(/ (- 1 v) (* (- 3 (* 2 v)) 0.125))
145.0ms
(/ (* (* w r) (* w r)) (/ (- 1 v) (* (- 3 (* 2 v)) 0.125)))
49.0ms
(* (* w r) (* w r))
42.0ms
(/ 2 (* r r))

simplify1.1s

Counts
169 → 169
Iterations
IterNodes
23320
1810
0269

prune3.0s

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.0b
(- (/ (/ 2 r) r) (/ (* (* w r) (* w r)) (/ (- 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.3b
(* (* w r) (* w r))

rewrite150.0ms

Algorithm
rewrite-expression-head
Rules
108×times-frac
90×add-cbrt-cube add-exp-log
74×add-sqr-sqrt
58×*-un-lft-identity
50×add-cube-cbrt
43×pow1
37×prod-exp cbrt-unprod
28×cbrt-undiv div-exp
17×pow-prod-down
15×associate-/r*
14×associate-/l*
10×difference-of-squares
8×div-inv
6×add-log-exp
5×associate-/r/
4×associate-*l/ pow-sqr pow-prod-up insert-posit16
3×flip3-- flip-- distribute-lft-out--
2×clear-num frac-2neg pow-plus
1×pow2 sub-neg diff-log swap-sqr associate-*r* associate-*l* *-commutative frac-sub associate-/l/
Counts
4 → 194
Calls
4 calls:
42.0ms
(- (/ (/ 2 r) r) (/ (* (* w r) (* w r)) (/ (- 1 v) (* (- 3 (* 2 v)) 0.125))))
53.0ms
(/ (* (* w r) (* w r)) (/ (- 1 v) (* (- 3 (* 2 v)) 0.125)))
15.0ms
(/ (/ 2 r) r)
36.0ms
(* (* w r) (* w r))

series386.0ms

Counts
4 → 12
Calls
4 calls:
162.0ms
(- (/ (/ 2 r) r) (/ (* (* w r) (* w r)) (/ (- 1 v) (* (- 3 (* 2 v)) 0.125))))
130.0ms
(/ (* (* w r) (* w r)) (/ (- 1 v) (* (- 3 (* 2 v)) 0.125)))
44.0ms
(/ (/ 2 r) r)
50.0ms
(* (* w r) (* w r))

simplify1.7s

Counts
206 → 206
Iterations
IterNodes
23762
11029
0367

prune2.9s

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.0b

localize85.0ms

Local error

Found 4 expressions with local error:

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

rewrite202.0ms

Algorithm
rewrite-expression-head
Rules
275×add-exp-log
163×add-cbrt-cube
129×prod-exp
95×div-exp
73×cbrt-unprod
51×cbrt-undiv
49×add-sqr-sqrt
45×pow1
38×times-frac
34×*-un-lft-identity
23×associate-*r* add-cube-cbrt
18×pow-prod-down
16×associate-*l*
12×rec-exp 1-exp
6×difference-of-squares unswap-sqr
5×associate-/r/
4×pow-sqr pow-prod-up insert-posit16 div-inv associate-/l* add-log-exp
3×distribute-lft-out--
2×frac-times clear-num associate-/r* frac-2neg pow-plus associate-*l/ associate-*r/ *-commutative
1×pow2 flip3-- swap-sqr flip--
Counts
4 → 212
Calls
4 calls:
57.0ms
(* (/ 1 (- 3 (* 2 v))) (/ (- 1 v) 0.125))
77.0ms
(/ (* (* w r) (* w r)) (* (/ 1 (- 3 (* 2 v))) (/ (- 1 v) 0.125)))
46.0ms
(* (* w r) (* w r))
13.0ms
(/ 2 (* r r))

series295.0ms

Counts
4 → 12
Calls
4 calls:
47.0ms
(* (/ 1 (- 3 (* 2 v))) (/ (- 1 v) 0.125))
137.0ms
(/ (* (* w r) (* w r)) (* (/ 1 (- 3 (* 2 v))) (/ (- 1 v) 0.125)))
53.0ms
(* (* w r) (* w r))
58.0ms
(/ 2 (* r r))

simplify1.5s

Counts
224 → 224
Iterations
IterNodes
24564
1964
0339

prune3.2s

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 0b

regimes703.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify5.0ms

Iterations
IterNodes
227
127
021

end0.0ms

sample5.1s

Algorithm
intervals
Results
4.5s17142×body80valid