Details

Time bar (total: 22.9s)

sample221.0ms

Algorithm
intervals
Results
74.0ms541×body80valid

simplify2.7s

Counts
1 → 1
Iterations

Useful iterations: 2 (92.0ms)

IterNodesCost
022568
151568
2152528
3656528
43439528
done5000528

prune19.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.5b

localize51.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (+ 3.0 (/ 2.0 (* r r))) (+ (/ (* (* w r) (* w r)) (/ (- 1.0 v) (* 0.125 (- 3.0 (* 2.0 v))))) 4.5))
0.3b
(* (* w r) (* w r))
0.4b
(/ (* (* w r) (* w r)) (/ (- 1.0 v) (* 0.125 (- 3.0 (* 2.0 v)))))
0.6b
(/ 2.0 (* r r))

rewrite430.0ms

Algorithm
rewrite-expression-head
Rules
90×add-cbrt-cube add-exp-log
43×pow1
38×prod-exp cbrt-unprod
27×cbrt-undiv div-exp
26×*-un-lft-identity
24×times-frac
17×pow-prod-down
16×add-sqr-sqrt add-log-exp
12×associate-/r*
10×add-cube-cbrt
6×distribute-lft-out--
5×associate-/r/
4×sum-log flip3-+ diff-log associate-*r/ pow-sqr pow-prod-up frac-sub flip-+ div-inv distribute-lft-out associate-/l*
3×flip3-- flip-- difference-of-squares
2×clear-num frac-2neg pow-plus
1×pow2 sub-neg swap-sqr associate-*r* associate-*l* associate--l+ *-commutative associate--r+
Counts
4 → 145
Calls
4 calls:
308.0ms
(- (+ 3.0 (/ 2.0 (* r r))) (+ (/ (* (* w r) (* w r)) (/ (- 1.0 v) (* 0.125 (- 3.0 (* 2.0 v))))) 4.5))
32.0ms
(* (* w r) (* w r))
67.0ms
(/ (* (* w r) (* w r)) (/ (- 1.0 v) (* 0.125 (- 3.0 (* 2.0 v)))))
9.0ms
(/ 2.0 (* r r))

series461.0ms

Counts
4 → 12
Calls
4 calls:
194.0ms
(- (+ 3.0 (/ 2.0 (* r r))) (+ (/ (* (* w r) (* w r)) (/ (- 1.0 v) (* 0.125 (- 3.0 (* 2.0 v))))) 4.5))
33.0ms
(* (* w r) (* w r))
171.0ms
(/ (* (* w r) (* w r)) (/ (- 1.0 v) (* 0.125 (- 3.0 (* 2.0 v)))))
63.0ms
(/ 2.0 (* r r))

simplify1.6s

Counts
157 → 157
Iterations

Useful iterations: done (1.5s)

IterNodesCost
030270962
1104558848
done500155302

prune897.0ms

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 0.0b

localize77.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (* w r) (sqrt (/ (- 1.0 v) (* 0.125 (- 3.0 (* 2.0 v))))))
0.1b
(/ (* w r) (sqrt (/ (- 1.0 v) (* 0.125 (- 3.0 (* 2.0 v))))))
0.3b
(* (/ (* w r) (sqrt (/ (- 1.0 v) (* 0.125 (- 3.0 (* 2.0 v)))))) (/ (* w r) (sqrt (/ (- 1.0 v) (* 0.125 (- 3.0 (* 2.0 v)))))))
0.6b
(/ 2.0 (* r r))

rewrite209.0ms

Algorithm
rewrite-expression-head
Rules
139×times-frac
94×sqrt-prod
56×add-sqr-sqrt *-un-lft-identity
55×add-cbrt-cube add-exp-log
34×add-cube-cbrt
29×associate-/r*
23×swap-sqr
22×associate-/r/
19×associate-*r* associate-*l*
18×cbrt-undiv div-exp prod-exp cbrt-unprod
17×associate-*r/
15×div-inv
11×pow1
10×distribute-lft-out--
8×flip3-- flip-- difference-of-squares
6×sqrt-div
5×associate-/l*
4×add-log-exp
3×clear-num frac-2neg
1×pow2 frac-times pow-plus pow-prod-down associate-*l/ pow-sqr *-commutative pow-prod-up unswap-sqr
Counts
4 → 205
Calls
4 calls:
21.0ms
(/ (* w r) (sqrt (/ (- 1.0 v) (* 0.125 (- 3.0 (* 2.0 v))))))
23.0ms
(/ (* w r) (sqrt (/ (- 1.0 v) (* 0.125 (- 3.0 (* 2.0 v))))))
138.0ms
(* (/ (* w r) (sqrt (/ (- 1.0 v) (* 0.125 (- 3.0 (* 2.0 v)))))) (/ (* w r) (sqrt (/ (- 1.0 v) (* 0.125 (- 3.0 (* 2.0 v)))))))
12.0ms
(/ 2.0 (* r r))

series1.3s

Counts
4 → 12
Calls
4 calls:
418.0ms
(/ (* w r) (sqrt (/ (- 1.0 v) (* 0.125 (- 3.0 (* 2.0 v))))))
426.0ms
(/ (* w r) (sqrt (/ (- 1.0 v) (* 0.125 (- 3.0 (* 2.0 v))))))
427.0ms
(* (/ (* w r) (sqrt (/ (- 1.0 v) (* 0.125 (- 3.0 (* 2.0 v)))))) (/ (* w r) (sqrt (/ (- 1.0 v) (* 0.125 (- 3.0 (* 2.0 v)))))))
47.0ms
(/ 2.0 (* r r))

