Details

sample88.0ms

Algorithm

intervals

Results

58.0ms

547×

body

valid

simplify2.0s

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	22	29
1	51	29
2	150	29
3	583	29
4	2575	29
done	5001	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

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

rewrite59.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))
19.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)

series75.0ms

Counts

4 → 12

Calls

4 calls:

23.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))
7.0ms	(* (* (* w w) r) r)
13.0ms	(* (* w w) r)

simplify1.4s

Counts

131 → 131

Iterations

Useful iterations: 2 (507.0ms)

Iter	Nodes	Cost
0	203	2751
1	648	2663
2	3271	1923
done	5000	1923

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

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)

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

series60.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(/ 2.0 (* r r))
23.0ms	(* (* 0.125 (- 3.0 (* 2.0 v))) (* (* w (* w r)) r))
27.0ms	(/ (* (* 0.125 (- 3.0 (* 2.0 v))) (* (* w (* w r)) r)) (- 1.0 v))
7.0ms	(* (* w (* w r)) r)

simplify1.2s

Counts

133 → 133

Iterations

Useful iterations: 2 (415.0ms)

Iter	Nodes	Cost
0	230	2773
1	728	2687
2	3609	1939
done	5000	1939

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

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

series42.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify1.3s

Counts

119 → 119

Iterations

Useful iterations: 2 (434.0ms)

Iter	Nodes	Cost
0	225	2122
1	703	2057
2	3524	1511
done	5000	1511

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

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

rewrite42.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)))
10.0ms	(* (* w (* w r)) r)
5.0ms	(sqrt (/ 2.0 (* r r)))
5.0ms	(sqrt (/ 2.0 (* r r)))

series41.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify1.2s

Counts

118 → 118

Iterations

Useful iterations: 2 (392.0ms)

Iter	Nodes	Cost
0	214	2133
1	651	2032
2	3262	1538
done	5001	1538

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

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

simplify4.0ms

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	39	129
1	54	84
done	54	84

end0.0ms

sample1.9s

Algorithm

intervals

Results

1.3s

17068×

body

valid

Details

sample88.0ms

simplify2.0s

prune5.0ms

localize26.0ms

rewrite59.0ms

series75.0ms

simplify1.4s

prune194.0ms

localize19.0ms

rewrite53.0ms

series60.0ms

simplify1.2s

prune204.0ms

localize18.0ms

rewrite42.0ms

series42.0ms

simplify1.3s

prune195.0ms

localize21.0ms

rewrite42.0ms

series41.0ms

simplify1.2s

prune206.0ms

regimes470.0ms

bsearch67.0ms

simplify4.0ms

end0.0ms

sample1.9s

Profiling