Details

Time bar (total: 38.0s)

sample339.0ms

Algorithm
intervals
Results
183.0ms562×body80valid

simplify734.0ms

Counts
1 → 1
Iterations
IterNodes
42264
3526
2142
151
022

prune20.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize43.0ms

Local error

Found 4 expressions with local error:

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

rewrite122.0ms

Algorithm
rewrite-expression-head
Rules
157×times-frac
100×add-cbrt-cube add-exp-log
76×add-sqr-sqrt *-un-lft-identity
58×add-cube-cbrt
49×cbrt-undiv div-exp
32×associate-/l*
23×prod-exp cbrt-unprod
21×associate-/r*
14×div-inv
12×difference-of-squares
11×associate-/r/
10×associate-*l/
6×flip3-- flip-- distribute-lft-out--
4×pow1 clear-num frac-2neg insert-posit16 add-log-exp associate-/l/
3×div-sub
Counts
4 → 227
Calls
4 calls:
17.0ms
(/ (- 1 v) (* (- 3 (* 2 v)) 0.125))
8.0ms
(/ (/ 2 r) r)
52.0ms
(/ (* w r) (/ (/ (- 1 v) (* (- 3 (* 2 v)) 0.125)) (* w r)))
39.0ms
(/ (/ (- 1 v) (* (- 3 (* 2 v)) 0.125)) (* w r))

series315.0ms

Counts
4 → 12
Calls
4 calls:
53.0ms
(/ (- 1 v) (* (- 3 (* 2 v)) 0.125))
48.0ms
(/ (/ 2 r) r)
123.0ms
(/ (* w r) (/ (/ (- 1 v) (* (- 3 (* 2 v)) 0.125)) (* w r)))
92.0ms
(/ (/ (- 1 v) (* (- 3 (* 2 v)) 0.125)) (* w r))

simplify2.0s

Counts
239 → 239
Iterations
IterNodes
24040
11161
0436

prune2.5s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0b

localize86.0ms

Local error

Found 4 expressions with local error:

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

rewrite241.0ms

Algorithm
rewrite-expression-head
Rules
283×times-frac
184×add-sqr-sqrt
154×*-un-lft-identity
126×sqrt-prod
124×add-cube-cbrt
64×add-cbrt-cube add-exp-log
49×associate-*r* associate-*l*
29×associate-/l*
26×cbrt-undiv div-exp
23×associate-/r/
22×associate-*l/
20×difference-of-squares
19×div-inv
17×prod-exp cbrt-unprod
10×flip3-- flip-- distribute-lft-out--
9×unswap-sqr
7×associate-/r*
6×pow1
4×insert-posit16 add-log-exp
3×clear-num frac-2neg
2×frac-times associate-*r/ associate-/l/
1×sqrt-div pow-prod-down *-commutative
Counts
4 → 313
Calls
4 calls:
27.0ms
(/ (sqrt (/ (- 1 v) (* (- 3 (* 2 v)) 0.125))) w)
14.0ms
(/ (/ 2 r) r)
91.0ms
(/ (* w r) (* (/ (sqrt (/ (- 1 v) (* (- 3 (* 2 v)) 0.125))) w) (/ (sqrt (/ (- 1 v) (* (- 3 (* 2 v)) 0.125))) r)))
103.0ms
(* (/ (sqrt (/ (- 1 v) (* (- 3 (* 2 v)) 0.125))) w) (/ (sqrt (/ (- 1 v) (* (- 3 (* 2 v)) 0.125))) r))

series1.6s

Counts
4 → 12
Calls
4 calls:
472.0ms
(/ (sqrt (/ (- 1 v) (* (- 3 (* 2 v)) 0.125))) w)
41.0ms
(/ (/ 2 r) r)
316.0ms
(/ (* w r) (* (/ (sqrt (/ (- 1 v) (* (- 3 (* 2 v)) 0.125))) w) (/ (sqrt (/ (- 1 v) (* (- 3 (* 2 v)) 0.125))) r)))
752.0ms
(* (/ (sqrt (/ (- 1 v) (* (- 3 (* 2 v)) 0.125))) w) (/ (sqrt (/ (- 1 v) (* (- 3 (* 2 v)) 0.125))) r))

