Details

sample0.0hr

Algorithm

intervals

Results

0.0hr	115×	body	5120	exit
0.0hr	209×	body	80	valid
0.0hr	100×	body	80	overflowed
0.0hr	20×	body	640	valid
0.0hr	13×	body	320	valid
0.0hr	15×	body	160	valid

simplify0.0hr

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 3 (0.0hr)

Iter	Nodes	Cost
0	20	9
1	48	9
2	107	9
3	224	8
4	1514	8
5	5002	8

prune0.0hr

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: 10.5b

Counts

2 → 2

localize0.0hr

Local error

Found 4 expressions with local error:

0.0b	(/ x (+ wj 1))
0.0b	(/ wj (+ wj 1))
0.0b	(/ (/ x (+ wj 1)) (exp wj))
3.5b	(- (+ (/ (/ x (+ wj 1)) (exp wj)) wj) (/ wj (+ wj 1)))

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

127×	`times-frac`
118×	`*-un-lft-identity`
78×	`add-sqr-sqrt`
73×	`add-cube-cbrt`
24×	`associate-/l*`
21×	`distribute-lft-out`
13×	`add-cbrt-cube`
12×	`associate-/r/`
11×	`add-exp-log` `associate-/r*`
9×	`add-log-exp`
7×	`flip3-+` `flip-+` `div-inv`
5×	`cbrt-undiv` `div-exp`
4×	`pow1`
3×	`frac-2neg` `clear-num`
2×	`diff-log` `frac-sub` `distribute-lft-out--` `difference-of-squares`
1×	`sub-neg` `flip3--` `associate--l+` `sum-log` `flip--` `associate-/l/`

Counts

4 → 176

Calls

4 calls:

0.0hr	(/ x (+ wj 1))
0.0hr	(/ wj (+ wj 1))
0.0hr	(/ (/ x (+ wj 1)) (exp wj))
0.0hr	(- (+ (/ (/ x (+ wj 1)) (exp wj)) wj) (/ wj (+ wj 1)))

series0.0hr

Counts

4 → 12

Calls

4 calls:

0.0hr	(/ x (+ wj 1))
0.0hr	(/ wj (+ wj 1))
0.0hr	(/ (/ x (+ wj 1)) (exp wj))
0.0hr	(- (+ (/ (/ x (+ wj 1)) (exp wj)) wj) (/ wj (+ wj 1)))

simplify0.0hr

Algorithm

egg-herbie

Counts

188 → 188

Iterations

Useful iterations: 2 (0.0hr)

Iter	Nodes	Cost
0	721	1524
1	3303	1471
2	5002	1469

prune0.0hr

Filtered

