Details

Time bar (total: 47.4s)

sample487.0ms

Algorithm
intervals
Results
68.0ms570×body80valid

simplify2.4s

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

prune26.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 7.1b

localize62.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (* w r) (* w r))
0.7b
(/ 2.0 (* r r))
2.8b
(* (* (* w r) (* w r)) (- 3.0 (* 2.0 v)))
6.7b
(* (* (* (* w r) (* w r)) (- 3.0 (* 2.0 v))) (/ 0.125 (- 1.0 v)))

rewrite581.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:
29.0ms
(* (* w r) (* w r))
12.0ms
(/ 2.0 (* r r))
137.0ms
(* (* (* w r) (* w r)) (- 3.0 (* 2.0 v)))
395.0ms
(* (* (* (* w r) (* w r)) (- 3.0 (* 2.0 v))) (/ 0.125 (- 1.0 v)))

series394.0ms

Counts
4 → 12
Calls
4 calls:
49.0ms
(* (* w r) (* w r))
29.0ms
(/ 2.0 (* r r))
120.0ms
(* (* (* w r) (* w r)) (- 3.0 (* 2.0 v)))
196.0ms
(* (* (* (* w r) (* w r)) (- 3.0 (* 2.0 v))) (/ 0.125 (- 1.0 v)))

simplify976.0ms

Counts
166 → 166
Iterations
IterNodes
done5001
1816
0249

prune870.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0.1b

localize141.0ms

Local error

Found 4 expressions with local error:

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

rewrite3.7s

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

series1.1s

Counts
4 → 8
Calls
4 calls:
0.0ms
(cbrt 0.125)
0.0ms
(cbrt 0.125)
216.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))))
922.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.4s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 0.0b

localize110.0ms

Local error

Found 4 expressions with local error:

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

rewrite5.4s

Algorithm
rewrite-expression-head
Rules
2673×add-exp-log
1776×prod-exp cbrt-unprod
1671×add-cbrt-cube
579×cbrt-undiv div-exp
234×pow1
189×cbrt-prod pow-prod-down
146×associate-*l/
110×frac-times
106×associate-*r*
99×times-frac
85×add-sqr-sqrt *-un-lft-identity
67×add-cube-cbrt
46×associate-*r/
33×sqrt-prod
25×flip3-- flip--
9×distribute-lft-out-- difference-of-squares
4×cbrt-div add-log-exp
2×pow1/3 associate-*l* associate-/r/ *-commutative
1×div-inv
Counts
4 → 885
Calls
4 calls:
4.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 (sqrt 0.125)) (cbrt (cbrt (- 1.0 v)))) (cbrt (cbrt (- 1.0 v)))))) (/ (cbrt (sqrt 0.125)) (cbrt (cbrt (- 1.0 v)))))
1.0ms
(cbrt 0.125)
1.0ms
(cbrt 0.125)
998.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 (sqrt 0.125)) (cbrt (cbrt (- 1.0 v)))) (cbrt (cbrt (- 1.0 v))))))

series1.8s

Counts
4 → 8
Calls
4 calls:
783.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 (sqrt 0.125)) (cbrt (cbrt (- 1.0 v)))) (cbrt (cbrt (- 1.0 v)))))) (/ (cbrt (sqrt 0.125)) (cbrt (cbrt (- 1.0 v)))))
0.0ms
(cbrt 0.125)
0.0ms
(cbrt 0.125)
1000.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 (sqrt 0.125)) (cbrt (cbrt (- 1.0 v)))) (cbrt (cbrt (- 1.0 v))))))

simplify3.9s

Counts
893 → 893
Iterations
IterNodes
done5001
14991
01183

prune8.0s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0.0b

localize230.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.8s

Algorithm
rewrite-expression-head
Rules
498×add-exp-log
366×add-cbrt-cube
360×prod-exp cbrt-unprod
109×pow1
84×pow-prod-down
67×associate-*l/
66×cbrt-undiv div-exp
29×frac-times
14×cbrt-prod
13×associate-*r/ sqrt-prod
12×add-sqr-sqrt
9×*-un-lft-identity add-cube-cbrt
8×flip3-- flip--
4×add-log-exp
3×rem-sqrt-square pow1/3
2×sqrt-pow1
1×pow1/2 associate-*r* associate-*l* *-commutative
Counts
4 → 233
Calls
4 calls:
2.0ms
(sqrt (cbrt (sqrt 0.125)))
1.0ms
(cbrt 0.125)
1.0ms
(cbrt 0.125)
1.7s
(* (* (- 3.0 (* v 2.0)) (/ (cbrt (sqrt 0.125)) (* (cbrt (cbrt (- 1.0 v))) (cbrt (cbrt (- 1.0 v)))))) (* (* (* (/ (cbrt 0.125) (cbrt (- 1.0 v))) r) w) (* (* (/ (cbrt 0.125) (cbrt (- 1.0 v))) r) w)))

series1.1s

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

simplify3.3s

Counts
239 → 239
Iterations
IterNodes
done5000
11577
0409

prune2.1s

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 0.0b

regimes1.1s

Accuracy

0% (1.1b remaining)

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

bsearch0.0ms

simplify9.0ms

Iterations
IterNodes
done41
141
033

end0.0ms

sample3.4s

Algorithm
intervals
Results
2.9s17157×body80valid