Details

sample62.0ms

Algorithm

intervals

Results

23.0ms	453×	body	80	valid
12.0ms	453×	pre	80	true

simplify74.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	5045	13

prune11.0ms

Filtered

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

Counts

2 → 2

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

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

9.0ms	(- (/ (* m (- 1.0 m)) v) 1.0)
7.0ms	(* m (- 1.0 m))
9.0ms	(/ (* m (- 1.0 m)) v)
18.0ms	(* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m))

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

simplify25.0ms

Algorithm

egg-herbie

Counts

109 → 109

Iterations

Useful iterations: 0 (15.0ms)

Iter	Nodes	Cost
0	5079	1335

prune161.0ms

Filtered

76 candidates to 109 candidates (-43.4%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	104	5	109
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	105	6	111

Merged error: 0b

Counts

111 → 6

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

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

27.0ms	(- (/ m (/ v (- 1.0 m))) 1.0)
6.0ms	(/ v (- 1.0 m))
10.0ms	(/ m (/ v (- 1.0 m)))
36.0ms	(* (- (/ m (/ v (- 1.0 m))) 1.0) (- 1.0 m))

series26.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify51.0ms

Algorithm

egg-herbie

Counts

203 → 203

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	5095	2892

prune286.0ms

Filtered

155 candidates to 203 candidates (-31.0%)

Pruning

6 alts after pruning (4 fresh and 2 done)

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

Merged error: 0b

Counts

209 → 6

localize13.0ms

Local error

Found 4 expressions with local error:

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

rewrite64.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 160

Calls

4 calls:

7.0ms	(/ (- 1.0 m) v)
23.0ms	(* (* (- (* (/ (- 1.0 m) v) m) 1.0) (+ (sqrt 1.0) (sqrt m))) (- (sqrt 1.0) (sqrt m)))
17.0ms	(* (- (* (/ (- 1.0 m) v) m) 1.0) (+ (sqrt 1.0) (sqrt m)))
10.0ms	(* (/ (- 1.0 m) v) m)

series49.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(/ (- 1.0 m) v)
16.0ms	(* (* (- (* (/ (- 1.0 m) v) m) 1.0) (+ (sqrt 1.0) (sqrt m))) (- (sqrt 1.0) (sqrt m)))
18.0ms	(* (- (* (/ (- 1.0 m) v) m) 1.0) (+ (sqrt 1.0) (sqrt m)))
10.0ms	(* (/ (- 1.0 m) v) m)

simplify60.0ms

Algorithm

egg-herbie

Counts

172 → 172

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	5031	3110

prune347.0ms

Filtered

129 candidates to 172 candidates (-33.3%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	172	0	172
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	172	6	178

Merged error: 0b

Counts

178 → 6

localize15.0ms

Local error

Found 4 expressions with local error:

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

rewrite54.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 140

Calls

4 calls:

7.0ms	(/ (- 1.0 m) v)
14.0ms	(* (- (* (/ (- 1.0 m) v) m) 1.0) (- (* 1.0 1.0) (* m m)))
10.0ms	(* (/ (- 1.0 m) v) m)
18.0ms	(/ (* (- (* (/ (- 1.0 m) v) m) 1.0) (- (* 1.0 1.0) (* m m))) (+ 1.0 m))

series36.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(/ (- 1.0 m) v)
9.0ms	(* (- (* (/ (- 1.0 m) v) m) 1.0) (- (* 1.0 1.0) (* m m)))
6.0ms	(* (/ (- 1.0 m) v) m)
12.0ms	(/ (* (- (* (/ (- 1.0 m) v) m) 1.0) (- (* 1.0 1.0) (* m m))) (+ 1.0 m))

simplify48.0ms

Algorithm

egg-herbie

Counts

152 → 152

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	4995	2208
1	4995	2208

prune455.0ms

Filtered

114 candidates to 152 candidates (-33.3%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	152	0	152
Fresh	0	2	2
Picked	0	1	1
Done	0	3	3
Total	152	6	158

Merged error: 0b

Counts

158 → 6

regimes148.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	13
1	9	13

end0.0ms

sample1.2s

Algorithm

intervals

Results

497.0ms	13714×	body	80	valid
270.0ms	13714×	pre	80	true

Details

sample62.0ms

simplify74.0ms

prune11.0ms

localize18.0ms

rewrite47.0ms

series35.0ms

simplify25.0ms

prune161.0ms

localize7.0ms

rewrite92.0ms

series26.0ms

simplify51.0ms

prune286.0ms

localize13.0ms

rewrite64.0ms

series49.0ms

simplify60.0ms

prune347.0ms

localize15.0ms

rewrite54.0ms

series36.0ms

simplify48.0ms

prune455.0ms

regimes148.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.2s

Profiling