Details

analyze325.0ms

Algorithm

Search

True	Other	False	Iter
0%	12.5%	87.5%	0
0%	12.5%	87.5%	1
0%	12.5%	87.5%	2
3.1%	9.3%	87.5%	3
3.1%	6.2%	90.7%	4
4.7%	4.7%	90.7%	5
4.7%	3.5%	91.8%	6
5.6%	2.5%	91.8%	7
5.9%	1.8%	92.3%	8
6.4%	1.3%	92.3%	9
6.6%	0.9%	92.5%	10
6.8%	0.6%	92.5%	11
6.9%	0.5%	92.6%	12
7%	0.3%	92.6%	13
7.1%	0.2%	92.7%	14

sample42.0ms

Algorithm

intervals

Results

15.0ms	256×	body	80	valid
10.0ms	258×	pre	80	true
0.0ms	2×	body	80	invalid

simplify197.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (177.0ms)

Iter	Nodes	Cost
0	4719	16
1	4719	16

prune7.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	0	1
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 0.2b

Counts

2 → 1

localize8.0ms

Local error

Found 3 expressions with local error:

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

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

Counts

3 → 69

Calls

3 calls:

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

series27.0ms

Counts

3 → 9

Calls

3 calls:

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

simplify84.0ms

Algorithm

egg-herbie

Counts

78 → 78

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	5861	1049

prune147.0ms

Filtered

53 candidates to 78 candidates (-47.2%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	69	9	78
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	70	9	79

Merged error: 0.0b

Counts

79 → 9

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

rewrite51.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×	`sub-neg` `frac-2neg` `pow-prod-down` `associate-l/` `clear-num` `-commutative` `unswap-sqr`
1×	`distribute-rgt-in` `pow-flip` `distribute-lft-in` `inv-pow`

Counts

4 → 136

Calls

4 calls:

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

series30.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(* m (- 1.0 m))
7.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))))

simplify107.0ms

Algorithm

egg-herbie

Counts

148 → 148

Iterations

Useful iterations: 0 (75.0ms)

Iter	Nodes	Cost
0	5181	2331

prune237.0ms

Filtered

91 candidates to 148 candidates (-62.6%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	145	3	148
Fresh	3	5	8
Picked	1	0	1
Done	0	0	0
Total	149	8	157

Merged error: 0.0b

Counts

157 → 8

localize9.0ms

Local error

Found 4 expressions with local error:

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

rewrite52.0ms

Algorithm

rewrite-expression-head

Rules

46×	`times-frac`
42×	`add-sqr-sqrt`
38×	`*-un-lft-identity`
37×	`add-cube-cbrt`
14×	`add-exp-log`
13×	`associate-l`
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` `sqr-pow`
3×	`flip3--` `associate-r` `associate-/r*` `flip--`
2×	`cbrt-undiv` `diff-log` `associate-*r/` `prod-exp` `associate--l+` `frac-sub` `cbrt-unprod` `div-inv` `unswap-sqr`
1×	`distribute-rgt-in` `pow-to-exp` `distribute-rgt-out--` `frac-2neg` `distribute-lft-in` `pow-prod-down` `associate-l/` `pow-exp` `clear-num` `-commutative`

Counts

4 → 124

Calls

4 calls:

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

series34.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify86.0ms

Algorithm

egg-herbie

Counts

136 → 136

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	5103	1937

prune182.0ms

Filtered

89 candidates to 136 candidates (-52.8%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	134	2	136
Fresh	2	5	7
Picked	0	1	1
Done	0	0	0
Total	136	8	144

Merged error: 0b

Counts

144 → 8

localize7.0ms

Local error

Found 3 expressions with local error:

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

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

46×	`add-sqr-sqrt`
39×	`*-un-lft-identity`
31×	`times-frac`
25×	`add-cube-cbrt`
22×	`associate-r`
12×	`add-exp-log` `add-cbrt-cube`
7×	`pow1` `distribute-lft-out--` `difference-of-squares`
6×	`associate-l`
5×	`associate-/l*`
3×	`prod-exp` `associate-/r*` `cbrt-unprod` `add-log-exp` `unswap-sqr`
2×	`cbrt-undiv` `flip3--` `div-exp` `pow-prod-down` `associate-l/` `-commutative` `flip--` `div-inv` `associate-/l/`
1×	`frac-2neg` `div-sub` `associate-*r/` `clear-num`

Counts

3 → 96

Calls

3 calls:

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

series22.0ms

Counts

3 → 9

Calls

3 calls:

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

simplify96.0ms

Algorithm

egg-herbie

Counts

105 → 105

Iterations

Useful iterations: 0 (74.0ms)

Iter	Nodes	Cost
0	4966	1520
1	4966	1520

prune119.0ms

Filtered

73 candidates to 105 candidates (-43.8%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	103	2	105
Fresh	2	4	6
Picked	0	1	1
Done	0	1	1
Total	105	8	113

Merged error: 0b

Counts

113 → 8

regimes117.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	39	22
1	39	22

end0.0ms

sample740.0ms

Algorithm

intervals

Results

339.0ms	8000×	body	80	valid
215.0ms	8057×	pre	80	true
2.0ms	57×	body	80	invalid

Details

analyze325.0ms

sample42.0ms

simplify197.0ms

prune7.0ms

localize8.0ms

rewrite37.0ms

series27.0ms

simplify84.0ms

prune147.0ms

localize8.0ms

rewrite51.0ms

series30.0ms

simplify107.0ms

prune237.0ms

localize9.0ms

rewrite52.0ms

series34.0ms

simplify86.0ms

prune182.0ms

localize7.0ms

rewrite45.0ms

series22.0ms

simplify96.0ms

prune119.0ms

regimes117.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample740.0ms

Profiling