Details

Time bar (total: 24.4s)

sample236.0ms

Algorithm
intervals
Results
148.0ms545×body80valid

simplify2.0s

Counts
1 → 1
Iterations
IterNodes
done5000
43391
3648
2156
153
022

prune15.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.5b

localize66.0ms

Local error

Found 4 expressions with local error:

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

rewrite163.0ms

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

series270.0ms

Counts
4 → 12
Calls
4 calls:
37.0ms
(/ 2 (* r r))
77.0ms
(/ (- 1 v) (* (* w r) (* w r)))
51.0ms
(* (* w r) (* w r))
104.0ms
(/ (* (- 3 (* 2 v)) 0.125) (/ (- 1 v) (* (* w r) (* w r))))

simplify1.2s

Counts
165 → 165
Iterations
IterNodes
done5000
1808
0245

prune968.0ms

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 0.0b

localize72.0ms

Local error

Found 4 expressions with local error:

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

rewrite127.0ms

Algorithm
rewrite-expression-head
Rules
322×add-exp-log
154×add-cbrt-cube
137×prod-exp
128×div-exp
60×cbrt-undiv
57×cbrt-unprod
20×rec-exp 1-exp
17×add-sqr-sqrt
16×times-frac
15×*-un-lft-identity
12×add-cube-cbrt
10×associate-*r*
9×pow1
7×associate-*l* associate-/l*
5×div-inv
4×associate-*l/ insert-posit16 add-log-exp
3×clear-num associate-/r* frac-2neg associate-/r/
2×frac-times pow-prod-down associate-*r/ pow-flip difference-of-squares associate-/l/
1×flip3-- *-commutative flip-- distribute-lft-out-- inv-pow unswap-sqr
Counts
4 → 195
Calls
4 calls:
9.0ms
(/ 1 (* w r))
58.0ms
(* (/ 1 (* w r)) (/ (- 1 v) (* w r)))
6.0ms
(/ 2 (* r r))
49.0ms
(/ (* (- 3 (* 2 v)) 0.125) (* (/ 1 (* w r)) (/ (- 1 v) (* w r))))

series229.0ms

Counts
4 → 12
Calls
4 calls:
15.0ms
(/ 1 (* w r))
70.0ms
(* (/ 1 (* w r)) (/ (- 1 v) (* w r)))
49.0ms
(/ 2 (* r r))
95.0ms
(/ (* (- 3 (* 2 v)) 0.125) (* (/ 1 (* w r)) (/ (- 1 v) (* w r))))

simplify1.4s

Counts
207 → 207
Iterations
IterNodes
done5001
11113
0303

prune1.0s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 0.0b

localize84.0ms

Local error

Found 4 expressions with local error:

0.3b
(/ (* (cbrt (- 1 v)) (cbrt (- 1 v))) (* w r))
0.3b
(/ (cbrt (- 1 v)) (* w r))
0.6b
(/ 0.125 (/ (cbrt (- 1 v)) (* w r)))
4.8b
(/ (- 3 (* 2 v)) (/ (* (cbrt (- 1 v)) (cbrt (- 1 v))) (* w r)))

rewrite139.0ms

Algorithm
rewrite-expression-head
Rules
104×times-frac
62×add-sqr-sqrt *-un-lft-identity
48×add-exp-log
44×add-cube-cbrt
36×cbrt-prod add-cbrt-cube
20×cbrt-undiv associate-/r* div-exp
16×associate-/l*
14×cbrt-div
12×div-inv difference-of-squares associate-/l/
10×prod-exp cbrt-unprod
8×flip3-- flip--
6×distribute-lft-out--
4×frac-times pow1 clear-num frac-2neg insert-posit16 add-log-exp
2×associate-*l/ associate-*r/ associate-/r/
1×div-sub
Counts
4 → 187
Calls
4 calls:
35.0ms
(/ (* (cbrt (- 1 v)) (cbrt (- 1 v))) (* w r))
31.0ms
(/ (cbrt (- 1 v)) (* w r))
26.0ms
(/ 0.125 (/ (cbrt (- 1 v)) (* w r)))
42.0ms
(/ (- 3 (* 2 v)) (/ (* (cbrt (- 1 v)) (cbrt (- 1 v))) (* w r)))

