Details

sample79.0ms

Algorithm

intervals

Results

48.0ms

547×

body

valid

simplify939.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	2617	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

localize21.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)

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

14.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)
8.0ms	(* (* w w) r)

series77.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r))
26.0ms	(/ (* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r)) (- 1.0 v))
7.0ms	(* (* (* w w) r) r)
20.0ms	(* (* w w) r)

simplify980.0ms

Counts

131 → 131

Iterations

Useful iterations: done (975.0ms)

Iter	Nodes	Cost
0	203	2751
1	661	2715
2	3637	2037
done	5001	1941

prune214.0ms

Filtered

67 candidates to 131 candidates (-95.5%)

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

localize19.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)

rewrite52.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))
18.0ms	(/ (* (* 0.125 (- 3.0 (* 2.0 v))) (* (* w (* w r)) r)) (- 1.0 v))
8.0ms	(* (* w (* w r)) r)

series64.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(/ 2.0 (* r r))
24.0ms	(* (* 0.125 (- 3.0 (* 2.0 v))) (* (* w (* w r)) r))
25.0ms	(/ (* (* 0.125 (- 3.0 (* 2.0 v))) (* (* w (* w r)) r)) (- 1.0 v))
10.0ms	(* (* w (* w r)) r)

simplify1.1s

Counts

133 → 133

Iterations

Useful iterations: done (1.1s)

Iter	Nodes	Cost
0	230	2773
1	738	2734
2	3932	2050
done	5000	1951

prune210.0ms

Filtered

68 candidates to 133 candidates (-95.6%)

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)

rewrite43.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))
17.0ms	(* (* 0.125 (- 3.0 (* 2.0 v))) (/ (* (* w (* w r)) r) (- 1.0 v)))
10.0ms	(* (* w (* w r)) r)

series41.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify1.1s

Counts

119 → 119

Iterations

Useful iterations: done (1.0s)

Iter	Nodes	Cost
0	225	2122
1	710	2088
2	3761	1572
done	5001	1511

prune195.0ms

Filtered

68 candidates to 119 candidates (-75.0%)

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

localize22.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)))

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

17.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)))

series45.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify994.0ms

Counts

118 → 118

Iterations

Useful iterations: done (990.0ms)

Iter	Nodes	Cost
0	214	2133
1	655	2060
2	3524	1617
done	5000	1538

prune208.0ms

Filtered

75 candidates to 118 candidates (-57.3%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	115	3	118
Fresh	0	12	12
Picked	1	0	1
Done	0	0	0
Total	116	15	131

Merged error: 0.1b

Counts

131 → 15

regimes516.0ms

Accuracy

89% (0.3b remaining)

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

bsearch71.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

sample79.0ms

simplify939.0ms

prune5.0ms

localize21.0ms

rewrite58.0ms

series77.0ms

simplify980.0ms

prune214.0ms

localize19.0ms

rewrite52.0ms

series64.0ms

simplify1.1s

prune210.0ms

localize19.0ms

rewrite43.0ms

series41.0ms

simplify1.1s

prune195.0ms

localize22.0ms

rewrite38.0ms

series45.0ms

simplify994.0ms

prune208.0ms

regimes516.0ms

bsearch71.0ms

simplify5.0ms

end0.0ms

sample2.1s

Profiling