Details

Time bar (total: 41.3s)

sample190.0ms

Algorithm
intervals
Results
41.0ms541×body80valid

simplify2.5s

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

prune33.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 6.2b

localize61.0ms

Local error

Found 4 expressions with local error:

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

rewrite483.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:
24.0ms
(* (* w r) (* w r))
6.0ms
(/ 2.0 (* r r))
101.0ms
(* (* (* w r) (* w r)) (- 3.0 (* 2.0 v)))
332.0ms
(* (* (* (* w r) (* w r)) (- 3.0 (* 2.0 v))) (/ 0.125 (- 1.0 v)))

series365.0ms

Counts
4 → 12
Calls
4 calls:
41.0ms
(* (* w r) (* w r))
34.0ms
(/ 2.0 (* r r))
132.0ms
(* (* (* w r) (* w r)) (- 3.0 (* 2.0 v)))
157.0ms
(* (* (* (* w r) (* w r)) (- 3.0 (* 2.0 v))) (/ 0.125 (- 1.0 v)))

simplify1.2s

Counts
166 → 166
Iterations
IterNodes
done5001
1816
0249

prune859.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.3b

localize121.0ms

Local error

Found 4 expressions with local error:

1.0b
(cbrt 0.125)
1.0b
(cbrt 0.125)
2.6b
(* (* (* (* (/ (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.8b
(* (* (* (/ (cbrt 0.125) (cbrt (- 1.0 v))) (/ (cbrt 0.125) (cbrt (- 1.0 v)))) (* (* w r) (* w r))) (- 3.0 (* 2.0 v)))

rewrite3.6s

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.9s
(* (* (* (* (/ (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))))
740.0ms
(* (* (* (/ (cbrt 0.125) (cbrt (- 1.0 v))) (/ (cbrt 0.125) (cbrt (- 1.0 v)))) (* (* w r) (* w r))) (- 3.0 (* 2.0 v)))

series924.0ms

Counts
4 → 8
Calls
4 calls:
0.0ms
(cbrt 0.125)
0.0ms
(cbrt 0.125)
220.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))))
703.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.3b

localize127.0ms

Local error

Found 4 expressions with local error:

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

rewrite4.7s

Algorithm
rewrite-expression-head
Rules
1182×add-exp-log
901×prod-exp cbrt-unprod
759×add-cbrt-cube
378×pow1
313×pow-prod-down
296×associate-*l/
290×frac-times
194×cbrt-div
142×associate-*r/
120×cbrt-undiv div-exp
114×cbrt-prod
58×associate-*r*
49×flip3-- flip--
48×add-sqr-sqrt *-un-lft-identity times-frac
36×add-cube-cbrt
6×distribute-lft-out-- difference-of-squares
4×add-log-exp
2×pow1/3 associate-*l* associate-/r/ *-commutative
1×div-inv
Counts
4 → 615
Calls
4 calls:
1.0ms
(cbrt 0.125)
1.0ms
(cbrt 0.125)
3.6s
(* (* (* (* (/ (cbrt 0.125) (cbrt (- 1.0 v))) (* r w)) (* (/ (cbrt 0.125) (cbrt (- 1.0 v))) (* r w))) (* (- 3.0 (* 2.0 v)) (* (cbrt (/ (cbrt 0.125) (cbrt (- 1.0 v)))) (cbrt (/ (cbrt 0.125) (cbrt (- 1.0 v))))))) (cbrt (/ (cbrt 0.125) (cbrt (- 1.0 v)))))
1.0s
(* (* (* (/ (cbrt 0.125) (cbrt (- 1.0 v))) (* r w)) (* (/ (cbrt 0.125) (cbrt (- 1.0 v))) (* r w))) (* (- 3.0 (* 2.0 v)) (* (cbrt (/ (cbrt 0.125) (cbrt (- 1.0 v)))) (cbrt (/ (cbrt 0.125) (cbrt (- 1.0 v)))))))

series1.5s

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

simplify3.5s

Counts
623 → 623
Iterations
IterNodes
done5001
13219
0901

prune5.3s

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 0.0b

localize167.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.3b
(* (* (* (/ (cbrt 0.125) (cbrt (- 1.0 v))) (* r w)) (* (/ (cbrt 0.125) (cbrt (- 1.0 v))) (* r w))) (* (* (- 3.0 (* 2.0 v)) (* (cbrt (/ (cbrt 0.125) (cbrt (- 1.0 v)))) (cbrt (/ (cbrt 0.125) (cbrt (- 1.0 v)))))) (cbrt (/ (cbrt 0.125) (cbrt (- 1.0 v))))))

rewrite1.8s

Algorithm
rewrite-expression-head
Rules
788×add-exp-log
600×prod-exp cbrt-unprod
498×add-cbrt-cube
252×pow1
209×frac-times
208×pow-prod-down
207×associate-*l/
144×cbrt-div
99×associate-*r/
80×cbrt-undiv div-exp
32×flip3-- flip--
9×cbrt-prod
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 → 386
Calls
4 calls:
1.0ms
(cbrt 0.125)
1.0ms
(cbrt 0.125)
1.0ms
(cbrt 0.125)
1.8s
(* (* (* (/ (cbrt 0.125) (cbrt (- 1.0 v))) (* r w)) (* (/ (cbrt 0.125) (cbrt (- 1.0 v))) (* r w))) (* (* (- 3.0 (* 2.0 v)) (* (cbrt (/ (cbrt 0.125) (cbrt (- 1.0 v)))) (cbrt (/ (cbrt 0.125) (cbrt (- 1.0 v)))))) (cbrt (/ (cbrt 0.125) (cbrt (- 1.0 v))))))

series172.0ms

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

simplify2.5s

Counts
392 → 392
Iterations
IterNodes
done5000
12427
0561

prune2.9s

Pruning

14 alts after pruning (13 fresh and 1 done)

Merged error: 0.0b

regimes487.0ms

Accuracy

0% (0.8b remaining)

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

bsearch0.0ms

simplify11.0ms

Iterations
IterNodes
done41
141
032

end0.0ms

sample3.5s

Algorithm
intervals
Results
2.7s17178×body80valid