Details

sample0.0hr

Algorithm

intervals

Results

0.0hr	118×	body	1280	valid
0.0hr	73×	body	640	valid
0.0hr	269×	body	80	valid
0.0hr	37×	body	320	valid
0.0hr	18×	body	160	valid

simplify0.0hr

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0hr)

Iter	Nodes	Cost
0	14	5
1	23	5
2	31	5
3	36	5
4	41	5
5	65	5
6	103	5
7	243	5
8	1563	5
9	5001	5

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

Counts

2 → 1

localize0.0hr

Local error

Found 1 expressions with local error:

4.7b	(- (exp x) (exp (neg x)))

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

3×	`add-sqr-sqrt` `*-un-lft-identity` `add-log-exp`
1×	`pow1` `add-exp-log` `add-cube-cbrt` `sub-neg` `flip3--` `diff-log` `add-cbrt-cube` `flip--` `distribute-lft-out--` `difference-of-squares`

Counts

1 → 14

Calls

1 calls:

0.0hr

(- (exp x) (exp (neg x)))

series0.0hr

Counts

1 → 3

Calls

1 calls:

0.0hr

(- (exp x) (exp (neg x)))

simplify0.0hr

Algorithm

egg-herbie

Counts

17 → 17

Iterations

Useful iterations: 3 (0.0hr)

Iter	Nodes	Cost
0	100	120
1	257	106
2	785	105
3	5001	103

prune0.0hr

Filtered

17 candidates to 14 candidates (17.6%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	15	2	17
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	15	3	18

Merged error: 0.0b

Counts

18 → 3

localize0.0hr

Local error

Found 3 expressions with local error:

0.0b	(+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))
0.0b	(* 1/60 (pow x 5))
0.1b	(* 1/3 (pow x 3))

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

22×	`add-sqr-sqrt`
19×	`associate-r`
13×	`add-exp-log`
10×	`add-cube-cbrt` `*-un-lft-identity`
8×	`unpow-prod-down` `add-log-exp`
7×	`add-cbrt-cube` `unswap-sqr`
6×	`associate-l` `prod-exp`
4×	`cube-prod` `sqr-pow`
3×	`pow1` `sum-log`
2×	`pow-to-exp` `pow-exp` `*-commutative` `cbrt-unprod`
1×	`+-commutative` `cube-mult` `associate-+r+` `flip3-+` `unpow3` `flip-+`

Counts

3 → 69

Calls

3 calls:

0.0hr	(+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))
0.0hr	(* 1/60 (pow x 5))
0.0hr	(* 1/3 (pow x 3))

series0.0hr

Counts

3 → 9

Calls

3 calls:

0.0hr	(+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))
0.0hr	(* 1/60 (pow x 5))
0.0hr	(* 1/3 (pow x 3))

simplify0.0hr

Algorithm

egg-herbie

Counts

78 → 78

Iterations

Useful iterations: 1 (0.0hr)

Iter	Nodes	Cost
0	300	375
1	1301	346
2	5001	346

prune0.0hr

Filtered

78 candidates to 49 candidates (37.2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	77	1	78
Fresh	0	1	1
Picked	1	0	1
Done	0	1	1
Total	78	3	81

Merged error: 0b

Counts

81 → 3

localize0.0hr

Local error

Found 3 expressions with local error:

0.0b	(+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))
0.0b	(* 1/60 (pow x 5))
0.1b	(* 1/3 (pow x 3))

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

22×	`add-sqr-sqrt`
19×	`associate-r`
13×	`add-exp-log`
10×	`add-cube-cbrt` `*-un-lft-identity`
8×	`unpow-prod-down`
7×	`add-cbrt-cube` `unswap-sqr`
6×	`associate-l` `prod-exp`
5×	`add-log-exp`
4×	`cube-prod` `sqr-pow`
3×	`pow1`
2×	`pow-to-exp` `pow-exp` `*-commutative` `cbrt-unprod`
1×	`+-commutative` `cube-mult` `flip3-+` `unpow3` `sum-log` `flip-+`

Counts

3 → 67

Calls

3 calls:

0.0hr	(+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))
0.0hr	(* 1/60 (pow x 5))
0.0hr	(* 1/3 (pow x 3))

series0.0hr

Counts

3 → 9

Calls

3 calls:

0.0hr	(+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))
0.0hr	(* 1/60 (pow x 5))
0.0hr	(* 1/3 (pow x 3))

simplify0.0hr

Algorithm

egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 2 (0.0hr)

Iter	Nodes	Cost
0	268	317
1	1130	291
2	5001	290

prune0.0hr

Filtered

76 candidates to 48 candidates (36.8%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	76	0	76
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	76	3	79

Merged error: 0b

Counts

79 → 3

localize0.0hr

Local error

Found 4 expressions with local error:

0.1b	(cbrt (- (exp x) (exp (neg x))))
4.7b	(- (exp x) (exp (neg x)))
4.7b	(- (exp x) (exp (neg x)))
4.7b	(- (exp x) (exp (neg x)))

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

13×	`add-sqr-sqrt` `*-un-lft-identity`
10×	`add-log-exp`
5×	`cbrt-prod` `add-cube-cbrt`
4×	`pow1` `add-exp-log` `flip3--` `add-cbrt-cube` `flip--` `distribute-lft-out--` `difference-of-squares`
3×	`sub-neg` `diff-log`
2×	`cbrt-div`
1×	`pow1/3`

Counts

4 → 57

Calls

4 calls:

0.0hr	(cbrt (- (exp x) (exp (neg x))))
0.0hr	(- (exp x) (exp (neg x)))
0.0hr	(- (exp x) (exp (neg x)))
0.0hr	(- (exp x) (exp (neg x)))

series0.0hr

Counts

4 → 12

Calls

4 calls:

0.0hr	(cbrt (- (exp x) (exp (neg x))))
0.0hr	(- (exp x) (exp (neg x)))
0.0hr	(- (exp x) (exp (neg x)))
0.0hr	(- (exp x) (exp (neg x)))

simplify0.0hr

Algorithm

egg-herbie

Counts

69 → 69

Iterations

Useful iterations: 2 (0.0hr)

Iter	Nodes	Cost
0	171	546
1	478	475
2	1854	464
3	5001	464

prune0.0hr

Filtered

69 candidates to 57 candidates (17.4%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	69	0	69
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	69	3	72

Merged error: 0b

Counts

72 → 3

regimes0.0hr

Accuracy

0% (0.6b remaining)

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

bsearch0.0hr

simplify0.0hr

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0hr)

Iter	Nodes	Cost
0	20	8
1	20	8

end0.0hr

sample0.0hr

Algorithm

intervals

Results

0.0hr	3387×	body	1280	valid
0.0hr	2507×	body	640	valid
0.0hr	8292×	body	80	valid
0.0hr	1242×	body	320	valid
0.0hr	597×	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