Details

Time bar (total: 31.8s)

sample346.0ms

Algorithm
intervals
Results
246.0ms581×body80valid

simplify2.8s

Counts
1 → 1
Iterations
IterNodes
done5000
43439
3656
2152
151
022

prune27.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 6.9b

localize37.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (* w r) (* w r))
0.4b
(/ 2.0 (* r r))
3.6b
(* (* (* w r) (* w r)) (- 3.0 (* 2.0 v)))
6.4b
(* (* (* (* w r) (* w r)) (- 3.0 (* 2.0 v))) (/ 0.125 (- 1.0 v)))

rewrite569.0ms

Algorithm
rewrite-expression-head
Rules
95×add-cbrt-cube add-exp-log
86×pow1
60×prod-exp cbrt-unprod
49×pow-prod-down
25×associate-*r*
23×add-sqr-sqrt
22×*-un-lft-identity
18×times-frac
16×add-cube-cbrt
8×cbrt-undiv div-exp
7×associate-*r/
4×flip3-- pow-sqr pow-prod-up flip-- add-log-exp
3×associate-*l* *-commutative associate-/l* distribute-lft-out-- difference-of-squares
2×distribute-rgt-in frac-times sub-neg distribute-lft-in pow-plus associate-*l/ associate-/r/ div-inv
1×pow2 clear-num associate-/r* frac-2neg swap-sqr unswap-sqr
Counts
4 → 154
Calls
4 calls:
40.0ms
(* (* w r) (* w r))
12.0ms
(/ 2.0 (* r r))
109.0ms
(* (* (* w r) (* w r)) (- 3.0 (* 2.0 v)))
393.0ms
(* (* (* (* w r) (* w r)) (- 3.0 (* 2.0 v))) (/ 0.125 (- 1.0 v)))

series393.0ms

Counts
4 → 12
Calls
4 calls:
50.0ms
(* (* w r) (* w r))
33.0ms
(/ 2.0 (* r r))
144.0ms
(* (* (* w r) (* w r)) (- 3.0 (* 2.0 v)))
165.0ms
(* (* (* (* w r) (* w r)) (- 3.0 (* 2.0 v))) (/ 0.125 (- 1.0 v)))

simplify1.1s

Counts
166 → 166
Iterations
IterNodes
done5001
1816
0249

prune880.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0.1b

localize76.0ms

Local error

Found 4 expressions with local error:

1.0b
(cbrt 0.125)
1.0b
(cbrt 0.125)
2.7b
(* (* (* (* (/ (cbrt 0.125) (cbrt (- 1.0 v))) (/ (cbrt 0.125) (cbrt (- 1.0 v)))) (* (* w r) (* w r))) (- 3.0 (* 2.0 v))) (/ (cbrt 0.125) (cbrt (- 1.0 v))))
3.7b
(* (* (* (/ (cbrt 0.125) (cbrt (- 1.0 v))) (/ (cbrt 0.125) (cbrt (- 1.0 v)))) (* (* w r) (* w r))) (- 3.0 (* 2.0 v)))

rewrite3.5s

Algorithm
rewrite-expression-head
Rules
558×add-exp-log
387×prod-exp cbrt-unprod
384×add-cbrt-cube
123×pow1
96×pow-prod-down
87×cbrt-undiv div-exp
60×cbrt-prod
57×associate-*r*
56×associate-*l/
48×add-sqr-sqrt *-un-lft-identity times-frac
38×frac-times
36×add-cube-cbrt
16×associate-*r/
13×flip3-- flip--
6×distribute-lft-out-- difference-of-squares
4×add-log-exp
2×distribute-rgt-in cbrt-div sub-neg distribute-lft-in pow1/3 associate-*l* associate-/r/ *-commutative
1×div-inv
Counts
4 → 318
Calls
4 calls:
1.0ms
(cbrt 0.125)
1.0ms
(cbrt 0.125)
2.7s
(* (* (* (* (/ (cbrt 0.125) (cbrt (- 1.0 v))) (/ (cbrt 0.125) (cbrt (- 1.0 v)))) (* (* w r) (* w r))) (- 3.0 (* 2.0 v))) (/ (cbrt 0.125) (cbrt (- 1.0 v))))
679.0ms
(* (* (* (/ (cbrt 0.125) (cbrt (- 1.0 v))) (/ (cbrt 0.125) (cbrt (- 1.0 v)))) (* (* w r) (* w r))) (- 3.0 (* 2.0 v)))

series962.0ms

Counts
4 → 8
Calls
4 calls:
0.0ms
(cbrt 0.125)
0.0ms
(cbrt 0.125)
242.0ms
(* (* (* (* (/ (cbrt 0.125) (cbrt (- 1.0 v))) (/ (cbrt 0.125) (cbrt (- 1.0 v)))) (* (* w r) (* w r))) (- 3.0 (* 2.0 v))) (/ (cbrt 0.125) (cbrt (- 1.0 v))))
719.0ms
(* (* (* (/ (cbrt 0.125) (cbrt (- 1.0 v))) (/ (cbrt 0.125) (cbrt (- 1.0 v)))) (* (* w r) (* w r))) (- 3.0 (* 2.0 v)))

