Details

Time bar (total: 15.4s)

sample306.0ms

Algorithm
intervals
Results
224.0ms537×body80valid

simplify2.1s

Counts
1 → 1
Iterations
IterNodes
done5000
43561
3664
2152
151
022

prune31.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 5.6b

localize44.0ms

Local error

Found 4 expressions with local error:

3.5b
(* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r))
5.5b
(/ (* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r)) (- 1.0 v))
6.9b
(* (* (* w w) r) r)
10.7b
(* (* w w) r)

rewrite615.0ms

Algorithm
rewrite-expression-head
Rules
92×add-cbrt-cube add-exp-log
57×prod-exp cbrt-unprod
50×pow1
33×pow-prod-down
13×add-sqr-sqrt
12×*-un-lft-identity
9×cbrt-undiv div-exp
8×add-cube-cbrt
7×associate-*r*
5×associate-/r* times-frac
4×expm1-log1p-u associate-*l/ associate-*r/ log1p-expm1-u add-log-exp
3×flip3-- associate-*l* *-commutative flip--
2×associate-/r/ distribute-lft-out-- difference-of-squares associate-/l/
1×clear-num frac-2neg div-inv associate-/l* unswap-sqr
Counts
4 → 127
Calls
4 calls:
275.0ms
(* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r))
251.0ms
(/ (* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r)) (- 1.0 v))
64.0ms
(* (* (* w w) r) r)
18.0ms
(* (* w w) r)

series321.0ms

Counts
4 → 12
Calls
4 calls:
125.0ms
(* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r))
127.0ms
(/ (* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r)) (- 1.0 v))
36.0ms
(* (* (* w w) r) r)
34.0ms
(* (* w w) r)

simplify420.0ms

Counts
139 → 139
Iterations
IterNodes
done5000
1692
0209

prune758.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.8b

localize49.0ms

Local error

Found 4 expressions with local error:

0.8b
(/ 2.0 (* r r))
3.5b
(* (* 0.125 (- 3.0 (* 2.0 v))) (* (* w (* w r)) r))
5.5b
(/ (* (* 0.125 (- 3.0 (* 2.0 v))) (* (* w (* w r)) r)) (- 1.0 v))
6.9b
(* (* w (* w r)) r)

rewrite427.0ms

Algorithm
rewrite-expression-head
Rules
92×add-cbrt-cube add-exp-log
55×prod-exp cbrt-unprod
45×pow1
30×pow-prod-down
13×add-sqr-sqrt *-un-lft-identity
11×cbrt-undiv div-exp
9×add-cube-cbrt
8×times-frac
6×associate-/r*
4×expm1-log1p-u associate-*r* associate-*l/ associate-*r/ log1p-expm1-u associate-/l* add-log-exp
3×flip3-- flip--
2×clear-num frac-2neg associate-*l* associate-/r/ *-commutative div-inv distribute-lft-out-- difference-of-squares associate-/l/
Counts
4 → 129
Calls
4 calls:
6.0ms
(/ 2.0 (* r r))
180.0ms
(* (* 0.125 (- 3.0 (* 2.0 v))) (* (* w (* w r)) r))
172.0ms
(/ (* (* 0.125 (- 3.0 (* 2.0 v))) (* (* w (* w r)) r)) (- 1.0 v))
63.0ms
(* (* w (* w r)) r)

series317.0ms

Counts
4 → 12
Calls
4 calls:
43.0ms
(/ 2.0 (* r r))
129.0ms
(* (* 0.125 (- 3.0 (* 2.0 v))) (* (* w (* w r)) r))
100.0ms
(/ (* (* 0.125 (- 3.0 (* 2.0 v))) (* (* w (* w r)) r)) (- 1.0 v))
46.0ms
(* (* w (* w r)) r)

simplify306.0ms

Counts
141 → 141
Iterations
IterNodes
done5001
1767
0236

prune903.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize55.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (* (* r w) (* r w)) (- 1.0 v))
0.4b
(* (* r w) (* r w))
0.8b
(/ 2.0 (* r r))
5.7b
(* (* 0.125 (- 3.0 (* v 2.0))) (/ (* (* r w) (* r w)) (- 1.0 v)))

