Details

sample0.0hr

Algorithm

intervals

Results

0.0hr

332×

body

valid

simplify0.0hr

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0hr)

Iter	Nodes	Cost
0	11	3
1	16	3
2	20	3
3	21	3
4	21	3

prune0.0hr

Filtered

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

Counts

2 → 1

localize0.0hr

Local error

Found 1 expressions with local error:

0.1b	(/ (- (* x x) 3.0) 6.0)

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

14×	`add-sqr-sqrt`
12×	`times-frac`
10×	`add-cube-cbrt` `*-un-lft-identity`
4×	`associate-/l*` `difference-of-squares`
3×	`add-exp-log` `associate-/r*` `add-cbrt-cube`
2×	`associate-/l/`
1×	`pow1` `cbrt-undiv` `flip3--` `frac-2neg` `div-sub` `div-exp` `clear-num` `flip--` `div-inv` `add-log-exp`

Counts

1 → 34

Calls

1 calls:

0.0hr

(/ (- (* x x) 3.0) 6.0)

series0.0hr

Counts

1 → 3

Calls

1 calls:

0.0hr

(/ (- (* x x) 3.0) 6.0)

simplify0.0hr

Algorithm

egg-herbie

Counts

37 → 37

Iterations

Useful iterations: 1 (0.0hr)

Iter	Nodes	Cost
0	175	222
1	562	208
2	2205	208
3	5001	208

prune0.0hr

Filtered

37 candidates to 30 candidates (18.9%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	34	3	37
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	35	3	38

Merged error: 0b

Counts

38 → 3

localize0.0hr

Local error

Found 1 expressions with local error:

0.2b	(/ (* x x) 6.0)

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

6×	`add-exp-log` `add-cbrt-cube`
3×	`add-sqr-sqrt` `add-cube-cbrt` `-un-lft-identity` `times-frac` `associate-/r`
2×	`cbrt-undiv` `div-exp`
1×	`pow1` `frac-2neg` `prod-exp` `clear-num` `cbrt-unprod` `div-inv` `associate-/l*` `add-log-exp`

Counts

1 → 21

Calls

1 calls:

0.0hr

(/ (* x x) 6.0)

series0.0hr

Counts

1 → 3

Calls

1 calls:

0.0hr

(/ (* x x) 6.0)

simplify0.0hr

Algorithm

egg-herbie

Counts

24 → 24

Iterations

Useful iterations: 1 (0.0hr)

Iter	Nodes	Cost
0	107	85
1	464	70
2	1996	70
3	5001	70

prune0.0hr

Filtered

24 candidates to 18 candidates (25.0%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	23	1	24
Fresh	1	1	2
Picked	0	1	1
Done	0	0	0
Total	24	3	27

Merged error: 0b

Counts

27 → 3

localize0.0hr

Local error

Found 1 expressions with local error:

0.2b	(* x (/ x 6.0))

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

14×	`add-sqr-sqrt`
13×	`associate-r`
10×	`times-frac`
9×	`add-cube-cbrt` `*-un-lft-identity`
6×	`add-exp-log` `add-cbrt-cube`
3×	`pow1` `associate-l`
2×	`prod-exp` `cbrt-unprod` `unswap-sqr`
1×	`cbrt-undiv` `associate-r/` `div-exp` `pow-prod-down` `-commutative` `div-inv` `add-log-exp`

Counts

1 → 32

Calls

1 calls:

0.0hr

(* x (/ x 6.0))

series0.0hr

Counts

1 → 3

Calls

1 calls:

0.0hr

(* x (/ x 6.0))

simplify0.0hr

Algorithm

egg-herbie

Counts

35 → 35

Iterations

Useful iterations: 1 (0.0hr)

Iter	Nodes	Cost
0	162	133
1	780	112
2	5001	112

prune0.0hr

Filtered

35 candidates to 24 candidates (31.4%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	35	0	35
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	35	3	38

Merged error: 0b

Counts

38 → 3

localize0.0hr

Local error

Found 4 expressions with local error:

0.0b	(- x (sqrt 3.0))
0.0b	(+ x (sqrt 3.0))
0.1b	(/ (+ x (sqrt 3.0)) (/ 6.0 (- x (sqrt 3.0))))
0.6b	(/ 6.0 (- x (sqrt 3.0)))

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

204×	`times-frac`
182×	`*-un-lft-identity`
170×	`add-sqr-sqrt`
90×	`add-cube-cbrt`
40×	`difference-of-squares`
30×	`associate-/r*`
26×	`distribute-lft-out`
20×	`sqrt-prod` `distribute-lft-out--`
13×	`associate-/r/`
11×	`add-exp-log` `add-cbrt-cube`
8×	`add-log-exp`
7×	`flip3--` `flip--` `div-inv` `associate-/l*`
4×	`pow1` `cbrt-undiv` `div-exp`
2×	`frac-2neg` `flip3-+` `clear-num` `flip-+` `associate-/l/`
1×	`+-commutative` `sub-neg` `diff-log` `sum-log`

Counts

4 → 209

Calls

4 calls:

0.0hr	(- x (sqrt 3.0))
0.0hr	(+ x (sqrt 3.0))
0.0hr	(/ (+ x (sqrt 3.0)) (/ 6.0 (- x (sqrt 3.0))))
0.0hr	(/ 6.0 (- x (sqrt 3.0)))

series0.0hr

Counts

4 → 12

Calls

4 calls:

0.0hr	(- x (sqrt 3.0))
0.0hr	(+ x (sqrt 3.0))
0.0hr	(/ (+ x (sqrt 3.0)) (/ 6.0 (- x (sqrt 3.0))))
0.0hr	(/ 6.0 (- x (sqrt 3.0)))

simplify0.0hr

Algorithm

egg-herbie

Counts

221 → 221

Iterations

Useful iterations: 2 (0.0hr)

Iter	Nodes	Cost
0	579	2326
1	2898	2165
2	5001	2148

prune0.0hr

Filtered

221 candidates to 134 candidates (39.4%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	221	0	221
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	221	3	224

Merged error: 0b

Counts

224 → 3

regimes0.0hr

Accuracy

0% (0.1b remaining)

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

bsearch0.0hr

simplify0.0hr

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0hr)

Iter	Nodes	Cost
0	8	4
1	8	4

end0.0hr

sample0.0hr

Algorithm

intervals

Results

0.0hr

10742×

body

valid

Details

sample0.0hr

simplify0.0hr

prune0.0hr

localize0.0hr

rewrite0.0hr

series0.0hr

simplify0.0hr

prune0.0hr

localize0.0hr

rewrite0.0hr

series0.0hr

simplify0.0hr

prune0.0hr

localize0.0hr

rewrite0.0hr

series0.0hr

simplify0.0hr

prune0.0hr

localize0.0hr

rewrite0.0hr

series0.0hr

simplify0.0hr

prune0.0hr

regimes0.0hr

bsearch0.0hr

simplify0.0hr

end0.0hr

sample0.0hr

Profiling