Details

sample231.0ms

Algorithm

intervals

Results

14.0ms	406×	body	80	valid
8.0ms	406×	pre	80	true

simplify443.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

prune4.0ms

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

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

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

series33.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify56.0ms

Algorithm

egg-herbie

Counts

109 → 109

Iterations

Useful iterations: 2 (47.0ms)

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

prune149.0ms

Filtered

72 candidates to 109 candidates (-51.4%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	103	6	109
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	104	6	110

Merged error: 0b

Counts

110 → 6

localize9.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))) 1.0) (- 1.0 m))
0.1b	(/ m (/ v (- 1.0 m)))

rewrite81.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 191

Calls

4 calls:

28.0ms	(- (/ m (/ v (- 1.0 m))) 1.0)
5.0ms	(/ v (- 1.0 m))
30.0ms	(* (- (/ m (/ v (- 1.0 m))) 1.0) (- 1.0 m))
9.0ms	(/ m (/ v (- 1.0 m)))

series24.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify88.0ms

Algorithm

egg-herbie

Counts

203 → 203

Iterations

Useful iterations: 2 (70.0ms)

Iter	Nodes	Cost
0	699	1623
1	3448	1558
2	5002	1557

prune258.0ms

Filtered

151 candidates to 203 candidates (-34.4%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	202	1	203
Fresh	1	4	5
Picked	0	1	1
Done	0	0	0
Total	203	6	209

Merged error: 0b

Counts

209 → 6

localize8.0ms

Local error

Found 4 expressions with local error:

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

rewrite50.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 146

Calls

4 calls:

6.0ms	(/ 1 (- 1.0 m))
20.0ms	(* (- (/ m (* v (/ 1 (- 1.0 m)))) 1.0) (- 1.0 m))
9.0ms	(/ m (* v (/ 1 (- 1.0 m))))
11.0ms	(* v (/ 1 (- 1.0 m)))

series21.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify75.0ms

Algorithm

egg-herbie

Counts

158 → 158

Iterations

Useful iterations: 2 (62.0ms)

Iter	Nodes	Cost
0	594	1049
1	2958	930
2	5002	877

prune160.0ms

Filtered

94 candidates to 158 candidates (-68.1%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	158	0	158
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	158	6	164

Merged error: 0b

Counts

164 → 6

localize12.0ms

Local error

Found 4 expressions with local error:

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

rewrite59.0ms

Algorithm

rewrite-expression-head

Rules

32×	`frac-times`
27×	`add-sqr-sqrt`
23×	`flip3--` `*-un-lft-identity` `flip--`
19×	`associate-r`
18×	`add-exp-log` `add-cbrt-cube`
16×	`associate-*l/`
14×	`associate-*r/`
13×	`pow1`
12×	`flip3-+` `flip-+`
11×	`add-cube-cbrt`
9×	`associate-l`
8×	`sqrt-prod`
6×	`prod-exp` `cbrt-unprod` `difference-of-squares`
5×	`distribute-rgt-in` `distribute-lft-in` `pow-prod-down`
4×	`sub-neg` `distribute-lft-out--` `add-log-exp`
3×	`times-frac` `associate-/r` `-commutative`
2×	`cbrt-undiv` `div-exp` `associate-/l/` `distribute-lft-out` `unswap-sqr`
1×	`frac-2neg` `clear-num` `div-inv` `associate-/l*`

Counts

4 → 135

Calls

4 calls:

6.0ms	(* m (- 1.0 m))
7.0ms	(/ (* m (- 1.0 m)) v)
16.0ms	(* (- (/ (* m (- 1.0 m)) v) 1.0) (+ (sqrt 1.0) (sqrt m)))
25.0ms	(* (* (- (/ (* m (- 1.0 m)) v) 1.0) (+ (sqrt 1.0) (sqrt m))) (- (sqrt 1.0) (sqrt m)))

series43.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(* m (- 1.0 m))
6.0ms	(/ (* m (- 1.0 m)) v)
17.0ms	(* (- (/ (* m (- 1.0 m)) v) 1.0) (+ (sqrt 1.0) (sqrt m)))
16.0ms	(* (* (- (/ (* m (- 1.0 m)) v) 1.0) (+ (sqrt 1.0) (sqrt m))) (- (sqrt 1.0) (sqrt m)))

simplify44.0ms

Algorithm

egg-herbie

Counts

147 → 147

Iterations

Useful iterations: 1 (24.0ms)

Iter	Nodes	Cost
0	886	1761
1	5001	1541

prune252.0ms

Filtered

106 candidates to 147 candidates (-38.7%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	147	0	147
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	147	6	153

Merged error: 0b

Counts

153 → 6

regimes92.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	9	6
1	9	6

end0.0ms

sample1.0s

Algorithm

intervals

Results

437.0ms	13663×	body	80	valid
242.0ms	13663×	pre	80	true

Details

sample231.0ms

simplify443.0ms

prune4.0ms

localize23.0ms

rewrite42.0ms

series33.0ms

simplify56.0ms

prune149.0ms

localize9.0ms

rewrite81.0ms

series24.0ms

simplify88.0ms

prune258.0ms

localize8.0ms

rewrite50.0ms

series21.0ms

simplify75.0ms

prune160.0ms

localize12.0ms

rewrite59.0ms

series43.0ms

simplify44.0ms

prune252.0ms

regimes92.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.0s

Profiling