rewrite220.0ms

Algorithm
rewrite-expression-head
Rules
95×add-cbrt-cube add-exp-log
51×prod-exp cbrt-unprod
48×pow1
20×pow-prod-down
17×cbrt-undiv div-exp
16×add-sqr-sqrt *-un-lft-identity
13×times-frac
12×associate-*r*
10×add-cube-cbrt
6×associate-/r*
5×associate-*r/
4×expm1-log1p-u flip3-- associate-/r/ pow-sqr pow-prod-up log1p-expm1-u flip-- associate-/l* add-log-exp
3×div-inv distribute-lft-out-- difference-of-squares
2×frac-times clear-num frac-2neg pow-plus associate-*l* associate-*l/ *-commutative
1×pow2 swap-sqr
Counts
4 → 147
Calls
4 calls:
44.0ms
(/ (* (* r w) (* r w)) (- 1.0 v))
26.0ms
(* (* r w) (* r w))
12.0ms
(/ 2.0 (* r r))
127.0ms
(* (* 0.125 (- 3.0 (* v 2.0))) (/ (* (* r w) (* r w)) (- 1.0 v)))

series295.0ms

Counts
4 → 12
Calls
4 calls:
86.0ms
(/ (* (* r w) (* r w)) (- 1.0 v))
61.0ms
(* (* r w) (* r w))
31.0ms
(/ 2.0 (* r r))
117.0ms
(* (* 0.125 (- 3.0 (* v 2.0))) (/ (* (* r w) (* r w)) (- 1.0 v)))

simplify558.0ms

Counts
159 → 159
Iterations
IterNodes
done5000
1854
0247

prune914.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize41.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (* (* r w) (* r w)) (- 1.0 v))
0.2b
(/ (/ 1 r) r)
0.4b
(* (* r w) (* r w))
5.7b
(* (* 0.125 (- 3.0 (* v 2.0))) (/ (* (* r w) (* r w)) (- 1.0 v)))

rewrite198.0ms

Algorithm
rewrite-expression-head
Rules
99×add-exp-log
95×add-cbrt-cube
85×times-frac
56×add-sqr-sqrt *-un-lft-identity
51×pow1
50×prod-exp add-cube-cbrt cbrt-unprod
21×div-exp
20×pow-prod-down
18×cbrt-undiv
14×associate-/l*
12×associate-*r*
8×associate-/r*
7×div-inv
5×associate-*r/
4×expm1-log1p-u flip3-- associate-/r/ pow-sqr pow-prod-up log1p-expm1-u flip-- add-log-exp
3×distribute-lft-out-- difference-of-squares
2×frac-times clear-num frac-2neg pow-plus associate-*l* associate-*l/ *-commutative pow-div
1×pow2 rec-exp 1-exp swap-sqr pow-flip inv-pow associate-/l/
Counts
4 → 200
Calls
4 calls:
40.0ms
(/ (* (* r w) (* r w)) (- 1.0 v))
19.0ms
(/ (/ 1 r) r)
21.0ms
(* (* r w) (* r w))
109.0ms
(* (* 0.125 (- 3.0 (* v 2.0))) (/ (* (* r w) (* r w)) (- 1.0 v)))

series272.0ms

Counts
4 → 12
Calls
4 calls:
80.0ms
(/ (* (* r w) (* r w)) (- 1.0 v))
26.0ms
(/ (/ 1 r) r)
45.0ms
(* (* r w) (* r w))
120.0ms
(* (* 0.125 (- 3.0 (* v 2.0))) (/ (* (* r w) (* r w)) (- 1.0 v)))

simplify612.0ms

Counts
212 → 212
Iterations
IterNodes
done5001
11088
0344

prune1.0s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

regimes290.0ms

Accuracy

0% (0.2b remaining)

Error of 0.2b against oracle of 0.0b and baseline of 0.2b

bsearch0.0ms

simplify5.0ms

Iterations
IterNodes
done28
128
022

end0.0ms

sample4.2s

Algorithm
intervals
Results
3.4s17358×body80valid