Details

sample52.0ms

Algorithm

intervals

Results

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

simplify1.6s

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	245	11
6	331	11
7	400	11
8	539	11
9	1014	11
10	1738	11
11	3406	11
done	5001	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

localize17.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)
15.0ms	(* (- (/ (* m (- 1.0 m)) v) 1.0) m)

series35.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(- (/ (* m (- 1.0 m)) v) 1.0)
5.0ms	(* m (- 1.0 m))
7.0ms	(/ (* m (- 1.0 m)) v)
17.0ms	(* (- (/ (* m (- 1.0 m)) v) 1.0) m)

simplify1.3s

Counts

97 → 97

Iterations

Useful iterations: 3 (503.0ms)

Iter	Nodes	Cost
0	138	1137
1	346	1108
2	1129	1000
3	4622	979
done	5000	979

prune150.0ms

Filtered

68 candidates to 97 candidates (-42.6%)

Pruning

9 alts after pruning (8 fresh and 1 done)

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

Merged error: 0.0b

Counts

98 → 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)))

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

16.0ms	(* (- (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))) 1.0) m)
8.0ms	(/ (- 1.0 m) (sqrt v))
5.0ms	(/ m (sqrt v))
29.0ms	(* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v)))

series37.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify665.0ms

Counts

212 → 212

Iterations

Useful iterations: done (658.0ms)

Iter	Nodes	Cost
0	278	3029
1	779	2858
2	2965	2536
done	5000	2486

prune240.0ms

Filtered

142 candidates to 212 candidates (-49.3%)

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

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

7.0ms	(* m (- 1.0 m))
8.0ms	(/ (* m (- 1.0 m)) v)
17.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))
12.0ms	(* (* (- (/ (* m (- 1.0 m)) v) 1.0) (sqrt m)) (sqrt m))

simplify597.0ms

Counts

110 → 110

Iterations

Useful iterations: done (594.0ms)

Iter	Nodes	Cost
0	196	1553
1	525	1431
2	1823	1270
done	5000	1244

prune144.0ms

Filtered

76 candidates to 110 candidates (-44.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

localize12.0ms

Local error

Found 4 expressions with local error:

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

rewrite70.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 203

Calls

4 calls:

8.0ms	(/ (- 1.0 m) (sqrt v))
5.0ms	(/ m (sqrt v))
19.0ms	(* (* (- (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))) 1.0) (sqrt m)) (sqrt m))
29.0ms	(* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v)))

series42.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(/ (- 1.0 m) (sqrt v))
12.0ms	(/ m (sqrt v))
14.0ms	(* (* (- (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))) 1.0) (sqrt m)) (sqrt m))
9.0ms	(* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v)))

simplify726.0ms

Counts

215 → 215

Iterations

Useful iterations: done (720.0ms)

Iter	Nodes	Cost
0	295	3197
1	844	2946
2	3191	2590
done	5001	2547

prune229.0ms

Filtered

145 candidates to 215 candidates (-48.3%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	214	1	215
Fresh	0	6	6
Picked	1	0	1
Done	0	2	2
Total	215	9	224

Merged error: 0b

Counts

224 → 9

regimes190.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

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

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

Details

sample52.0ms

simplify1.6s

prune4.0ms

localize17.0ms

rewrite42.0ms

series35.0ms

simplify1.3s

prune150.0ms

localize10.0ms

rewrite68.0ms

series37.0ms

simplify665.0ms

prune240.0ms

localize9.0ms

rewrite51.0ms

series37.0ms

simplify597.0ms

prune144.0ms

localize12.0ms

rewrite70.0ms

series42.0ms

simplify726.0ms

prune229.0ms

regimes190.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.1s

Profiling