Details

Time bar (total: 15.6s)

sample240.0ms

Algorithm
intervals
Results
128.0ms515×body80valid

simplify2.6s

Counts
1 → 1
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
02229
15129
215229
365429
4344529
done500029

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 11.2b

localize49.0ms

Local error

Found 4 expressions with local error:

5.2b
(* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r))
5.7b
(/ (* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r)) (- 1.0 v))
5.9b
(* (* (* w w) r) r)
7.6b
(* (* w w) r)

rewrite661.0ms

Algorithm
rewrite-expression-head
Rules
92×add-exp-log add-cbrt-cube
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×times-frac associate-/r*
4×associate-*r/ associate-*l/ add-log-exp
3×flip3-- associate-*l* *-commutative flip--
2×associate-/r/ associate-/l/ distribute-lft-out-- difference-of-squares
1×frac-2neg clear-num div-inv associate-/l* unswap-sqr
Counts
4 → 119
Calls
4 calls:
251.0ms
(* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r))
305.0ms
(/ (* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r)) (- 1.0 v))
76.0ms
(* (* (* w w) r) r)
22.0ms
(* (* w w) r)

series309.0ms

Counts
4 → 12
Calls
4 calls:
122.0ms
(* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r))
101.0ms
(/ (* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r)) (- 1.0 v))
50.0ms
(* (* (* w w) r) r)
35.0ms
(* (* w w) r)

simplify551.0ms

Counts
131 → 131
Iterations

Useful iterations: done (544.0ms)

IterNodesCost
02032751
16782663
done50002019

prune497.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 2.4b

localize24.0ms

Local error

Found 4 expressions with local error:

0.5b
(/ 2.0 (* r r))
5.1b
(* (* 0.125 (- 3.0 (* 2.0 v))) (/ (* (* (* w w) r) r) (- 1.0 v)))
5.9b
(* (* (* w w) r) r)
7.6b
(* (* w w) r)

rewrite353.0ms

Algorithm
rewrite-expression-head
Rules
68×add-exp-log add-cbrt-cube
37×prod-exp cbrt-unprod
23×pow1
17×associate-*r*
13×add-sqr-sqrt
12×*-un-lft-identity pow-prod-down
10×cbrt-undiv add-cube-cbrt div-exp
8×times-frac
5×associate-*r/
4×add-log-exp
3×flip3-- associate-*l* *-commutative flip-- associate-/l*
2×frac-times associate-*l/ associate-/r/ div-inv
1×frac-2neg clear-num associate-/r* distribute-lft-out-- difference-of-squares unswap-sqr
Counts
4 → 108
Calls
4 calls:
9.0ms
(/ 2.0 (* r r))
219.0ms
(* (* 0.125 (- 3.0 (* 2.0 v))) (/ (* (* (* w w) r) r) (- 1.0 v)))
74.0ms
(* (* (* w w) r) r)
44.0ms
(* (* w w) r)

series254.0ms

Counts
4 → 12
Calls
4 calls:
48.0ms
(/ 2.0 (* r r))
130.0ms
(* (* 0.125 (- 3.0 (* 2.0 v))) (/ (* (* (* w w) r) r) (- 1.0 v)))
48.0ms
(* (* (* w w) r) r)
28.0ms
(* (* w w) r)

simplify549.0ms

Counts
120 → 120
Iterations

Useful iterations: done (542.0ms)

IterNodesCost
02242131
17332064
done50001580

prune571.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 1.4b

localize24.0ms

Local error

Found 4 expressions with local error:

0.2b
(* w (* w r))
0.5b
(/ 2.0 (* r r))
5.1b
(* (* 0.125 (- 3.0 (* 2.0 v))) (/ (* (* w (* w r)) r) (- 1.0 v)))
5.9b
(* (* w (* w r)) r)

rewrite320.0ms

