Details

sample244.0ms

Algorithm

intervals

Results

14.0ms	452×	body	80	valid
9.0ms	452×	pre	80	true

simplify554.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (86.0ms)

Iter	Nodes	Cost
0	5288	11

prune11.0ms

Filtered

1 candidates to 1 candidates (0.0%)

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 → 2

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)

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

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

series31.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify42.0ms

Algorithm

egg-herbie

Counts

97 → 97

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	4984	939
1	4984	939

prune128.0ms

Filtered

67 candidates to 97 candidates (-44.8%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	90	7	97
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	91	8	99

Merged error: 0.0b

Counts

99 → 8

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

rewrite76.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 179

Calls

4 calls:

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

series23.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify67.0ms

Algorithm

egg-herbie

Counts

191 → 191

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	4966	2504
1	4966	2504

prune237.0ms

Filtered

146 candidates to 191 candidates (-30.8%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	189	2	191
Fresh	0	6	6
Picked	1	0	1
Done	0	1	1
Total	190	9	199

Merged error: 0.0b

Counts

199 → 9

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (* m (/ m v)) m)
0.0b	(- (* 1.0 (- (* m (/ m v)) m)) (/ (pow m 3) v))
0.2b	(* m (/ m v))
11.5b	(/ (pow m 3) v)

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

46×	`times-frac`
42×	`add-sqr-sqrt`
37×	`add-cube-cbrt` `*-un-lft-identity`
14×	`add-exp-log`
13×	`associate-r`
12×	`unpow-prod-down` `cube-prod` `associate-/l*`
11×	`add-cbrt-cube`
8×	`add-log-exp`
6×	`pow1`
4×	`cube-mult` `sub-neg` `unpow3` `div-exp` `associate--l+` `sqr-pow`
3×	`flip3--` `associate-r/` `associate-l` `associate-/r` `flip--`
2×	`cbrt-undiv` `distribute-rgt-in` `distribute-lft-in` `diff-log` `prod-exp` `frac-sub` `cbrt-unprod` `div-inv` `unswap-sqr`
1×	`pow-to-exp` `frac-2neg` `pow-prod-down` `pow-exp` `clear-num` `*-commutative`

Counts

4 → 127

Calls

4 calls:

5.0ms	(- (* m (/ m v)) m)
14.0ms	(- (* 1.0 (- (* m (/ m v)) m)) (/ (pow m 3) v))
6.0ms	(* m (/ m v))
5.0ms	(/ (pow m 3) v)

series19.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(- (* m (/ m v)) m)
7.0ms	(- (* 1.0 (- (* m (/ m v)) m)) (/ (pow m 3) v))
3.0ms	(* m (/ m v))
4.0ms	(/ (pow m 3) v)

simplify53.0ms

Algorithm

egg-herbie

Counts

139 → 139

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	5023	1333

prune145.0ms

Filtered

85 candidates to 139 candidates (-63.5%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	137	2	139
Fresh	2	5	7
Picked	1	0	1
Done	0	1	1
Total	140	8	148

Merged error: 0b

Counts

148 → 8

localize12.0ms

Local error

Found 4 expressions with local error:

0.1b	(sqrt (/ m v))
0.2b	(* m (sqrt (/ m v)))
0.3b	(* (* m (sqrt (/ m v))) (sqrt (/ m v)))
11.5b	(/ (pow m 3) v)

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

65×	`times-frac`
63×	`add-sqr-sqrt`
53×	`add-cube-cbrt` `*-un-lft-identity`
41×	`sqrt-prod`
32×	`associate-r`
16×	`add-exp-log`
13×	`add-cbrt-cube`
12×	`pow1` `unpow-prod-down` `cube-prod` `associate-/l*`
6×	`sqrt-div`
4×	`cube-mult` `unpow3` `associate-r/` `associate-l*` `pow-prod-down` `prod-exp` `cbrt-unprod` `div-inv` `add-log-exp` `sqr-pow`
3×	`div-exp` `associate-/r*` `unswap-sqr`
2×	`rem-sqrt-square` `*-commutative`
1×	`cbrt-undiv` `frac-times` `pow-to-exp` `frac-2neg` `sqrt-pow1` `pow1/2` `associate-*l/` `pow-exp` `clear-num`

Counts

4 → 158

Calls

4 calls:

3.0ms	(sqrt (/ m v))
8.0ms	(* m (sqrt (/ m v)))
11.0ms	(* (* m (sqrt (/ m v))) (sqrt (/ m v)))
8.0ms	(/ (pow m 3) v)

series35.0ms

Counts

4 → 12

Calls

4 calls:

12.0ms	(sqrt (/ m v))
16.0ms	(* m (sqrt (/ m v)))
3.0ms	(* (* m (sqrt (/ m v))) (sqrt (/ m v)))
4.0ms	(/ (pow m 3) v)

simplify49.0ms

Algorithm

egg-herbie

Counts

170 → 170

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	5045	1422

prune160.0ms

Filtered

113 candidates to 170 candidates (-50.4%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	170	0	170
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	170	8	178

Merged error: 0b

Counts

178 → 8

regimes158.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	11
1	10	11

end0.0ms

sample978.0ms

Algorithm

intervals

Results

386.0ms	13618×	body	80	valid
241.0ms	13618×	pre	80	true

Details

sample244.0ms

simplify554.0ms

prune11.0ms

localize9.0ms

rewrite59.0ms

series31.0ms

simplify42.0ms

prune128.0ms

localize7.0ms

rewrite76.0ms

series23.0ms

simplify67.0ms

prune237.0ms

localize10.0ms

rewrite35.0ms

series19.0ms

simplify53.0ms

prune145.0ms

localize12.0ms

rewrite35.0ms

series35.0ms

simplify49.0ms

prune160.0ms

regimes158.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample978.0ms

Profiling