188 candidates to 138 candidates (26.6%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	184	4	188
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	186	4	190

Merged error: 0.2b

Counts

190 → 4

localize0.0hr

Local error

Found 3 expressions with local error:

0.0b	(+ x (pow wj 2))
0.0b	(- (+ x (pow wj 2)) (* 2 (* wj x)))
0.0b	(* 2 (* wj x))

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

10×	`add-log-exp`
8×	`pow1` `add-exp-log` `add-cbrt-cube`
6×	`*-un-lft-identity`
4×	`add-sqr-sqrt` `add-cube-cbrt`
3×	`associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`diff-log` `sum-log`
1×	`+-commutative` `sub-neg` `flip3--` `flip3-+` `associate-r` `associate--l+` `*-commutative` `flip--` `flip-+` `distribute-lft-out`

Counts

3 → 44

Calls

3 calls:

0.0hr	(+ x (pow wj 2))
0.0hr	(- (+ x (pow wj 2)) (* 2 (* wj x)))
0.0hr	(* 2 (* wj x))

series0.0hr

Counts

3 → 9

Calls

3 calls:

0.0hr	(+ x (pow wj 2))
0.0hr	(- (+ x (pow wj 2)) (* 2 (* wj x)))
0.0hr	(* 2 (* wj x))

simplify0.0hr

Algorithm

egg-herbie

Counts

53 → 53

Iterations

Useful iterations: 2 (0.0hr)

Iter	Nodes	Cost
0	202	245
1	793	228
2	4232	225
3	5001	225

prune0.0hr

Filtered

53 candidates to 32 candidates (39.6%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	50	3	53
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	50	7	57

Merged error: 0.2b

Counts

57 → 7

localize0.0hr

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (+ x (pow wj 2))) (cbrt (+ x (pow wj 2))))
0.6b	(cbrt (+ x (pow wj 2)))
0.6b	(cbrt (+ x (pow wj 2)))
0.6b	(cbrt (+ x (pow wj 2)))

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

36×	`cbrt-prod`
35×	`*-un-lft-identity`
23×	`add-sqr-sqrt`
18×	`cbrt-div`
15×	`add-cube-cbrt`
11×	`pow1`
9×	`flip3-+` `pow1/3` `swap-sqr` `flip-+` `distribute-lft-out`
7×	`associate-r` `associate-l`
6×	`add-exp-log`
4×	`frac-times` `add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`associate-r/` `pow-prod-down` `associate-l/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 95

Calls

4 calls:

0.0hr	(* (cbrt (+ x (pow wj 2))) (cbrt (+ x (pow wj 2))))
0.0hr	(cbrt (+ x (pow wj 2)))
0.0hr	(cbrt (+ x (pow wj 2)))
0.0hr	(cbrt (+ x (pow wj 2)))

series0.0hr

Counts

4 → 12

Calls

4 calls:

0.0hr	(* (cbrt (+ x (pow wj 2))) (cbrt (+ x (pow wj 2))))
0.0hr	(cbrt (+ x (pow wj 2)))
0.0hr	(cbrt (+ x (pow wj 2)))
0.0hr	(cbrt (+ x (pow wj 2)))

simplify0.0hr

Algorithm

egg-herbie

Counts

107 → 107

Iterations

Useful iterations: 3 (0.0hr)

Iter	Nodes	Cost
0	286	944
1	927	893
2	4130	787
3	5001	764

prune0.0hr

Filtered

107 candidates to 72 candidates (32.7%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	106	1	107
Fresh	1	4	5
Picked	1	0	1
Done	0	1	1
Total	108	6	114

Merged error: 0.2b

Counts

114 → 6

localize0.0hr

Local error

Found 4 expressions with local error:

0.6b	(cbrt (+ x (pow wj 2)))
0.6b	(cbrt (+ x (pow wj 2)))
0.6b	(cbrt (+ x (pow wj 2)))
1.0b	(pow (cbrt (cbrt (+ x (pow wj 2)))) 5)

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

23×	`cbrt-prod`
19×	`*-un-lft-identity`
11×	`add-sqr-sqrt` `add-cube-cbrt`
10×	`unpow-prod-down`
6×	`cbrt-div`
5×	`pow1` `add-exp-log`
4×	`pow1/3` `add-cbrt-cube` `distribute-lft-out` `add-log-exp`
3×	`pow-unpow` `flip3-+` `flip-+`
2×	`pow-pow`
1×	`pow-to-exp` `pow-exp` `sqr-pow`

Counts

4 → 67

Calls

4 calls:

0.0hr	(cbrt (+ x (pow wj 2)))
0.0hr	(cbrt (+ x (pow wj 2)))
0.0hr	(cbrt (+ x (pow wj 2)))
0.0hr	(pow (cbrt (cbrt (+ x (pow wj 2)))) 5)

series0.0hr

Counts

4 → 12

Calls

4 calls:

0.0hr	(cbrt (+ x (pow wj 2)))
0.0hr	(cbrt (+ x (pow wj 2)))
0.0hr	(cbrt (+ x (pow wj 2)))
0.0hr	(pow (cbrt (cbrt (+ x (pow wj 2)))) 5)

simplify0.0hr

Algorithm

egg-herbie

Counts

79 → 79

Iterations

Useful iterations: 3 (0.0hr)

Iter	Nodes	Cost
0	299	632
1	849	594
2	3023	552
3	5001	526

prune0.0hr

Filtered

79 candidates to 58 candidates (26.6%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	78	1	79
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	78	7	85

Merged error: 0.2b

Counts

85 → 7

regimes0.0hr

Accuracy

67.7% (0.6b remaining)

Error of 0.9b against oracle of 0.3b and baseline of 2.2b

bsearch0.0hr

Steps

Iters	Range		Point
7	7.626038832647247e-10	2.3799359366119852e-08	8.236116212682397e-09

simplify0.0hr

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0hr)

Iter	Nodes	Cost
0	26	13
1	26	13

end0.0hr

sample0.0hr

Algorithm

intervals

Results

0.0hr	3810×	body	5120	exit
0.0hr	6267×	body	80	valid
0.0hr	3822×	body	80	overflowed
0.0hr	802×	body	320	valid
0.0hr	479×	body	640	valid
0.0hr	533×	body	160	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