Details

sample299.0ms

Algorithm

intervals

Results

28.0ms

521×

body

valid

simplify86.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 3 (21.0ms)

Iter	Nodes	Cost
0	51	14
1	155	14
2	675	14
3	3242	13
4	5001	13

prune12.0ms

Filtered

1 candidates to 1 candidates (100.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: 7.2b

Counts

2 → 2

localize34.0ms

Local error

Found 4 expressions with local error:

0.0b	(fma (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (* (* (* w w) r) r) 4.5)
0.7b	(/ 2.0 (* r r))
4.5b	(* (* (* w w) r) r)
11.3b	(* (* w w) r)

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

103×	`add-sqr-sqrt`
76×	`associate-l`
54×	`add-cube-cbrt` `*-un-lft-identity`
45×	`times-frac`
30×	`unswap-sqr`
27×	`associate-r`
23×	`add-exp-log` `add-cbrt-cube`
21×	`swap-sqr`
18×	`pow1`
15×	`associate-/r*`
12×	`*-commutative`
10×	`prod-exp` `cbrt-unprod`
9×	`pow-prod-down`
4×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
3×	`associate-/l*`
2×	`cbrt-undiv` `div-exp`
1×	`frac-2neg` `clear-num` `fma-udef` `div-inv`

Counts

4 → 184

Calls

4 calls:

1.0ms	(fma (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (* (* (* w w) r) r) 4.5)
7.0ms	(/ 2.0 (* r r))
14.0ms	(* (* (* w w) r) r)
11.0ms	(* (* w w) r)

series202.0ms

Counts

4 → 12

Calls

4 calls:

108.0ms	(fma (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (* (* (* w w) r) r) 4.5)
25.0ms	(/ 2.0 (* r r))
42.0ms	(* (* (* w w) r) r)
27.0ms	(* (* w w) r)

simplify80.0ms

Algorithm

egg-herbie

Counts

196 → 196

Iterations

Useful iterations: 2 (67.0ms)

Iter	Nodes	Cost
0	563	920
1	2797	831
2	5002	814

prune445.0ms

Filtered

196 candidates to 122 candidates (62.2%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	185	11	196
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	186	12	198

Merged error: 0.0b

Counts

198 → 12

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (fma (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (* (* (fabs w) r) (* (fabs w) r)) 4.5) 3.0)
0.0b	(fma (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (* (* (fabs w) r) (* (fabs w) r)) 4.5)
0.4b	(* (* (fabs w) r) (* (fabs w) r))
0.7b	(/ 2.0 (* r r))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

89×	`add-sqr-sqrt`
65×	`*-un-lft-identity`
59×	`add-cube-cbrt`
45×	`times-frac`
43×	`pow1`
38×	`associate-l`
36×	`associate-r`
26×	`swap-sqr`
21×	`add-exp-log` `add-cbrt-cube`
17×	`pow-prod-down`
16×	`unswap-sqr`
15×	`associate-/r*`
9×	`prod-diff` `prod-exp` `*-commutative` `cbrt-unprod`
6×	`add-log-exp`
4×	`expm1-log1p-u` `pow-sqr` `pow-prod-up` `log1p-expm1-u`
3×	`fma-neg` `associate-/l*`
2×	`cbrt-undiv` `pow-plus` `div-exp` `fma-udef`
1×	`pow2` `sub-neg` `flip3--` `frac-2neg` `diff-log` `associate--l+` `clear-num` `flip--` `div-inv` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 193

Calls

4 calls:

4.0ms	(- (fma (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (* (* (fabs w) r) (* (fabs w) r)) 4.5) 3.0)
1.0ms	(fma (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (* (* (fabs w) r) (* (fabs w) r)) 4.5)
15.0ms	(* (* (fabs w) r) (* (fabs w) r))
7.0ms	(/ 2.0 (* r r))

series295.0ms

Counts

4 → 12

Calls

4 calls:

120.0ms	(- (fma (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (* (* (fabs w) r) (* (fabs w) r)) 4.5) 3.0)
117.0ms	(fma (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (* (* (fabs w) r) (* (fabs w) r)) 4.5)
33.0ms	(* (* (fabs w) r) (* (fabs w) r))
25.0ms	(/ 2.0 (* r r))

simplify117.0ms

Algorithm

egg-herbie

Counts

205 → 205

Iterations

Useful iterations: 2 (99.0ms)

Iter	Nodes	Cost
0	698	1660
1	3647	1418
2	5001	1396

prune487.0ms

Filtered

205 candidates to 120 candidates (58.5%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	195	10	205
Fresh	8	3	11
Picked	1	0	1
Done	0	0	0
Total	204	13	217

Merged error: 0.0b

Counts

217 → 13

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v))
0.1b	(* (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (* (* (fabs w) r) (* (fabs w) r)))
0.4b	(* (* (fabs w) r) (* (fabs w) r))
0.7b	(/ 2.0 (* r r))

rewrite163.0ms

Algorithm

rewrite-expression-head

Rules

447×	`add-sqr-sqrt`
260×	`*-un-lft-identity`
223×	`times-frac`
198×	`associate-l`
191×	`associate-r`
136×	`add-cube-cbrt`
118×	`unswap-sqr`
95×	`add-exp-log` `add-cbrt-cube`
61×	`pow1`
58×	`distribute-lft-out--` `difference-of-squares`
54×	`prod-exp` `cbrt-unprod`
46×	`swap-sqr`
35×	`associate-/l*`
30×	`pow-prod-down` `*-commutative`
26×	`associate-*l/`
25×	`associate-/r*`
14×	`cbrt-undiv` `div-exp`
4×	`expm1-log1p-u` `flip3--` `associate-*r/` `associate-/r/` `pow-sqr` `pow-prod-up` `flip--` `log1p-expm1-u` `associate-/l/` `add-log-exp`
3×	`frac-2neg` `clear-num` `div-inv`
2×	`pow-plus`
1×	`pow2`

Counts

4 → 506

Calls

4 calls:

24.0ms	(/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v))
90.0ms	(* (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (* (* (fabs w) r) (* (fabs w) r)))
13.0ms	(* (* (fabs w) r) (* (fabs w) r))
7.0ms	(/ 2.0 (* r r))

series198.0ms

Counts

4 → 12

Calls

4 calls:

55.0ms	(/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v))
77.0ms	(* (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (* (* (fabs w) r) (* (fabs w) r)))
33.0ms	(* (* (fabs w) r) (* (fabs w) r))
32.0ms	(/ 2.0 (* r r))

simplify96.0ms

Algorithm

egg-herbie

Counts

518 → 518

Iterations

Useful iterations: 1 (45.0ms)

Iter	Nodes	Cost
0	1957	5144
1	5001	4791

prune1.3s

Filtered

518 candidates to 306 candidates (59.1%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	508	10	518
Fresh	11	1	12
Picked	1	0	1
Done	0	0	0
Total	520	11	531

Merged error: 0.0b

Counts

531 → 11

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v))
0.1b	(* (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (* (* (fabs w) r) (* (fabs w) r)))
0.2b	(/ (/ 2.0 r) r)
0.4b	(* (* (fabs w) r) (* (fabs w) r))

rewrite163.0ms

Algorithm

rewrite-expression-head

Rules

447×	`add-sqr-sqrt`
268×	`*-un-lft-identity`
253×	`times-frac`
186×	`associate-l`
179×	`associate-r`
144×	`add-cube-cbrt`
114×	`unswap-sqr`
95×	`add-exp-log` `add-cbrt-cube`
61×	`pow1`
58×	`distribute-lft-out--` `difference-of-squares`
53×	`prod-exp` `cbrt-unprod`
48×	`associate-/l*`
34×	`swap-sqr`
30×	`pow-prod-down`
26×	`associate-l/` `-commutative`
16×	`associate-/r*`
15×	`cbrt-undiv` `div-exp`
13×	`associate-/l/`
7×	`div-inv`
4×	`expm1-log1p-u` `flip3--` `frac-2neg` `associate-*r/` `clear-num` `associate-/r/` `pow-sqr` `pow-prod-up` `flip--` `log1p-expm1-u` `add-log-exp`
2×	`pow-plus`
1×	`pow2`

Counts

4 → 507

Calls

4 calls:

24.0ms	(/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v))
91.0ms	(* (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (* (* (fabs w) r) (* (fabs w) r)))
7.0ms	(/ (/ 2.0 r) r)
13.0ms	(* (* (fabs w) r) (* (fabs w) r))

series195.0ms

Counts

4 → 12

Calls

4 calls:

51.0ms	(/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v))
78.0ms	(* (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (* (* (fabs w) r) (* (fabs w) r)))
32.0ms	(/ (/ 2.0 r) r)
33.0ms	(* (* (fabs w) r) (* (fabs w) r))

simplify103.0ms

Algorithm

egg-herbie

Counts

519 → 519

Iterations

Useful iterations: 1 (47.0ms)

Iter	Nodes	Cost
0	2015	5193
1	5002	4856

prune1.3s

Filtered

519 candidates to 318 candidates (61.3%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	514	5	519
Fresh	5	5	10
Picked	1	0	1
Done	0	0	0
Total	520	10	530

Merged error: 0b

Counts

530 → 10

regimes153.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	18
1	30	18

end0.0ms

sample1.3s

Algorithm

intervals

Results

899.0ms

16966×

body

valid