Details

sample284.0ms

Algorithm

intervals

Results

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

simplify134.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	16	5
1	34	5
2	72	5
3	188	5
4	406	5
5	636	5
6	938	5
7	1312	5
8	1969	5
9	2932	5
10	3912	5
11	5001	5

prune4.0ms

Filtered

1 candidates to 0 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.2b

Counts

2 → 1

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

rewrite63.0ms

Algorithm

rewrite-expression-head

Rules

47×	`add-sqr-sqrt`
43×	`*-un-lft-identity`
39×	`prod-diff`
37×	`add-cube-cbrt`
15×	`times-frac`
13×	`add-exp-log` `add-cbrt-cube`
11×	`distribute-rgt-in` `distribute-lft-in`
8×	`pow1` `associate-r` `associate-l`
7×	`fma-neg`
6×	`add-log-exp`
5×	`div-inv`
4×	`expm1-log1p-u` `flip3--` `associate-*r/` `flip--` `log1p-expm1-u`
3×	`sub-neg` `prod-exp` `associate-/r*` `cbrt-unprod` `distribute-lft-out--` `difference-of-squares`
2×	`cbrt-undiv` `div-exp` `pow-prod-down` `associate-l/` `-commutative` `associate-/l/` `unswap-sqr`
1×	`frac-2neg` `diff-log` `clear-num` `associate-/l*`

Counts

4 → 139

Calls

4 calls:

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

series156.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(- (/ (* m (- 1.0 m)) v) 1.0)
45.0ms	(* m (- 1.0 m))
42.0ms	(/ (* m (- 1.0 m)) v)
45.0ms	(* (- (/ (* m (- 1.0 m)) v) 1.0) m)

simplify83.0ms

Algorithm

egg-herbie

Counts

151 → 151

Iterations

Useful iterations: 2 (66.0ms)

Iter	Nodes	Cost
0	492	1130
1	2310	788
2	5002	775

prune199.0ms

Filtered

