Details

sample53.0ms

Algorithm

intervals

Results

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

simplify2.0s

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	8	13
1	16	13
2	40	13
3	101	13
4	275	13
5	682	13
6	1861	13
7	4934	13
done	5000	13

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: 0.1b

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.1b	(* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m))

rewrite56.0ms

Algorithm

rewrite-expression-head

Rules

22×	`add-sqr-sqrt`
18×	`*-un-lft-identity`
13×	`add-exp-log` `add-cbrt-cube`
10×	`add-cube-cbrt` `associate-r`
9×	`flip3--` `flip--`
8×	`pow1` `associate-l`
6×	`associate-*r/` `add-log-exp`
5×	`sub-neg`
4×	`distribute-rgt-in` `frac-times` `distribute-lft-in` `distribute-lft-out--` `difference-of-squares`
3×	`times-frac` `prod-exp` `associate-/r*` `cbrt-unprod`
2×	`cbrt-undiv` `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 → 97

Calls

4 calls:

18.0ms	(- (/ (* m (- 1.0 m)) v) 1.0)
7.0ms	(* m (- 1.0 m))
8.0ms	(/ (* m (- 1.0 m)) v)
18.0ms	(* (- (/ (* m (- 1.0 m)) v) 1.0) (- 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))
6.0ms	(/ (* m (- 1.0 m)) v)
17.0ms	(* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m))

simplify464.0ms

Counts

109 → 109

Iterations

Useful iterations: done (460.0ms)

Iter	Nodes	Cost
0	155	1545
1	412	1497
2	1574	1377
done	5000	1375

prune171.0ms

Filtered

76 candidates to 109 candidates (-43.4%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	104	5	109
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	105	5	110

Merged error: 0.0b

Counts

110 → 5

localize7.0ms

Local error

Found 4 expressions with local error:

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

rewrite88.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 191

Calls

4 calls:

27.0ms	(- (/ m (/ v (- 1.0 m))) 1.0)
6.0ms	(/ v (- 1.0 m))
10.0ms	(/ m (/ v (- 1.0 m)))
36.0ms	(* (- (/ m (/ v (- 1.0 m))) 1.0) (- 1.0 m))

series30.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify665.0ms

Counts

203 → 203

Iterations

Useful iterations: 2 (223.0ms)

Iter	Nodes	Cost
0	303	3251
1	713	3083
2	2995	2953
done	5000	2953

prune296.0ms

Filtered

152 candidates to 203 candidates (-33.6%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	202	1	203
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	202	6	208

Merged error: 0b

Counts

208 → 6

localize12.0ms

Local error

Found 4 expressions with local error:

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

rewrite57.0ms

Algorithm

rewrite-expression-head

Rules

43×	`cbrt-prod`
37×	`add-sqr-sqrt`
35×	`*-un-lft-identity`
18×	`cbrt-div`
15×	`add-cube-cbrt`
11×	`pow1`
10×	`swap-sqr`
9×	`flip3--` `pow1/3` `flip--` `distribute-lft-out--`
8×	`associate-r` `associate-l`
7×	`difference-of-squares`
6×	`add-exp-log`
4×	`frac-times` `add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`associate-r/` `pow-prod-down` `associate-l/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 101

Calls

4 calls:

26.0ms	(* (cbrt (- (/ (* m (- 1.0 m)) v) 1.0)) (cbrt (- (/ (* m (- 1.0 m)) v) 1.0)))
10.0ms	(cbrt (- (/ (* m (- 1.0 m)) v) 1.0))
9.0ms	(cbrt (- (/ (* m (- 1.0 m)) v) 1.0))
9.0ms	(cbrt (- (/ (* m (- 1.0 m)) v) 1.0))

series130.0ms

Counts

4 → 12

Calls

4 calls:

38.0ms	(* (cbrt (- (/ (* m (- 1.0 m)) v) 1.0)) (cbrt (- (/ (* m (- 1.0 m)) v) 1.0)))
30.0ms	(cbrt (- (/ (* m (- 1.0 m)) v) 1.0))
30.0ms	(cbrt (- (/ (* m (- 1.0 m)) v) 1.0))
31.0ms	(cbrt (- (/ (* m (- 1.0 m)) v) 1.0))

simplify656.0ms

Counts

113 → 113

Iterations

Useful iterations: 3 (262.0ms)

Iter	Nodes	Cost
0	153	3072
1	324	2883
2	874	2681
3	2773	2251
done	5001	2251

prune315.0ms

Filtered

81 candidates to 113 candidates (-39.5%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	113	0	113
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	113	6	119

Merged error: 0b

Counts

119 → 6

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (/ m (/ v (- 1.0 m))) 1.0)
0.0b	(/ m (/ v (- 1.0 m)))
0.1b	(* (- (/ m (/ v (- 1.0 m))) 1.0) (- (* 1.0 1.0) (* m m)))
1.4b	(/ (* (- (/ m (/ v (- 1.0 m))) 1.0) (- (* 1.0 1.0) (* m m))) (+ 1.0 m))

rewrite125.0ms

Algorithm

rewrite-expression-head

Rules

133×	`times-frac`
110×	`add-sqr-sqrt`
98×	`*-un-lft-identity`
66×	`add-cube-cbrt`
25×	`associate-/r*`
19×	`difference-of-squares`
17×	`flip3--` `flip--`
16×	`add-exp-log` `add-cbrt-cube`
14×	`distribute-lft-out--`
11×	`associate-/r/`
8×	`frac-times` `associate-/l/`
7×	`associate-l`
6×	`pow1` `div-inv` `add-log-exp`
5×	`cbrt-undiv` `div-exp`
4×	`associate-r/` `associate-r` `associate-l/` `associate-/l*`
3×	`sub-neg`
2×	`distribute-rgt-in` `frac-2neg` `distribute-lft-in` `prod-exp` `clear-num` `cbrt-unprod` `distribute-lft-out`
1×	`flip3-+` `diff-log` `pow-prod-down` `*-commutative` `flip-+` `unswap-sqr`

Counts

4 → 186

Calls

4 calls:

31.0ms	(- (/ m (/ v (- 1.0 m))) 1.0)
10.0ms	(/ m (/ v (- 1.0 m)))
34.0ms	(* (- (/ m (/ v (- 1.0 m))) 1.0) (- (* 1.0 1.0) (* m m)))
40.0ms	(/ (* (- (/ m (/ v (- 1.0 m))) 1.0) (- (* 1.0 1.0) (* m m))) (+ 1.0 m))

series32.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify873.0ms

Counts

198 → 198

Iterations

Useful iterations: 2 (294.0ms)

Iter	Nodes	Cost
0	349	3991
1	893	3789
2	3999	3487
done	5001	3487

prune324.0ms

Filtered

149 candidates to 198 candidates (-32.9%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	198	0	198
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	198	6	204

Merged error: 0b

Counts

204 → 6

regimes152.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	13
1	9	13
done	9	13

end0.0ms

sample1.2s

Algorithm

intervals

Results

530.0ms	13714×	body	80	valid
272.0ms	13714×	pre	80	true

Details

sample53.0ms

simplify2.0s

prune5.0ms

localize9.0ms

rewrite56.0ms

series35.0ms

simplify464.0ms

prune171.0ms

localize7.0ms

rewrite88.0ms

series30.0ms

simplify665.0ms

prune296.0ms

localize12.0ms

rewrite57.0ms

series130.0ms

simplify656.0ms

prune315.0ms

localize13.0ms

rewrite125.0ms

series32.0ms

simplify873.0ms

prune324.0ms

regimes152.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.2s

Profiling