Algorithm
rewrite-expression-head
Rules
68×add-exp-log add-cbrt-cube
37×prod-exp cbrt-unprod
23×pow1
15×associate-*r*
12×add-sqr-sqrt *-un-lft-identity pow-prod-down
10×cbrt-undiv add-cube-cbrt div-exp
8×times-frac
5×associate-*r/ associate-*l*
4×add-log-exp
3×flip3-- *-commutative flip-- associate-/l*
2×frac-times associate-*l/ associate-/r/ div-inv
1×frac-2neg clear-num associate-/r* distribute-lft-out-- difference-of-squares
Counts
4 → 107
Calls
4 calls:
18.0ms
(* w (* w r))
8.0ms
(/ 2.0 (* r r))
191.0ms
(* (* 0.125 (- 3.0 (* 2.0 v))) (/ (* (* w (* w r)) r) (- 1.0 v)))
93.0ms
(* (* w (* w r)) r)

series217.0ms

Counts
4 → 12
Calls
4 calls:
21.0ms
(* w (* w r))
48.0ms
(/ 2.0 (* r r))
106.0ms
(* (* 0.125 (- 3.0 (* 2.0 v))) (/ (* (* w (* w r)) r) (- 1.0 v)))
41.0ms
(* (* w (* w r)) r)

simplify486.0ms

Counts
119 → 119
Iterations

Useful iterations: done (481.0ms)

IterNodesCost
02252122
17272057
done50001583

prune569.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.0b

localize31.0ms

Local error

Found 4 expressions with local error:

0.2b
(* w (* w r))
0.2b
(/ (/ 2.0 r) r)
5.1b
(* (* 0.125 (- 3.0 (* 2.0 v))) (/ (* (* w (* w r)) r) (- 1.0 v)))
5.9b
(* (* w (* w r)) r)

rewrite442.0ms

Algorithm
rewrite-expression-head
Rules
80×times-frac
68×add-exp-log add-cbrt-cube
52×add-sqr-sqrt *-un-lft-identity
50×add-cube-cbrt
36×prod-exp cbrt-unprod
23×pow1
15×associate-*r*
13×associate-/l*
12×pow-prod-down
11×cbrt-undiv div-exp
6×div-inv
5×associate-*r/ associate-*l*
4×add-log-exp
3×flip3-- associate-/r* *-commutative flip--
2×frac-times associate-*l/ associate-/r/
1×frac-2neg clear-num associate-/l/ distribute-lft-out-- difference-of-squares
Counts
4 → 156
Calls
4 calls:
18.0ms
(* w (* w r))
21.0ms
(/ (/ 2.0 r) r)
289.0ms
(* (* 0.125 (- 3.0 (* 2.0 v))) (/ (* (* w (* w r)) r) (- 1.0 v)))
107.0ms
(* (* w (* w r)) r)

series292.0ms

Counts
4 → 12
Calls
4 calls:
36.0ms
(* w (* w r))
54.0ms
(/ (/ 2.0 r) r)
147.0ms
(* (* 0.125 (- 3.0 (* 2.0 v))) (/ (* (* w (* w r)) r) (- 1.0 v)))
55.0ms
(* (* w (* w r)) r)

simplify591.0ms

Counts
168 → 168
Iterations

Useful iterations: done (583.0ms)

IterNodesCost
03192799
19462688
done50002196

prune817.0ms

Pruning

14 alts after pruning (13 fresh and 1 done)

Merged error: 0.0b

regimes468.0ms

Accuracy

88.5% (0.2b remaining)

Error of 0.3b against oracle of 0.1b and baseline of 2.2b

bsearch384.0ms

Steps
ItersRangePoint
9
1.4701452044833457e+113
7.838656080283867e+119
3.277587723233423e+113
8
-1.4647172085465722e-26
-2.235351088539357e-29
-1.0300984153422937e-28

simplify7.0ms

Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
03795
15167
done5167

end0.0ms

sample4.3s

Algorithm
intervals
Results
3.4s17080×body80valid