simplify2.1s

Counts
326 → 326
Iterations
IterNodes
done5000
12032
0548

prune2.2s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.0b

localize77.0ms

Local error

Found 4 expressions with local error:

1.0b
(cbrt 0.125)
1.0b
(cbrt 0.125)
1.0b
(cbrt 0.125)
2.7b
(* (* (* (/ (cbrt 0.125) (cbrt (- 1.0 v))) (/ (cbrt 0.125) (cbrt (- 1.0 v)))) (* (* w r) (* w r))) (* (- 3.0 (* 2.0 v)) (/ (cbrt 0.125) (cbrt (- 1.0 v)))))

rewrite903.0ms

Algorithm
rewrite-expression-head
Rules
553×add-exp-log
385×prod-exp cbrt-unprod
381×add-cbrt-cube
121×pow1
95×pow-prod-down
86×cbrt-undiv div-exp
35×associate-*l/
29×frac-times
15×associate-*r/
9×cbrt-prod
8×flip3-- flip--
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×add-log-exp
3×pow1/3
1×associate-*r* associate-*l* *-commutative
Counts
4 → 244
Calls
4 calls:
1.0ms
(cbrt 0.125)
1.0ms
(cbrt 0.125)
1.0ms
(cbrt 0.125)
868.0ms
(* (* (* (/ (cbrt 0.125) (cbrt (- 1.0 v))) (/ (cbrt 0.125) (cbrt (- 1.0 v)))) (* (* w r) (* w r))) (* (- 3.0 (* 2.0 v)) (/ (cbrt 0.125) (cbrt (- 1.0 v)))))

series220.0ms

Counts
4 → 6
Calls
4 calls:
0.0ms
(cbrt 0.125)
0.0ms
(cbrt 0.125)
0.0ms
(cbrt 0.125)
219.0ms
(* (* (* (/ (cbrt 0.125) (cbrt (- 1.0 v))) (/ (cbrt 0.125) (cbrt (- 1.0 v)))) (* (* w r) (* w r))) (* (- 3.0 (* 2.0 v)) (/ (cbrt 0.125) (cbrt (- 1.0 v)))))

simplify1.9s

Counts
250 → 250
Iterations
IterNodes
done5001
11571
0375

prune1.6s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0.0b

localize151.0ms

Local error

Found 4 expressions with local error:

1.0b
(cbrt 0.125)
1.0b
(cbrt 0.125)
1.0b
(* (cbrt (sqrt 0.125)) (cbrt (sqrt 0.125)))
2.7b
(* (* (* (/ (* (cbrt (sqrt 0.125)) (cbrt (sqrt 0.125))) (cbrt (- 1.0 v))) (/ (cbrt 0.125) (cbrt (- 1.0 v)))) (* (* w r) (* w r))) (* (- 3.0 (* 2.0 v)) (/ (cbrt 0.125) (cbrt (- 1.0 v)))))

rewrite1.2s

Algorithm
rewrite-expression-head
Rules
828×add-exp-log
574×prod-exp cbrt-unprod
544×add-cbrt-cube
141×cbrt-undiv div-exp
128×pow1
97×pow-prod-down
46×cbrt-prod
40×add-sqr-sqrt
35×associate-*l/
29×frac-times
20×sqrt-prod
18×*-un-lft-identity add-cube-cbrt
15×associate-*r/
11×swap-sqr
10×associate-*r* associate-*l*
9×unswap-sqr
8×flip3-- pow1/3 flip--
4×add-log-exp
2×pow-sqr *-commutative pow-prod-up
1×pow2 pow-plus
Counts
4 → 349
Calls
4 calls:
1.0ms
(cbrt 0.125)
1.0ms
(cbrt 0.125)
13.0ms
(* (cbrt (sqrt 0.125)) (cbrt (sqrt 0.125)))
1.1s
(* (* (* (/ (* (cbrt (sqrt 0.125)) (cbrt (sqrt 0.125))) (cbrt (- 1.0 v))) (/ (cbrt 0.125) (cbrt (- 1.0 v)))) (* (* w r) (* w r))) (* (- 3.0 (* 2.0 v)) (/ (cbrt 0.125) (cbrt (- 1.0 v)))))

series989.0ms

Counts
4 → 6
Calls
4 calls:
0.0ms
(cbrt 0.125)
0.0ms
(cbrt 0.125)
0.0ms
(* (cbrt (sqrt 0.125)) (cbrt (sqrt 0.125)))
989.0ms
(* (* (* (/ (* (cbrt (sqrt 0.125)) (cbrt (sqrt 0.125))) (cbrt (- 1.0 v))) (/ (cbrt 0.125) (cbrt (- 1.0 v)))) (* (* w r) (* w r))) (* (- 3.0 (* 2.0 v)) (/ (cbrt 0.125) (cbrt (- 1.0 v)))))

simplify2.6s

Counts
355 → 355
Iterations
IterNodes
done5001
12191
0526

prune2.5s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0.0b

regimes987.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify9.0ms

Iterations
IterNodes
done41
141
033

end0.0ms

sample3.8s

Algorithm
intervals
Results
3.2s17049×body80valid