Details

sample49.0ms

Algorithm

intervals

Results

17.0ms	453×	body	80	valid
10.0ms	453×	pre	80	true

simplify1.4s

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	8	11
1	16	11
2	34	11
3	63	11
4	143	11
5	235	11
6	313	11
7	395	11
8	530	11
9	1000	11
10	1602	11
11	2607	11
done	5000	11

prune4.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: 0.2b

Counts

2 → 1

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (/ (* m (- 1.0 m)) v) 1.0)
0.0b	(* m (- 1.0 m))
0.0b	(/ (* m (- 1.0 m)) v)
0.2b	(* (- (/ (* m (- 1.0 m)) v) 1.0) m)

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-sqr-sqrt`
16×	`*-un-lft-identity`
13×	`add-exp-log` `add-cbrt-cube`
10×	`add-cube-cbrt`
8×	`pow1` `associate-r` `associate-l`
6×	`add-log-exp`
4×	`flip3--` `associate-*r/` `flip--`
3×	`sub-neg` `times-frac` `prod-exp` `associate-/r*` `cbrt-unprod` `distribute-lft-out--` `difference-of-squares`
2×	`cbrt-undiv` `distribute-rgt-in` `distribute-lft-in` `div-exp` `pow-prod-down` `associate-l/` `-commutative` `associate-/l/` `unswap-sqr`
1×	`frac-2neg` `diff-log` `clear-num` `div-inv` `associate-/l*`

Counts

4 → 85

Calls

4 calls:

9.0ms	(- (/ (* m (- 1.0 m)) v) 1.0)
7.0ms	(* m (- 1.0 m))
8.0ms	(/ (* m (- 1.0 m)) v)
14.0ms	(* (- (/ (* m (- 1.0 m)) v) 1.0) m)

series42.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(- (/ (* m (- 1.0 m)) v) 1.0)
5.0ms	(* m (- 1.0 m))
6.0ms	(/ (* m (- 1.0 m)) v)
24.0ms	(* (- (/ (* m (- 1.0 m)) v) 1.0) m)

simplify1.1s

Counts

97 → 97

Iterations

Useful iterations: 3 (412.0ms)

Iter	Nodes	Cost
0	138	1137
1	346	1097
2	1152	987
3	4991	951
done	5000	951

prune151.0ms

Filtered

67 candidates to 97 candidates (-44.8%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	88	9	97
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	89	9	98

Merged error: 0.0b

Counts

98 → 9

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (* (- 1.0 m) (/ m v)) 1.0)
0.1b	(* (- 1.0 m) (/ m v))
0.2b	(* (- (* (- 1.0 m) (/ m v)) 1.0) m)

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

22×	`add-sqr-sqrt`
16×	`associate-r`
15×	`*-un-lft-identity`
13×	`add-cube-cbrt`
10×	`add-exp-log` `times-frac` `add-cbrt-cube`
8×	`associate-l`
7×	`pow1`
5×	`add-log-exp`
4×	`flip3--` `associate-*l/` `flip--`
3×	`prod-exp` `cbrt-unprod` `unswap-sqr`
2×	`frac-times` `pow-prod-down` `*-commutative`
1×	`cbrt-undiv` `sub-neg` `diff-log` `associate-*r/` `div-exp` `div-inv` `distribute-lft-out--` `difference-of-squares`

Counts

3 → 70

Calls

3 calls:

8.0ms	(- (* (- 1.0 m) (/ m v)) 1.0)
10.0ms	(* (- 1.0 m) (/ m v))
12.0ms	(* (- (* (- 1.0 m) (/ m v)) 1.0) m)

series19.0ms

Counts

3 → 9

Calls

3 calls:

6.0ms	(- (* (- 1.0 m) (/ m v)) 1.0)
6.0ms	(* (- 1.0 m) (/ m v))
8.0ms	(* (- (* (- 1.0 m) (/ m v)) 1.0) m)

simplify456.0ms

Counts

79 → 79

Iterations

Useful iterations: done (454.0ms)

Iter	Nodes	Cost
0	135	1038
1	336	995
2	1296	909
done	5001	885

prune115.0ms

Filtered

58 candidates to 79 candidates (-36.2%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	79	0	79
Fresh	0	8	8
Picked	0	1	1
Done	0	0	0
Total	79	9	88

Merged error: 0.0b

Counts

88 → 9

localize10.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (- (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))) 1.0) m)
0.3b	(/ (- 1.0 m) (sqrt v))
0.3b	(/ m (sqrt v))
0.4b	(* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v)))

rewrite67.0ms

Algorithm

rewrite-expression-head

Rules

128×	`add-sqr-sqrt`
108×	`times-frac`
96×	`*-un-lft-identity`
70×	`add-cube-cbrt`
60×	`sqrt-prod`
37×	`associate-r`
25×	`associate-l`
22×	`add-exp-log` `add-cbrt-cube`
13×	`distribute-lft-out--` `difference-of-squares`
12×	`associate-/r*`
10×	`unswap-sqr`
8×	`pow1` `associate-/l*`
6×	`cbrt-undiv` `div-exp`
5×	`prod-exp` `cbrt-unprod`
4×	`div-inv` `add-log-exp`
3×	`associate-*l/`
2×	`flip3--` `frac-2neg` `pow-prod-down` `clear-num` `*-commutative` `flip--` `associate-/l/`
1×	`frac-times` `div-sub` `associate-*r/`

Counts

4 → 200

Calls

4 calls:

15.0ms	(* (- (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))) 1.0) m)
8.0ms	(/ (- 1.0 m) (sqrt v))
5.0ms	(/ m (sqrt v))
30.0ms	(* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v)))

series37.0ms

Counts

4 → 12

Calls

4 calls:

13.0ms	(* (- (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))) 1.0) m)
6.0ms	(/ (- 1.0 m) (sqrt v))
8.0ms	(/ m (sqrt v))
10.0ms	(* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v)))

simplify643.0ms

Counts

212 → 212

Iterations

Useful iterations: done (637.0ms)

Iter	Nodes	Cost
0	278	3029
1	779	2838
2	2974	2510
done	5001	2460

prune227.0ms

Filtered

137 candidates to 212 candidates (-54.7%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	212	0	212
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	212	9	221

Merged error: 0.0b

Counts

221 → 9

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(* m (- 1.0 m))
0.0b	(/ (* m (- 1.0 m)) v)
0.2b	(* (- (/ (* m (- 1.0 m)) v) 1.0) (sqrt m))
0.4b	(* (* (- (/ (* m (- 1.0 m)) v) 1.0) (sqrt m)) (sqrt m))

rewrite51.0ms

Algorithm

rewrite-expression-head

Rules

23×	`add-sqr-sqrt`
18×	`add-exp-log` `add-cbrt-cube`
17×	`-un-lft-identity` `associate-r*`
13×	`pow1` `add-cube-cbrt`
9×	`associate-l`
7×	`sqrt-prod`
6×	`associate-*l/` `prod-exp` `cbrt-unprod`
5×	`pow-prod-down`
4×	`flip3--` `associate-*r/` `flip--` `add-log-exp`
3×	`times-frac` `associate-/r` `-commutative` `unswap-sqr`
2×	`cbrt-undiv` `distribute-rgt-in` `sub-neg` `distribute-lft-in` `div-exp` `associate-/l/` `distribute-lft-out--` `difference-of-squares`
1×	`frac-2neg` `clear-num` `div-inv` `associate-/l*`

Counts

4 → 98

Calls

4 calls:

10.0ms	(* m (- 1.0 m))
8.0ms	(/ (* m (- 1.0 m)) v)
14.0ms	(* (- (/ (* m (- 1.0 m)) v) 1.0) (sqrt m))
16.0ms	(* (* (- (/ (* m (- 1.0 m)) v) 1.0) (sqrt m)) (sqrt m))

series37.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(* m (- 1.0 m))
6.0ms	(/ (* m (- 1.0 m)) v)
14.0ms	(* (- (/ (* m (- 1.0 m)) v) 1.0) (sqrt m))
11.0ms	(* (* (- (/ (* m (- 1.0 m)) v) 1.0) (sqrt m)) (sqrt m))

simplify499.0ms

Counts

110 → 110

Iterations

Useful iterations: 2 (153.0ms)

Iter	Nodes	Cost
0	196	1553
1	525	1411
2	1796	1241
done	5001	1241

prune119.0ms

Filtered

75 candidates to 110 candidates (-46.7%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	109	1	110
Fresh	0	6	6
Picked	0	1	1
Done	1	1	2
Total	110	9	119

Merged error: 0.0b

Counts

119 → 9

regimes178.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	11
1	10	11
done	10	11

end0.0ms

sample1.1s

Algorithm

intervals

Results

448.0ms	13714×	body	80	valid
267.0ms	13714×	pre	80	true

Details

sample49.0ms

simplify1.4s

prune4.0ms

localize9.0ms

rewrite42.0ms

series42.0ms

simplify1.1s

prune151.0ms

localize7.0ms

rewrite33.0ms

series19.0ms

simplify456.0ms

prune115.0ms

localize10.0ms

rewrite67.0ms

series37.0ms

simplify643.0ms

prune227.0ms

localize10.0ms

rewrite51.0ms

series37.0ms

simplify499.0ms

prune119.0ms

regimes178.0ms

bsearch0.0ms

simplify4.0ms

end0.0ms

sample1.1s

Profiling