Details

sample319.0ms

Algorithm

intervals

Results

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

simplify80.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	16	6
1	40	6
2	105	6
3	354	6
4	1102	6
5	3189	6
6	5002	6

prune3.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.1b

Counts

2 → 1

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

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

8.0ms	(- (/ (* m (- 1.0 m)) v) 1.0)
7.0ms	(* m (- 1.0 m))
7.0ms	(/ (* m (- 1.0 m)) v)
17.0ms	(* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m))

series162.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(- (/ (* m (- 1.0 m)) v) 1.0)
46.0ms	(* m (- 1.0 m))
42.0ms	(/ (* m (- 1.0 m)) v)
47.0ms	(* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m))

simplify61.0ms

Algorithm

egg-herbie

Counts

109 → 109

Iterations

Useful iterations: 2 (51.0ms)

Iter	Nodes	Cost
0	400	725
1	1959	665
2	5002	653

prune186.0ms

Filtered

109 candidates to 72 candidates (66.1%)

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

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite46.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-exp-log` `add-sqr-sqrt` `add-cbrt-cube`
14×	`*-un-lft-identity`
12×	`add-cube-cbrt`
10×	`associate-r` `associate-*l/`
7×	`flip3--` `flip--`
6×	`pow1` `times-frac` `associate-/r*` `add-log-exp`
5×	`associate-l`
4×	`cbrt-undiv` `associate-*r/` `div-exp` `frac-add` `associate-/l/`
3×	`distribute-lft-neg-in` `distribute-rgt-neg-in` `prod-exp` `distribute-rgt-neg-out` `cbrt-unprod`
2×	`frac-2neg` `clear-num` `div-inv` `associate-/l*`
1×	`+-commutative` `neg-mul-1` `flip3-+` `unsub-neg` `pow-prod-down` `sum-log` `*-commutative` `flip-+` `distribute-lft-out` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

4 → 94

Calls

4 calls:

16.0ms	(+ (* (- (/ (* m (- 1.0 m)) v) 1.0) 1.0) (* (- (/ (* m (- 1.0 m)) v) 1.0) (neg m)))
7.0ms	(/ (* m (- 1.0 m)) v)
7.0ms	(/ (* m (- 1.0 m)) v)
14.0ms	(* (- (/ (* m (- 1.0 m)) v) 1.0) (neg m))

series153.0ms

Counts

4 → 12

Calls

4 calls:

39.0ms	(+ (* (- (/ (* m (- 1.0 m)) v) 1.0) 1.0) (* (- (/ (* m (- 1.0 m)) v) 1.0) (neg m)))
41.0ms	(/ (* m (- 1.0 m)) v)
37.0ms	(/ (* m (- 1.0 m)) v)
36.0ms	(* (- (/ (* m (- 1.0 m)) v) 1.0) (neg m))

simplify71.0ms

Algorithm

egg-herbie

Counts

106 → 106

Iterations

Useful iterations: 2 (60.0ms)

Iter	Nodes	Cost
0	506	961
1	2442	840
2	5001	827

prune193.0ms

Filtered

106 candidates to 77 candidates (72.6%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	105	1	106
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	105	6	111

Merged error: 0b

Counts

111 → 6

localize17.0ms

Local error

Found 4 expressions with local error:

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

rewrite66.0ms

Algorithm

rewrite-expression-head

Rules

126×	`times-frac`
96×	`add-sqr-sqrt`
94×	`*-un-lft-identity`
68×	`add-cube-cbrt`
24×	`associate-/r*`
16×	`add-exp-log` `add-cbrt-cube`
13×	`distribute-lft-out--` `difference-of-squares`
10×	`flip3--` `associate-r` `associate-*l/` `flip--`
9×	`associate-/r/`
6×	`pow1` `div-inv` `add-log-exp`
5×	`cbrt-undiv` `div-exp` `associate-l`
4×	`frac-add` `associate-/l*`
3×	`distribute-lft-neg-in` `distribute-rgt-neg-in` `distribute-rgt-neg-out`
2×	`frac-2neg` `associate-*r/` `prod-exp` `clear-num` `cbrt-unprod` `associate-/l/`
1×	`+-commutative` `neg-mul-1` `flip3-+` `unsub-neg` `pow-prod-down` `sum-log` `*-commutative` `flip-+` `unswap-sqr`

Counts

4 → 172

Calls

4 calls:

30.0ms	(+ (* (- (/ m (/ v (- 1.0 m))) 1.0) 1.0) (* (- (/ (* m (- 1.0 m)) v) 1.0) (neg m)))
7.0ms	(/ (* m (- 1.0 m)) v)
9.0ms	(/ m (/ v (- 1.0 m)))
13.0ms	(* (- (/ (* m (- 1.0 m)) v) 1.0) (neg m))

series157.0ms

Counts

4 → 12

Calls

4 calls:

38.0ms	(+ (* (- (/ m (/ v (- 1.0 m))) 1.0) 1.0) (* (- (/ (* m (- 1.0 m)) v) 1.0) (neg m)))
41.0ms	(/ (* m (- 1.0 m)) v)
37.0ms	(/ m (/ v (- 1.0 m)))
40.0ms	(* (- (/ (* m (- 1.0 m)) v) 1.0) (neg m))

simplify124.0ms

Algorithm

egg-herbie

Counts

184 → 184

Iterations

Useful iterations: 2 (105.0ms)

Iter	Nodes	Cost
0	912	1700
1	4561	1585
2	5002	1550

prune381.0ms

Filtered

184 candidates to 138 candidates (75.0%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	184	0	184
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	184	6	190

Merged error: 0b

Counts

190 → 6

localize7.0ms

Local error

Found 4 expressions with local error:

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

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

49×	`add-sqr-sqrt`
42×	`*-un-lft-identity`
31×	`times-frac`
26×	`add-cube-cbrt`
24×	`associate-r`
13×	`add-exp-log` `add-cbrt-cube`
8×	`pow1` `flip3--` `flip--` `distribute-lft-out--` `difference-of-squares`
6×	`associate-l` `add-log-exp`
5×	`associate-/l*`
4×	`frac-times`
3×	`sub-neg` `associate-r/` `prod-exp` `associate-/r` `cbrt-unprod` `unswap-sqr`
2×	`cbrt-undiv` `distribute-rgt-in` `distribute-lft-in` `div-exp` `pow-prod-down` `associate-l/` `-commutative` `div-inv` `associate-/l/`
1×	`frac-2neg` `diff-log` `div-sub` `clear-num`

Counts

4 → 120

Calls

4 calls:

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

series131.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(- (* m (/ (- 1.0 m) v)) 1.0)
32.0ms	(/ (- 1.0 m) v)
39.0ms	(* (- (* m (/ (- 1.0 m) v)) 1.0) (- 1.0 m))
37.0ms	(* m (/ (- 1.0 m) v))

simplify66.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 2 (56.0ms)

Iter	Nodes	Cost
0	465	875
1	2224	812
2	5003	800

prune185.0ms

Filtered

132 candidates to 91 candidates (68.9%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	132	0	132
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	132	6	138

Merged error: 0b

Counts

138 → 6

regimes67.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	12
1	24	12
2	25	12
3	25	12

end0.0ms

sample837.0ms

Algorithm

intervals

Results

378.0ms	13430×	body	80	valid
235.0ms	13430×	pre	80	true

Details

sample319.0ms

simplify80.0ms

prune3.0ms

localize31.0ms

rewrite43.0ms

series162.0ms

simplify61.0ms

prune186.0ms

localize10.0ms

rewrite46.0ms

series153.0ms

simplify71.0ms

prune193.0ms

localize17.0ms

rewrite66.0ms

series157.0ms

simplify124.0ms

prune381.0ms

localize7.0ms

rewrite43.0ms

series131.0ms

simplify66.0ms

prune185.0ms

regimes67.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample837.0ms

Profiling