simplify3.9s

Counts
325 → 325
Iterations
IterNodes
27090
11697
0587

prune5.0s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0b

localize48.0ms

Local error

Found 4 expressions with local error:

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

rewrite144.0ms

Algorithm
rewrite-expression-head
Rules
347×times-frac
308×add-exp-log
179×div-exp
176×add-cbrt-cube
117×add-sqr-sqrt *-un-lft-identity
96×cbrt-undiv
93×add-cube-cbrt
73×prod-exp
44×associate-/l*
39×cbrt-unprod
26×div-inv
25×associate-/r*
17×associate-/r/
16×associate-*l/ difference-of-squares
15×rec-exp 1-exp
8×flip3-- flip-- distribute-lft-out--
5×pow1 div-sub
4×clear-num frac-2neg insert-posit16 add-log-exp
3×associate-/l/
1×pow-flip inv-pow
Counts
4 → 352
Calls
4 calls:
15.0ms
(/ (/ 2 r) r)
40.0ms
(/ 1 (/ (/ (/ (- 1 v) (* (- 3 (* 2 v)) 0.125)) (* w r)) (* w r)))
42.0ms
(/ (/ (/ (- 1 v) (* (- 3 (* 2 v)) 0.125)) (* w r)) (* w r))
30.0ms
(/ (/ (- 1 v) (* (- 3 (* 2 v)) 0.125)) (* w r))

series300.0ms

Counts
4 → 12
Calls
4 calls:
43.0ms
(/ (/ 2 r) r)
78.0ms
(/ 1 (/ (/ (/ (- 1 v) (* (- 3 (* 2 v)) 0.125)) (* w r)) (* w r)))
93.0ms
(/ (/ (/ (- 1 v) (* (- 3 (* 2 v)) 0.125)) (* w r)) (* w r))
85.0ms
(/ (/ (- 1 v) (* (- 3 (* 2 v)) 0.125)) (* w r))

simplify5.3s

Counts
364 → 364
Iterations
IterNodes
24980
11608
0614

prune3.6s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0b

localize97.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt (/ 2 r)) (cbrt (/ 2 r)))
0.6b
(cbrt (/ 2 r))
0.6b
(cbrt (/ 2 r))
0.6b
(cbrt (/ 2 r))

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
103×cbrt-prod
81×add-sqr-sqrt
69×times-frac
57×*-un-lft-identity add-cube-cbrt
16×swap-sqr associate-*r* associate-*l*
11×pow1
9×pow1/3 unswap-sqr
7×cbrt-div div-inv
6×add-exp-log
4×add-cbrt-cube insert-posit16 add-log-exp
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 frac-times pow-plus associate-*l/ prod-exp associate-*r/ *-commutative cbrt-unprod
Counts
4 → 148
Calls
4 calls:
11.0ms
(* (cbrt (/ 2 r)) (cbrt (/ 2 r)))
1.0ms
(cbrt (/ 2 r))
1.0ms
(cbrt (/ 2 r))
1.0ms
(cbrt (/ 2 r))

series1.4s

Counts
4 → 12
Calls
4 calls:
378.0ms
(* (cbrt (/ 2 r)) (cbrt (/ 2 r)))
370.0ms
(cbrt (/ 2 r))
275.0ms
(cbrt (/ 2 r))
356.0ms
(cbrt (/ 2 r))

simplify1.8s

Counts
160 → 160
Iterations
IterNodes
43152
31113
2531
1244
0143

prune2.6s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0b

regimes956.0ms

Accuracy

0% (0.6b remaining)

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

bsearch0.0ms

simplify10.0ms

Iterations
IterNodes
239
139
032

end0.0ms

sample4.8s

Algorithm
intervals
Results
3.9s17032×body80valid