Details

sample233.0ms

Algorithm

intervals

sampling

Space saved by range analysis: 87.530532%

Space saved by search: 87.530532%

Guaranteed chance to sample good point: 100%

Results

9.0ms	433×	pre	80	true
8.0ms	256×	body	80	valid
6.0ms	177×	body	80	invalid

simplify468.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	16	5
1	34	5
2	67	5
3	169	5
4	345	5
5	466	5
6	670	5
7	1014	5
8	1528	5
9	2117	5
10	3037	5
11	5001	5

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

localize22.0ms

Local error

Found 2 expressions with local error:

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

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 45

Calls

2 calls:

7.0ms	(/ (* m (- 1.0 m)) v)
13.0ms	(* (- (/ (* m (- 1.0 m)) v) 1.0) m)

series21.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify34.0ms

Algorithm

egg-herbie

Counts

51 → 51

Iterations

Useful iterations: 2 (29.0ms)

Iter	Nodes	Cost
0	261	309
1	1167	275
2	5001	269

prune87.0ms

Filtered

35 candidates to 51 candidates (-45.7%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	45	6	51
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	45	7	52

Merged error: 0.0b

Counts

52 → 7

localize8.0ms

Local error

Found 3 expressions with local error:

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

rewrite51.0ms

Algorithm

rewrite-expression-head

Rules

141×	`times-frac`
116×	`add-sqr-sqrt`
107×	`*-un-lft-identity`
73×	`add-cube-cbrt`
26×	`associate-/r*`
19×	`difference-of-squares`
17×	`distribute-lft-out--`
12×	`add-exp-log` `add-cbrt-cube`
11×	`associate-/r/`
7×	`associate-l`
6×	`flip3--` `flip--` `div-inv` `associate-/l*`
5×	`pow1`
4×	`cbrt-undiv` `div-exp`
3×	`associate-r` `add-log-exp`
2×	`frac-2neg` `associate-*l/` `clear-num`
1×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

3 → 163

Calls

3 calls:

5.0ms	(/ v (- 1.0 m))
9.0ms	(/ m (/ v (- 1.0 m)))
29.0ms	(* (- (/ m (/ v (- 1.0 m))) 1.0) m)

series21.0ms

Counts

3 → 9

Calls

3 calls:

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

simplify77.0ms

Algorithm

egg-herbie

Counts

172 → 172

Iterations

Useful iterations: 2 (62.0ms)

Iter	Nodes	Cost
0	604	1275
1	2967	1224
2	5001	1223

prune208.0ms

Filtered

128 candidates to 172 candidates (-34.4%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	171	1	172
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	171	8	179

Merged error: 0b

Counts

179 → 8

localize8.0ms

Local error

Found 3 expressions with local error:

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

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

44×	`times-frac`
34×	`add-sqr-sqrt`
31×	`add-exp-log`
29×	`*-un-lft-identity`
25×	`add-cube-cbrt`
19×	`add-cbrt-cube`
14×	`div-exp`
11×	`associate-/r/`
10×	`associate-r/` `associate-/r`
8×	`associate-l`
7×	`cbrt-undiv` `div-inv`
6×	`pow1` `flip3--` `flip--` `associate-/l*`
5×	`prod-exp`
3×	`rec-exp` `1-exp` `associate-r` `cbrt-unprod` `add-log-exp` `difference-of-squares`
2×	`frac-2neg` `associate-*l/` `clear-num` `distribute-lft-out--`
1×	`pow-flip` `pow-prod-down` `*-commutative` `inv-pow` `unswap-sqr`

Counts

3 → 112

Calls

3 calls:

6.0ms	(/ v (* m (- 1.0 m)))
20.0ms	(* (- (/ 1 (/ v (* m (- 1.0 m)))) 1.0) m)
9.0ms	(/ 1 (/ v (* m (- 1.0 m))))

series27.0ms

Counts

3 → 9

Calls

3 calls:

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

simplify62.0ms

Algorithm

egg-herbie

Counts

121 → 121

Iterations

Useful iterations: 2 (51.0ms)

Iter	Nodes	Cost
0	485	854
1	2423	709
2	5002	695

prune111.0ms

Filtered

65 candidates to 121 candidates (-86.2%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	121	0	121
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	121	8	129

Merged error: 0b

Counts

129 → 8

localize9.0ms

Local error

Found 3 expressions with local error:

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

rewrite56.0ms

Algorithm

rewrite-expression-head

Rules

110×	`times-frac`
62×	`add-sqr-sqrt`
61×	`sqrt-prod`
54×	`*-un-lft-identity`
52×	`add-cube-cbrt`
19×	`add-exp-log` `add-cbrt-cube`
12×	`associate-/r*`
11×	`associate-/l*`
9×	`div-inv`
7×	`cbrt-undiv` `div-exp` `associate-l`
5×	`pow1`
3×	`associate-r` `prod-exp` `cbrt-unprod` `associate-/l/` `add-log-exp` `difference-of-squares`
2×	`flip3--` `frac-2neg` `associate-r/` `associate-l/` `clear-num` `flip--`
1×	`pow-prod-down` `*-commutative` `distribute-lft-out--` `unswap-sqr`

Counts

3 → 146

Calls

3 calls:

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

series28.0ms

Counts

3 → 9

Calls

3 calls:

11.0ms	(* (- (/ (/ (* m (- 1.0 m)) (sqrt v)) (sqrt v)) 1.0) m)
7.0ms	(/ (* m (- 1.0 m)) (sqrt v))
9.0ms	(/ (/ (* m (- 1.0 m)) (sqrt v)) (sqrt v))

simplify69.0ms

Algorithm

egg-herbie

Counts

155 → 155

Iterations

Useful iterations: 2 (54.0ms)

Iter	Nodes	Cost
0	641	1500
1	2780	1299
2	5001	1283

prune132.0ms

Filtered

91 candidates to 155 candidates (-70.3%)

Pruning

8 alts after pruning (4 fresh and 4 done)

	Pruned	Kept	Total
New	154	1	155
Fresh	1	3	4
Picked	0	1	1
Done	0	3	3
Total	155	8	163

Merged error: 0b

Counts

163 → 8

regimes162.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	5
1	10	5

end0.0ms

sample991.0ms

Algorithm

intervals

sampling

Space saved by range analysis: 87.530532%

Space saved by search: 87.530532%

Guaranteed chance to sample good point: 100%

Results

262.0ms	13801×	pre	80	true
244.0ms	8000×	body	80	valid
174.0ms	5801×	body	80	invalid

Details

sample233.0ms

simplify468.0ms

prune4.0ms

localize22.0ms

rewrite23.0ms

series21.0ms

simplify34.0ms

prune87.0ms

localize8.0ms

rewrite51.0ms

series21.0ms

simplify77.0ms

prune208.0ms

localize8.0ms

rewrite39.0ms

series27.0ms

simplify62.0ms

prune111.0ms

localize9.0ms

rewrite56.0ms

series28.0ms

simplify69.0ms

prune132.0ms

regimes162.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample991.0ms

Profiling