simplify2.2s

Counts
217 → 217
Iterations

Useful iterations: done (2.1s)

IterNodesCost
0322102266
1106991268
done500190027

prune1.8s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.0b

localize50.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (+ 3.0 (/ (/ 2.0 r) r)) (+ (/ (* (* w r) (* w r)) (/ (- 1.0 v) (* 0.125 (- 3.0 (* 2.0 v))))) 4.5))
0.2b
(/ (/ 2.0 r) r)
0.3b
(* (* w r) (* w r))
0.4b
(/ (* (* w r) (* w r)) (/ (- 1.0 v) (* 0.125 (- 3.0 (* 2.0 v)))))

rewrite611.0ms

Algorithm
rewrite-expression-head
Rules
96×times-frac
90×add-cbrt-cube add-exp-log
66×*-un-lft-identity
56×add-sqr-sqrt
50×add-cube-cbrt
43×pow1
37×prod-exp cbrt-unprod
28×cbrt-undiv div-exp
17×pow-prod-down
16×add-log-exp
14×associate-/r* associate-/l*
8×div-inv
6×distribute-lft-out--
5×associate-/r/
4×sum-log flip3-+ diff-log associate-*r/ pow-sqr pow-prod-up frac-sub flip-+ distribute-lft-out
3×flip3-- flip-- difference-of-squares
2×clear-num frac-2neg pow-plus
1×pow2 sub-neg swap-sqr associate-*r* associate-*l* associate--l+ *-commutative associate--r+ associate-/l/
Counts
4 → 194
Calls
4 calls:
492.0ms
(- (+ 3.0 (/ (/ 2.0 r) r)) (+ (/ (* (* w r) (* w r)) (/ (- 1.0 v) (* 0.125 (- 3.0 (* 2.0 v))))) 4.5))
17.0ms
(/ (/ 2.0 r) r)
39.0ms
(* (* w r) (* w r))
48.0ms
(/ (* (* w r) (* w r)) (/ (- 1.0 v) (* 0.125 (- 3.0 (* 2.0 v)))))

series414.0ms

Counts
4 → 12
Calls
4 calls:
185.0ms
(- (+ 3.0 (/ (/ 2.0 r) r)) (+ (/ (* (* w r) (* w r)) (/ (- 1.0 v) (* 0.125 (- 3.0 (* 2.0 v))))) 4.5))
48.0ms
(/ (/ 2.0 r) r)
34.0ms
(* (* w r) (* w r))
146.0ms
(/ (* (* w r) (* w r)) (/ (- 1.0 v) (* 0.125 (- 3.0 (* 2.0 v)))))

simplify1.6s

Counts
206 → 206
Iterations

Useful iterations: done (1.5s)

IterNodesCost
039987181
1125273833
done500069946

prune1.3s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.0b

localize57.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ (/ 2.0 r) r)
0.3b
(/ (* (* w r) (* w r)) (- 1.0 v))
0.3b
(* (* w r) (* w r))
2.9b
(* (/ (* (* w r) (* w r)) (- 1.0 v)) (* 0.125 (- 3.0 (* 2.0 v))))

rewrite255.0ms

Algorithm
rewrite-expression-head
Rules
95×add-cbrt-cube add-exp-log
85×times-frac
56×add-sqr-sqrt *-un-lft-identity
50×prod-exp add-cube-cbrt cbrt-unprod
48×pow1
20×pow-prod-down
18×cbrt-undiv div-exp
14×associate-/l*
12×associate-*l*
8×distribute-rgt-in associate-/r* distribute-lft-in
7×div-inv
6×associate-*r/
4×sub-neg flip3-- associate-/r/ pow-sqr pow-prod-up flip-- add-log-exp
3×distribute-lft-out-- difference-of-squares
2×frac-times clear-num frac-2neg pow-plus associate-*r* *-commutative
1×pow2 swap-sqr associate-*l/ associate-/l/
Counts
4 → 196
Calls
4 calls:
10.0ms
(/ (/ 2.0 r) r)
37.0ms
(/ (* (* w r) (* w r)) (- 1.0 v))
40.0ms
(* (* w r) (* w r))
154.0ms
(* (/ (* (* w r) (* w r)) (- 1.0 v)) (* 0.125 (- 3.0 (* 2.0 v))))

series350.0ms

Counts
4 → 12
Calls
4 calls:
41.0ms
(/ (/ 2.0 r) r)
79.0ms
(/ (* (* w r) (* w r)) (- 1.0 v))
49.0ms
(* (* w r) (* w r))
180.0ms
(* (/ (* (* w r) (* w r)) (- 1.0 v)) (* 0.125 (- 3.0 (* 2.0 v))))

simplify1.3s

Counts
208 → 208
Iterations

Useful iterations: done (1.2s)

IterNodesCost
034972062
1110859743
done500056621

prune1.2s

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 0.0b

regimes430.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
021528
127528
done27528

end0.0ms

sample3.3s

Algorithm
intervals
Results
2.7s17178×body80valid