Details

sample236.0ms

Algorithm

intervals

Results

14.0ms	482×	body	80	valid
10.0ms	482×	pre	80	true

simplify357.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (5.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

prune16.0ms

Filtered

1 candidates to 0 candidates (100.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

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)

rewrite37.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)
6.0ms	(* m (- 1.0 m))
7.0ms	(/ (* m (- 1.0 m)) v)
13.0ms	(* (- (/ (* m (- 1.0 m)) v) 1.0) m)

series30.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify49.0ms

Algorithm

egg-herbie

Counts

97 → 97

Iterations

Useful iterations: 2 (41.0ms)

Iter	Nodes	Cost
0	334	532
1	1558	477
2	5002	465

prune133.0ms

Filtered

97 candidates to 63 candidates (35.1%)

Pruning

8 alts after pruning (8 fresh and 0 done)

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

Merged error: 0.0b

Counts

98 → 8

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b	(* m (- 1.0 m))
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))))

rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

44×	`times-frac`
41×	`add-sqr-sqrt`
34×	`add-exp-log` `*-un-lft-identity`
28×	`add-cube-cbrt`
22×	`add-cbrt-cube`
14×	`div-exp`
12×	`associate-*r/`
11×	`associate-l` `associate-/r/`
10×	`associate-/r*`
9×	`pow1`
8×	`associate-r`
7×	`cbrt-undiv` `flip3--` `flip--` `div-inv`
6×	`prod-exp` `associate-/l*`
4×	`cbrt-unprod` `add-log-exp` `difference-of-squares`
3×	`rec-exp` `1-exp` `distribute-lft-out--`
2×	`distribute-rgt-in` `sub-neg` `frac-2neg` `distribute-lft-in` `pow-prod-down` `associate-l/` `clear-num` `-commutative` `unswap-sqr`
1×	`pow-flip` `inv-pow`

Counts

4 → 138

Calls

4 calls:

8.0ms	(* m (- 1.0 m))
7.0ms	(/ v (* m (- 1.0 m)))
19.0ms	(* (- (/ 1 (/ v (* m (- 1.0 m)))) 1.0) m)
9.0ms	(/ 1 (/ v (* m (- 1.0 m))))

series29.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify68.0ms

Algorithm

egg-herbie

Counts

150 → 150

Iterations

Useful iterations: 2 (56.0ms)

Iter	Nodes	Cost
0	522	954
1	2623	797
2	5001	783

prune142.0ms

Filtered

150 candidates to 84 candidates (44.0%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	149	1	150
Fresh	1	6	7
Picked	0	1	1
Done	0	0	0
Total	150	8	158

Merged error: 0.0b

Counts

158 → 8

localize9.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (- (* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v))) 1.0) m)
0.3b	(/ m (sqrt v))
0.3b	(/ (- 1.0 m) (sqrt v))
0.4b	(* (/ 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×	`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)
4.0ms	(/ m (sqrt v))
7.0ms	(/ (- 1.0 m) (sqrt v))
24.0ms	(* (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v)))

series32.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify85.0ms

Algorithm

egg-herbie

Counts

212 → 212

Iterations

Useful iterations: 2 (69.0ms)

Iter	Nodes	Cost
0	757	1686
1	3574	1572
2	5001	1508

prune209.0ms

Filtered

212 candidates to 137 candidates (35.4%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	210	2	212
Fresh	2	4	6
Picked	0	1	1
Done	0	1	1
Total	212	8	220

Merged error: 0.0b

Counts

220 → 8

localize9.0ms

Local error

Found 4 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)) (sqrt v)))
0.3b	(/ (- 1.0 m) (sqrt v))
0.4b	(/ (/ (- 1.0 m) (sqrt v)) (sqrt v))

rewrite154.0ms

Algorithm

rewrite-expression-head

Rules

838×	`times-frac`
582×	`add-sqr-sqrt`
556×	`*-un-lft-identity`
425×	`sqrt-prod`
386×	`add-cube-cbrt`
211×	`associate-r`
85×	`distribute-lft-out--` `difference-of-squares`
39×	`associate-/l*`
22×	`add-exp-log` `add-cbrt-cube`
16×	`div-inv`
12×	`associate-/r*`
8×	`pow1` `unswap-sqr`
7×	`cbrt-undiv` `div-exp`
6×	`associate-l`
4×	`prod-exp` `cbrt-unprod` `add-log-exp`
3×	`div-sub` `associate-/l/`
2×	`flip3--` `frac-2neg` `pow-prod-down` `associate-l/` `clear-num` `-commutative` `flip--`
1×	`associate-*r/`

Counts

4 → 570

Calls

4 calls:

26.0ms	(* (- (* m (/ (/ (- 1.0 m) (sqrt v)) (sqrt v))) 1.0) m)
52.0ms	(* m (/ (/ (- 1.0 m) (sqrt v)) (sqrt v)))
7.0ms	(/ (- 1.0 m) (sqrt v))
18.0ms	(/ (/ (- 1.0 m) (sqrt v)) (sqrt v))

series31.0ms

Counts

4 → 12

Calls

4 calls:

12.0ms	(* (- (* m (/ (/ (- 1.0 m) (sqrt v)) (sqrt v))) 1.0) m)
8.0ms	(* m (/ (/ (- 1.0 m) (sqrt v)) (sqrt v)))
5.0ms	(/ (- 1.0 m) (sqrt v))
6.0ms	(/ (/ (- 1.0 m) (sqrt v)) (sqrt v))

simplify89.0ms

Algorithm

egg-herbie

Counts

582 → 582

Iterations

Useful iterations: 1 (32.0ms)

Iter	Nodes	Cost
0	1394	5992
1	5001	5227

prune400.0ms

Filtered

582 candidates to 242 candidates (58.4%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	582	0	582
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	582	8	590

Merged error: 0.0b

Counts

590 → 8

regimes108.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 (1.0ms)

Iter	Nodes	Cost
0	14	6
1	14	6

end0.0ms

sample990.0ms

Algorithm

intervals

Results

401.0ms	13740×	body	80	valid
261.0ms	13740×	pre	80	true

Details

sample236.0ms

simplify357.0ms

prune16.0ms

localize9.0ms

rewrite37.0ms

series30.0ms

simplify49.0ms

prune133.0ms

localize8.0ms

rewrite48.0ms

series29.0ms

simplify68.0ms

prune142.0ms

localize9.0ms

rewrite59.0ms

series32.0ms

simplify85.0ms

prune209.0ms

localize9.0ms

rewrite154.0ms

series31.0ms

simplify89.0ms

prune400.0ms

regimes108.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample990.0ms

Profiling