151 candidates to 83 candidates (55.0%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	145	6	151
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	146	6	152

Merged error: 0.0b

Counts

152 → 6

localize9.0ms

Local error

Found 3 expressions with local error:

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

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

25×	`add-sqr-sqrt`
23×	`*-un-lft-identity`
15×	`add-cube-cbrt` `times-frac`
7×	`add-exp-log` `add-cbrt-cube`
5×	`pow1` `associate-/l*`
4×	`distribute-lft-out--` `difference-of-squares`
3×	`expm1-log1p-u` `associate-r` `associate-l` `associate-/r*` `log1p-expm1-u` `add-log-exp`
2×	`associate-/l/`
1×	`cbrt-undiv` `flip3--` `frac-2neg` `div-sub` `div-exp` `pow-prod-down` `prod-exp` `clear-num` `*-commutative` `flip--` `cbrt-unprod` `fma-udef` `div-inv` `unswap-sqr`

Counts

3 → 70

Calls

3 calls:

6.0ms	(/ (- 1.0 m) v)
1.0ms	(fma (/ m 1) (/ (- 1.0 m) v) (- 1.0))
3.0ms	(* (fma (/ m 1) (/ (- 1.0 m) v) (- 1.0)) m)

series106.0ms

Counts

3 → 9

Calls

3 calls:

31.0ms	(/ (- 1.0 m) v)
29.0ms	(fma (/ m 1) (/ (- 1.0 m) v) (- 1.0))
46.0ms	(* (fma (/ m 1) (/ (- 1.0 m) v) (- 1.0)) m)

simplify162.0ms

Algorithm

egg-herbie

Counts

79 → 79

Iterations

Useful iterations: 2 (29.0ms)

Iter	Nodes	Cost
0	270	495
1	918	437
2	4973	434
3	5001	434

prune147.0ms

Filtered

79 candidates to 60 candidates (75.9%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	79	0	79
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	79	6	85

Merged error: 0.0b

Counts

85 → 6

localize9.0ms

Local error

Found 4 expressions with local error:

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

rewrite59.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×	`expm1-log1p-u` `log1p-expm1-u` `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 → 208

Calls

4 calls:

14.0ms	(* (- (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))) 1.0) m)
7.0ms	(/ (- 1.0 m) (sqrt v))
4.0ms	(/ m (sqrt v))
24.0ms	(* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v)))

series182.0ms

Counts

4 → 12

Calls

4 calls:

43.0ms	(* (- (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))) 1.0) m)
45.0ms	(/ (- 1.0 m) (sqrt v))
43.0ms	(/ m (sqrt v))
51.0ms	(* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v)))

simplify100.0ms

Algorithm

egg-herbie

Counts

220 → 220

Iterations

Useful iterations: 2 (79.0ms)

Iter	Nodes	Cost
0	816	1741
1	3728	1603
2	5002	1526

prune381.0ms

Filtered

220 candidates to 146 candidates (66.4%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	218	2	220
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	218	8	226

Merged error: 0b

Counts

226 → 8

localize13.0ms

Local error

Found 4 expressions with local error:

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

rewrite82.0ms

Algorithm

rewrite-expression-head

Rules

204×	`add-sqr-sqrt`
186×	`sqrt-prod`
183×	`times-frac`
127×	`*-un-lft-identity`
105×	`add-exp-log`
103×	`add-cube-cbrt`
65×	`associate-r`
61×	`add-cbrt-cube`
42×	`prod-exp`
36×	`div-exp`
32×	`associate-l`
28×	`unswap-sqr`
22×	`cbrt-unprod`
19×	`cbrt-undiv`
18×	`associate-/r*`
14×	`pow1`
7×	`rec-exp` `1-exp`
6×	`frac-times` `associate-l/` `associate-/l` `distribute-lft-out--` `difference-of-squares`
5×	`pow-flip` `div-inv`
4×	`expm1-log1p-u` `sqrt-pow1` `associate-*r/` `pow-prod-down` `log1p-expm1-u` `add-log-exp`
2×	`frac-2neg` `pow1/2` `clear-num` `*-commutative`
1×	`inv-pow`

Counts

4 → 312

Calls

4 calls:

8.0ms	(/ m (sqrt (sqrt v)))
6.0ms	(/ 1 (sqrt (sqrt v)))
28.0ms	(* (/ 1 (sqrt (sqrt v))) (/ m (sqrt (sqrt v))))
23.0ms	(* (* (/ 1 (sqrt (sqrt v))) (/ m (sqrt (sqrt v)))) (/ (- 1.0 m) (sqrt v)))

series331.0ms

Counts

4 → 12

Calls

4 calls:

85.0ms	(/ m (sqrt (sqrt v)))
142.0ms	(/ 1 (sqrt (sqrt v)))
56.0ms	(* (/ 1 (sqrt (sqrt v))) (/ m (sqrt (sqrt v))))
48.0ms	(* (* (/ 1 (sqrt (sqrt v))) (/ m (sqrt (sqrt v)))) (/ (- 1.0 m) (sqrt v)))

simplify58.0ms

Algorithm

egg-herbie

Counts

324 → 324

Iterations

Useful iterations: 1 (29.0ms)

Iter	Nodes	Cost
0	1143	3320
1	5001	2795

prune472.0ms

Filtered

324 candidates to 162 candidates (50.0%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	324	0	324
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	324	8	332

Merged error: 0b

Counts

332 → 8

regimes59.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	13	6
1	15	6
2	15	6

end0.0ms

sample902.0ms

Algorithm

intervals

Results

408.0ms	13610×	body	80	valid
256.0ms	13610×	pre	80	true

Details

sample284.0ms

simplify134.0ms

prune4.0ms

localize10.0ms

rewrite63.0ms

series156.0ms

simplify83.0ms

prune199.0ms

localize9.0ms

rewrite13.0ms

series106.0ms

simplify162.0ms

prune147.0ms

localize9.0ms

rewrite59.0ms

series182.0ms

simplify100.0ms

prune381.0ms

localize13.0ms

rewrite82.0ms

series331.0ms

simplify58.0ms

prune472.0ms

regimes59.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample902.0ms

Profiling