Details

sample291.0ms

Algorithm

intervals

Results

12.0ms	446×	body	80	valid
7.0ms	446×	pre	80	true

simplify88.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	16	6
1	40	6
2	112	6
3	393	6
4	1344	6
5	4072	6
6	5001	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

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

rewrite73.0ms

Algorithm

rewrite-expression-head

Rules

61×	`add-sqr-sqrt`
57×	`*-un-lft-identity` `prod-diff`
49×	`add-cube-cbrt`
22×	`distribute-rgt-in` `distribute-lft-in`
15×	`times-frac`
13×	`add-exp-log` `add-cbrt-cube`
10×	`associate-r`
9×	`flip3--` `flip--`
8×	`pow1` `associate-l`
7×	`fma-neg`
6×	`associate-*r/` `add-log-exp`
5×	`sub-neg` `div-inv`
4×	`expm1-log1p-u` `frac-times` `log1p-expm1-u` `distribute-lft-out--` `difference-of-squares`
3×	`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` `associate-/l*`

Counts

4 → 169

Calls

4 calls:

28.0ms	(- (/ (* m (- 1.0 m)) v) 1.0)
8.0ms	(* m (- 1.0 m))
18.0ms	(* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m))
12.0ms	(/ (* m (- 1.0 m)) v)

series157.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) 1.0) (- 1.0 m))
46.0ms	(/ (* m (- 1.0 m)) v)

simplify100.0ms

Algorithm

egg-herbie

Counts

181 → 181

Iterations

Useful iterations: 2 (79.0ms)

Iter	Nodes	Cost
0	583	1692
1	2838	1209
2	5002	1196

prune238.0ms

Filtered