series438.0ms

Counts
4 → 12
Calls
4 calls:
98.0ms
(/ (* (cbrt (- 1 v)) (cbrt (- 1 v))) (* w r))
96.0ms
(/ (cbrt (- 1 v)) (* w r))
124.0ms
(/ 0.125 (/ (cbrt (- 1 v)) (* w r)))
120.0ms
(/ (- 3 (* 2 v)) (/ (* (cbrt (- 1 v)) (cbrt (- 1 v))) (* w r)))

simplify2.8s

Counts
199 → 199
Iterations
IterNodes
done5001
24757
11038
0366

prune2.1s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0.0b

localize64.0ms

Local error

Found 4 expressions with local error:

0.3b
(/ (cbrt (- 1 v)) (* w r))
0.6b
(/ 0.125 (/ (cbrt (- 1 v)) (* w r)))
2.2b
(/ (/ (* (cbrt (- 1 v)) (cbrt (- 1 v))) (* w r)) (cbrt (- 3 (* 2 v))))
2.9b
(/ (* (cbrt (- 3 (* 2 v))) (cbrt (- 3 (* 2 v)))) (/ (/ (* (cbrt (- 1 v)) (cbrt (- 1 v))) (* w r)) (cbrt (- 3 (* 2 v)))))

rewrite106.0ms

Algorithm
rewrite-expression-head
Rules
229×times-frac
105×add-sqr-sqrt *-un-lft-identity
92×add-exp-log
87×add-cube-cbrt
84×cbrt-prod
56×associate-/r*
49×add-cbrt-cube
46×cbrt-undiv div-exp
29×div-inv
20×cbrt-div prod-exp cbrt-unprod
18×associate-/l*
12×difference-of-squares
11×associate-/l/
10×flip3-- flip--
8×associate-/r/
6×distribute-lft-out--
4×frac-times pow1 clear-num frac-2neg insert-posit16 add-log-exp
2×associate-*l/ associate-*r/
Counts
4 → 291
Calls
4 calls:
23.0ms
(/ (cbrt (- 1 v)) (* w r))
17.0ms
(/ 0.125 (/ (cbrt (- 1 v)) (* w r)))
22.0ms
(/ (/ (* (cbrt (- 1 v)) (cbrt (- 1 v))) (* w r)) (cbrt (- 3 (* 2 v))))
34.0ms
(/ (* (cbrt (- 3 (* 2 v))) (cbrt (- 3 (* 2 v)))) (/ (/ (* (cbrt (- 1 v)) (cbrt (- 1 v))) (* w r)) (cbrt (- 3 (* 2 v)))))

series528.0ms

Counts
4 → 12
Calls
4 calls:
121.0ms
(/ (cbrt (- 1 v)) (* w r))
119.0ms
(/ 0.125 (/ (cbrt (- 1 v)) (* w r)))
187.0ms
(/ (/ (* (cbrt (- 1 v)) (cbrt (- 1 v))) (* w r)) (cbrt (- 3 (* 2 v))))
101.0ms
(/ (* (cbrt (- 3 (* 2 v))) (cbrt (- 3 (* 2 v)))) (/ (/ (* (cbrt (- 1 v)) (cbrt (- 1 v))) (* w r)) (cbrt (- 3 (* 2 v)))))

simplify1.8s

Counts
303 → 303
Iterations
IterNodes
done5000
11597
0536

prune2.7s

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 0.0b

regimes739.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify7.0ms

Iterations
IterNodes
done34
134
027

end0.0ms

sample5.1s

Algorithm
intervals
Results
4.6s17016×body80valid