Details

analyze4.0ms

Algorithm

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
0%	100%	0%	3
75%	25%	0%	4
87.5%	12.5%	0%	5
93.7%	6.2%	0%	6
96.8%	3.1%	0%	7
98.4%	1.6%	0%	8
99.2%	0.8%	0%	9
99.6%	0.4%	0%	10
99.8%	0.2%	0%	11
99.9%	0.1%	0%	12
99.9%	0%	0%	13
99.9%	0%	0%	14

sample31.0ms

Algorithm

intervals

Results

14.0ms	64×	body	1280	valid
6.0ms	49×	body	640	valid
5.0ms	125×	body	80	valid
1.0ms	10×	body	320	valid
0.0ms	8×	body	160	valid

simplify3.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	13
1	8	13

prune2.0ms

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

Counts

2 → 1

localize6.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ x (+ x 1.0))
0.0b	(/ (+ x 1.0) (- x 1.0))
1.8b	(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))

rewrite46.0ms

Algorithm

rewrite-expression-head

Rules

99×	`*-un-lft-identity`
52×	`times-frac`
45×	`add-sqr-sqrt`
23×	`add-cube-cbrt`
18×	`distribute-lft-out` `distribute-lft-out--`
9×	`associate-/r*` `difference-of-squares`
7×	`add-exp-log` `add-cbrt-cube` `associate-/l*`
5×	`add-log-exp`
4×	`associate-/r/`
3×	`pow1`
2×	`cbrt-undiv` `flip3--` `frac-2neg` `flip3-+` `div-exp` `clear-num` `flip--` `flip-+` `div-inv` `associate-/l/`
1×	`sub-neg` `diff-log` `frac-sub`

Counts

3 → 103

Calls

3 calls:

7.0ms	(/ x (+ x 1.0))
7.0ms	(/ (+ x 1.0) (- x 1.0))
29.0ms	(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))

series13.0ms

Counts

3 → 9

Calls

3 calls:

3.0ms	(/ x (+ x 1.0))
3.0ms	(/ (+ x 1.0) (- x 1.0))
7.0ms	(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))

simplify59.0ms

Algorithm

egg-herbie

Counts

112 → 112

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	5324	1405

prune175.0ms

Filtered

76 candidates to 112 candidates (-47.4%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	106	6	112
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	107	6	113

Merged error: 0.1b

Counts

113 → 6

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (/ 1.0 x) (+ 3.0 (/ 3.0 (* x x))))
0.2b	(* (/ -1 x) (+ (/ 1.0 x) (+ 3.0 (/ 3.0 (* x x)))))
0.6b	(/ 3.0 (* x x))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

23×	`*-un-lft-identity`
18×	`add-sqr-sqrt`
13×	`add-exp-log` `add-cube-cbrt` `times-frac` `associate-l` `add-cbrt-cube`
8×	`add-log-exp`
6×	`flip3-+` `frac-add` `flip-+` `distribute-lft-out`
5×	`pow1` `associate-r`
4×	`frac-times` `associate-*r/`
3×	`cbrt-undiv` `div-exp` `prod-exp` `sum-log` `cbrt-unprod` `associate-/l*`
2×	`div-inv` `unswap-sqr`
1×	`+-commutative` `distribute-rgt-in` `associate-+r+` `frac-2neg` `distribute-lft-in` `pow-prod-down` `associate-l/` `clear-num` `associate-/r` `*-commutative`

Counts

3 → 82

Calls

3 calls:

10.0ms	(+ (/ 1.0 x) (+ 3.0 (/ 3.0 (* x x))))
16.0ms	(* (/ -1 x) (+ (/ 1.0 x) (+ 3.0 (/ 3.0 (* x x)))))
4.0ms	(/ 3.0 (* x x))

series10.0ms

Counts

3 → 9

Calls

3 calls:

3.0ms	(+ (/ 1.0 x) (+ 3.0 (/ 3.0 (* x x))))
4.0ms	(* (/ -1 x) (+ (/ 1.0 x) (+ 3.0 (/ 3.0 (* x x)))))
3.0ms	(/ 3.0 (* x x))

simplify53.0ms

Algorithm

egg-herbie

Counts

91 → 91

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	4969	1369
1	4969	1369

prune120.0ms

Filtered

67 candidates to 91 candidates (-35.8%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	90	1	91
Fresh	0	5	5
Picked	1	0	1
Done	0	0	0
Total	91	6	97

Merged error: 0.0b

Counts

97 → 6

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (/ 3.0 (* x x)) (/ 1.0 x))
0.1b	(/ (neg (+ 3.0 (+ (/ 3.0 (* x x)) (/ 1.0 x)))) x)
0.6b	(/ 3.0 (* x x))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

