Details

sample80.0ms

Algorithm

intervals

Results

47.0ms

547×

body

valid

simplify767.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	22	29
1	51	29
2	150	29
3	585	29
4	2614	29
done	5000	29

prune5.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 13.3b

Counts

2 → 1

localize30.0ms

Local error

Found 4 expressions with local error:

3.4b	(* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r))
5.0b	(/ (* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r)) (- 1.0 v))
7.5b	(* (* (* w w) r) r)
10.6b	(* (* w w) r)

rewrite61.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:

15.0ms	(* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r))
20.0ms	(/ (* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r)) (- 1.0 v))
8.0ms	(* (* (* w w) r) r)
9.0ms	(* (* w w) r)

series79.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r))
34.0ms	(/ (* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r)) (- 1.0 v))
8.0ms	(* (* (* w w) r) r)
13.0ms	(* (* w w) r)

simplify815.0ms

Counts

131 → 131

Iterations

Useful iterations: 2 (247.0ms)

Iter	Nodes	Cost
0	203	2751
1	661	2663
2	3410	1923
done	5001	1923

prune200.0ms

Filtered

61 candidates to 131 candidates (-114.8%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	121	10	131
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	122	10	132

Merged error: 5.2b

Counts

132 → 10

localize22.0ms

Local error

Found 4 expressions with local error:

0.5b	(/ 2.0 (* r r))
3.4b	(* (* 0.125 (- 3.0 (* 2.0 v))) (* (* w (* w r)) r))
5.0b	(/ (* (* 0.125 (- 3.0 (* 2.0 v))) (* (* w (* w r)) r)) (- 1.0 v))
7.5b	(* (* w (* w r)) r)

rewrite53.0ms

Algorithm

rewrite-expression-head

Rules

92×	`add-exp-log` `add-cbrt-cube`
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×	`associate-r/` `associate-r` `associate-l/` `associate-/l*` `add-log-exp`
3×	`flip3--` `flip--`
2×	`frac-2neg` `associate-l` `clear-num` `associate-/r/` `*-commutative` `div-inv` `associate-/l/` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 121

Calls

4 calls:

5.0ms	(/ 2.0 (* r r))
14.0ms	(* (* 0.125 (- 3.0 (* 2.0 v))) (* (* w (* w r)) r))
19.0ms	(/ (* (* 0.125 (- 3.0 (* 2.0 v))) (* (* w (* w r)) r)) (- 1.0 v))
8.0ms	(* (* w (* w r)) r)

series67.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(/ 2.0 (* r r))
25.0ms	(* (* 0.125 (- 3.0 (* 2.0 v))) (* (* w (* w r)) r))
31.0ms	(/ (* (* 0.125 (- 3.0 (* 2.0 v))) (* (* w (* w r)) r)) (- 1.0 v))
8.0ms	(* (* w (* w r)) r)

simplify909.0ms

Counts

133 → 133

Iterations

Useful iterations: 2 (291.0ms)

Iter	Nodes	Cost
0	230	2773
1	738	2687
2	3766	1939
done	5000	1939

prune210.0ms

Filtered

66 candidates to 133 candidates (-101.5%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	124	9	133
Fresh	5	4	9
Picked	1	0	1
Done	0	0	0
Total	130	13	143

Merged error: 1.1b

Counts

143 → 13

localize19.0ms

Local error

Found 4 expressions with local error:

0.2b	(* w (* w r))
0.5b	(/ 2.0 (* r r))
4.6b	(* (* 0.125 (- 3.0 (* 2.0 v))) (/ (* (* w (* w r)) r) (- 1.0 v)))
7.5b	(* (* w (* w r)) r)

rewrite42.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:

6.0ms	(* w (* w r))
5.0ms	(/ 2.0 (* r r))
18.0ms	(* (* 0.125 (- 3.0 (* 2.0 v))) (/ (* (* w (* w r)) r) (- 1.0 v)))
8.0ms	(* (* w (* w r)) r)

series44.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(* w (* w r))
3.0ms	(/ 2.0 (* r r))
29.0ms	(* (* 0.125 (- 3.0 (* 2.0 v))) (/ (* (* w (* w r)) r) (- 1.0 v)))
8.0ms	(* (* w (* w r)) r)

simplify870.0ms

Counts

119 → 119

Iterations

Useful iterations: 2 (266.0ms)

Iter	Nodes	Cost
0	225	2122
1	710	2057
2	3755	1511
done	5000	1511

prune426.0ms

Filtered

69 candidates to 119 candidates (-72.5%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	116	3	119
Fresh	2	10	12
Picked	1	0	1
Done	0	0	0
Total	119	13	132

Merged error: 0.1b

Counts

132 → 13

localize24.0ms

Local error

Found 4 expressions with local error:

4.6b	(* (* 0.125 (- 3.0 (* 2.0 v))) (/ (* (* w (* w r)) r) (- 1.0 v)))
7.5b	(* (* w (* w r)) r)
12.1b	(sqrt (/ 2.0 (* r r)))
12.1b	(sqrt (/ 2.0 (* r r)))

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

58×	`add-exp-log` `add-cbrt-cube`
33×	`prod-exp` `cbrt-unprod`
20×	`pow1`
17×	`add-sqr-sqrt`
14×	`associate-r` `sqrt-prod`
13×	`*-un-lft-identity` `times-frac`
11×	`add-cube-cbrt`
9×	`pow-prod-down`
8×	`cbrt-undiv` `div-exp`
5×	`associate-*r/`
4×	`rem-sqrt-square` `add-log-exp`
3×	`flip3--` `flip--` `div-inv`
2×	`frac-times` `sqrt-pow1` `pow1/2` `sqrt-div` `associate-l` `associate-l/` `associate-/r/` `-commutative`
1×	`distribute-lft-out--` `difference-of-squares`

Counts

4 → 106

Calls

4 calls:

18.0ms	(* (* 0.125 (- 3.0 (* 2.0 v))) (/ (* (* w (* w r)) r) (- 1.0 v)))
8.0ms	(* (* w (* w r)) r)
5.0ms	(sqrt (/ 2.0 (* r r)))
5.0ms	(sqrt (/ 2.0 (* r r)))

series42.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(* (* 0.125 (- 3.0 (* 2.0 v))) (/ (* (* w (* w r)) r) (- 1.0 v)))
7.0ms	(* (* w (* w r)) r)
4.0ms	(sqrt (/ 2.0 (* r r)))
5.0ms	(sqrt (/ 2.0 (* r r)))

simplify842.0ms

Counts

118 → 118

Iterations

Useful iterations: 2 (260.0ms)

Iter	Nodes	Cost
0	214	2133
1	655	2032
2	3465	1538
done	5001	1538

prune216.0ms

Filtered

75 candidates to 118 candidates (-57.3%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	116	2	118
Fresh	0	12	12
Picked	1	0	1
Done	0	0	0
Total	117	14	131

Merged error: 0.1b

Counts

131 → 14

regimes497.0ms

Accuracy

89.3% (0.3b remaining)

Error of 0.4b against oracle of 0.1b and baseline of 2.8b

bsearch67.0ms

Steps

Iters	Range		Point
6	8.914353380187333e+186	5.6817890718080794e+187	9.091653763374461e+186
7	-4.551298900941256e+63	-9.385494182443387e+61	-4.336955494940882e+63

simplify5.0ms

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	40	109
1	55	74
done	55	74

end0.0ms

sample2.1s

Algorithm

intervals

Results

1.4s

17068×

body

valid

Details

sample80.0ms

simplify767.0ms

prune5.0ms

localize30.0ms

rewrite61.0ms

series79.0ms

simplify815.0ms

prune200.0ms

localize22.0ms

rewrite53.0ms

series67.0ms

simplify909.0ms

prune210.0ms

localize19.0ms

rewrite42.0ms

series44.0ms

simplify870.0ms

prune426.0ms

localize24.0ms

rewrite41.0ms

series42.0ms

simplify842.0ms

prune216.0ms

regimes497.0ms

bsearch67.0ms

simplify5.0ms

end0.0ms

sample2.1s

Profiling