181 candidates to 93 candidates (51.4%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	174	7	181
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	175	7	182

Merged error: 0b

Counts

182 → 7

localize11.0ms

Local error

Found 4 expressions with local error:

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

rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

89×	`add-sqr-sqrt`
81×	`*-un-lft-identity`
75×	`add-cube-cbrt`
66×	`prod-diff`
62×	`times-frac`
17×	`distribute-rgt-out`
16×	`fma-neg`
11×	`distribute-rgt-in` `distribute-lft-in`
8×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
7×	`flip3--` `flip--`
6×	`pow1` `distribute-lft-neg-out` `associate-l`
5×	`associate-r` `div-inv` `difference-of-squares`
4×	`expm1-log1p-u` `frac-times` `div-sub` `log1p-expm1-u` `associate-/l*`
3×	`sub-neg` `unsub-neg` `associate-/r*` `distribute-lft-out--`
2×	`associate--l-` `flip3-+` `associate-r/` `associate-l/` `flip-+` `associate-/l/`
1×	`cbrt-undiv` `+-commutative` `fma-def` `frac-2neg` `diff-log` `div-exp` `pow-prod-down` `prod-exp` `clear-num` `sum-log` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

4 → 192

Calls

4 calls:

4.0ms	(+ (* 1.0 m) (* (- m) m))
12.0ms	(- (/ (+ (* 1.0 m) (* (- m) m)) v) 1.0)
17.0ms	(* (- (/ (+ (* 1.0 m) (* (- m) m)) v) 1.0) (- 1.0 m))
7.0ms	(/ (+ (* 1.0 m) (* (- m) m)) v)

series172.0ms

Counts

4 → 12

Calls

4 calls:

57.0ms	(+ (* 1.0 m) (* (- m) m))
28.0ms	(- (/ (+ (* 1.0 m) (* (- m) m)) v) 1.0)
36.0ms	(* (- (/ (+ (* 1.0 m) (* (- m) m)) v) 1.0) (- 1.0 m))
51.0ms	(/ (+ (* 1.0 m) (* (- m) m)) v)

simplify120.0ms

Algorithm

egg-herbie

Counts

204 → 204

Iterations

Useful iterations: 2 (93.0ms)

Iter	Nodes	Cost
0	659	2618
1	3000	1982
2	5001	1915

prune293.0ms

Filtered

204 candidates to 119 candidates (58.3%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	204	0	204
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	204	7	211

Merged error: 0b

Counts

211 → 7

localize7.0ms

Local error

Found 4 expressions with local error:

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

rewrite122.0ms

Algorithm

rewrite-expression-head

Rules

576×	`times-frac`
476×	`add-sqr-sqrt`
460×	`*-un-lft-identity`
350×	`add-cube-cbrt`
222×	`prod-diff`
68×	`fma-neg`
59×	`difference-of-squares`
55×	`distribute-lft-out--`
39×	`associate-/r/`
26×	`associate-/r*`
24×	`flip3--` `flip--`
22×	`div-inv`
13×	`add-exp-log` `add-cbrt-cube`
11×	`distribute-rgt-in` `distribute-lft-in`
7×	`associate-l`
6×	`pow1` `associate-/l*` `add-log-exp`
5×	`associate-r`
4×	`cbrt-undiv` `expm1-log1p-u` `frac-times` `div-exp` `log1p-expm1-u`
3×	`sub-neg`
2×	`frac-2neg` `associate-r/` `associate-l/` `clear-num`
1×	`diff-log` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

4 → 489

Calls

4 calls:

5.0ms	(/ v (- 1.0 m))
34.0ms	(- (/ m (/ v (- 1.0 m))) 1.0)
9.0ms	(/ m (/ v (- 1.0 m)))
36.0ms	(* (- (/ m (/ v (- 1.0 m))) 1.0) (- 1.0 m))

series138.0ms

Counts

4 → 12

Calls

4 calls:

35.0ms	(/ v (- 1.0 m))
23.0ms	(- (/ m (/ v (- 1.0 m))) 1.0)
43.0ms	(/ m (/ v (- 1.0 m)))
37.0ms	(* (- (/ m (/ v (- 1.0 m))) 1.0) (- 1.0 m))

simplify95.0ms

Algorithm

egg-herbie

Counts

501 → 501

Iterations

Useful iterations: 1 (31.0ms)

Iter	Nodes	Cost
0	1224	6304
1	5001	4818

prune672.0ms

Filtered

501 candidates to 267 candidates (53.3%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	501	0	501
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	501	7	508

Merged error: 0b

Counts

508 → 7

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

70×	`add-sqr-sqrt`
68×	`*-un-lft-identity`
52×	`add-cube-cbrt`
48×	`times-frac`
30×	`sqrt-prod`
18×	`prod-diff`
12×	`associate-/r*`
11×	`distribute-rgt-in` `distribute-lft-in`
10×	`add-exp-log` `add-cbrt-cube`
8×	`associate-/l*` `distribute-lft-out--` `difference-of-squares`
6×	`pow1`
5×	`associate-r`
4×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
3×	`associate-l`
2×	`cbrt-undiv` `sub-neg` `flip3--` `frac-2neg` `associate-*r/` `div-exp` `clear-num` `flip--` `div-inv` `associate-/l/`
1×	`div-sub` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `fma-udef` `unswap-sqr`

Counts

4 → 155

Calls

4 calls:

7.0ms	(* (fma (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v)) (- 1.0)) (- 1.0 m))
4.0ms	(/ m (sqrt v))
1.0ms	(fma (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v)) (- 1.0))
12.0ms	(/ (- 1.0 m) (sqrt v))

series219.0ms

Counts

4 → 12

Calls

4 calls:

69.0ms	(* (fma (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v)) (- 1.0)) (- 1.0 m))
43.0ms	(/ m (sqrt v))
61.0ms	(fma (/ m (sqrt v)) (/ (- 1.0 m) (sqrt v)) (- 1.0))
44.0ms	(/ (- 1.0 m) (sqrt v))

simplify83.0ms

Algorithm

egg-herbie

Counts

167 → 167

Iterations

Useful iterations: 2 (66.0ms)

Iter	Nodes	Cost
0	643	1703
1	2662	1490
2	5001	1458

prune283.0ms

Filtered

167 candidates to 106 candidates (63.5%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	167	0	167
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	167	7	174

Merged error: 0b

Counts

174 → 7

regimes54.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	17	8
1	17	8

end0.0ms

sample727.0ms

Algorithm

intervals

Results

335.0ms	13804×	body	80	valid
184.0ms	13804×	pre	80	true

Details

sample291.0ms

simplify88.0ms

prune3.0ms

localize9.0ms

rewrite73.0ms

series157.0ms

simplify100.0ms

prune238.0ms

localize11.0ms

rewrite48.0ms

series172.0ms

simplify120.0ms

prune293.0ms

localize7.0ms

rewrite122.0ms

series138.0ms

simplify95.0ms

prune672.0ms

localize10.0ms

rewrite29.0ms

series219.0ms

simplify83.0ms

prune283.0ms

regimes54.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample727.0ms

Profiling