74×	`*-un-lft-identity`
45×	`times-frac`
32×	`add-sqr-sqrt` `add-cube-cbrt`
25×	`distribute-lft-out`
20×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
17×	`associate-/l*`
10×	`add-exp-log` `add-cbrt-cube`
5×	`add-log-exp`
4×	`neg-mul-1` `associate-/r*`
3×	`pow1` `cbrt-undiv` `div-exp`
2×	`frac-2neg` `flip3-+` `clear-num` `flip-+` `div-inv` `associate-/l/` `distribute-neg-frac`
1×	`+-commutative` `neg-sub0` `div-sub` `distribute-frac-neg` `frac-add` `prod-exp` `sum-log` `cbrt-unprod`

Counts

3 → 109

Calls

3 calls:

10.0ms	(+ (/ 3.0 (* x x)) (/ 1.0 x))
15.0ms	(/ (neg (+ 3.0 (+ (/ 3.0 (* x x)) (/ 1.0 x)))) x)
4.0ms	(/ 3.0 (* x x))

series13.0ms

Counts

3 → 9

Calls

3 calls:

6.0ms	(+ (/ 3.0 (* x x)) (/ 1.0 x))
4.0ms	(/ (neg (+ 3.0 (+ (/ 3.0 (* x x)) (/ 1.0 x)))) x)
3.0ms	(/ 3.0 (* x x))

simplify58.0ms

Algorithm

egg-herbie

Counts

118 → 118

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	4955	2001
1	4955	2001

prune132.0ms

Filtered

75 candidates to 118 candidates (-57.3%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	118	0	118
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	118	6	124

Merged error: 0.0b

Counts

124 → 6

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (+ x 1.0) (- x 1.0))
0.0b	(pow (- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0))) 3)
0.1b	(cbrt (pow (- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0))) 3))
1.8b	(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))

rewrite113.0ms

Algorithm

rewrite-expression-head

Rules

273×	`*-un-lft-identity`
120×	`times-frac`
91×	`add-sqr-sqrt`
70×	`distribute-lft-out--`
46×	`distribute-lft-out`
38×	`cbrt-prod`
32×	`unpow-prod-down` `cube-prod`
25×	`difference-of-squares`
21×	`add-cube-cbrt`
7×	`add-exp-log` `add-cbrt-cube`
6×	`cube-div` `add-log-exp`
5×	`pow1` `associate-/r*`
4×	`flip3--` `flip--` `associate-/l*`
3×	`pow-unpow` `cbrt-div` `frac-sub`
2×	`cube-mult` `unpow3` `associate-/r/` `associate-/l/` `sqr-pow`
1×	`cbrt-undiv` `pow-to-exp` `sub-neg` `pow-pow` `frac-2neg` `flip3-+` `pow1/3` `diff-log` `div-exp` `pow-exp` `clear-num` `rem-cbrt-cube` `flip-+` `div-inv` `rem-cube-cbrt`

Counts

4 → 172

Calls

4 calls:

7.0ms	(/ (+ x 1.0) (- x 1.0))
30.0ms	(pow (- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0))) 3)
33.0ms	(cbrt (pow (- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0))) 3))
30.0ms	(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))

series26.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(/ (+ x 1.0) (- x 1.0))
8.0ms	(pow (- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0))) 3)
7.0ms	(cbrt (pow (- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0))) 3))
8.0ms	(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))

simplify59.0ms

Algorithm

egg-herbie

Counts

184 → 184

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	4966	3313
1	4966	3313

prune187.0ms

Filtered

90 candidates to 184 candidates (-104.4%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	183	1	184
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	183	7	190

Merged error: 0b

Counts

190 → 7

regimes116.0ms

Accuracy

100% (0.0b remaining)

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

bsearch52.0ms

Steps

Iters	Range		Point
10	61.00041753500832	46190352756757.98	14549.215713992979
11	-1.6667790514719508e+21	-0.23757962712647232	-11102.538296250892

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	44	44
1	44	44

end0.0ms

analyze4.0ms

Algorithm

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
0%	100%	0%	3
75%	25%	0%	4
87.5%	12.5%	0%	5
93.7%	6.2%	0%	6
96.8%	3.1%	0%	7
98.4%	1.6%	0%	8
99.2%	0.8%	0%	9
99.6%	0.4%	0%	10
99.8%	0.2%	0%	11
99.9%	0.1%	0%	12
99.9%	0%	0%	13
99.9%	0%	0%	14

sample715.0ms

Algorithm

intervals

Results

255.0ms	1705×	body	1280	valid
150.0ms	1268×	body	640	valid
129.0ms	4113×	body	80	valid
61.0ms	608×	body	320	valid
20.0ms	306×	body	160	valid

Details

analyze4.0ms

sample31.0ms

simplify3.0ms

prune2.0ms

localize6.0ms

rewrite46.0ms

series13.0ms

simplify59.0ms

prune175.0ms

localize11.0ms

rewrite33.0ms

series10.0ms

simplify53.0ms

prune120.0ms

localize10.0ms

rewrite33.0ms

series13.0ms

simplify58.0ms

prune132.0ms

localize9.0ms

rewrite113.0ms

series26.0ms

simplify59.0ms

prune187.0ms

regimes116.0ms

bsearch52.0ms

simplify1.0ms

end0.0ms

analyze4.0ms

sample715.0ms

Profiling