Details

sample0.0hr

Algorithm

intervals

Results

0.0hr	74×	body	1280	valid
0.0hr	48×	body	640	valid
0.0hr	20×	body	2560	valid
0.0hr	21×	body	320	valid
0.0hr	80×	body	80	valid
0.0hr	13×	body	160	valid

simplify0.0hr

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0hr)

Iter	Nodes	Cost
0	9	5
1	9	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: 49.2b

Counts

2 → 1

localize0.0hr

Local error

Found 3 expressions with local error:

1.0b	(+ x (sqrt (+ (* x x) 1.0)))
2.6b	(log (+ x (sqrt (+ (* x x) 1.0))))
12.8b	(sqrt (+ (* x x) 1.0))

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

9×	`*-un-lft-identity`
6×	`add-sqr-sqrt`
5×	`pow1` `add-cube-cbrt` `add-log-exp`
4×	`add-exp-log` `log-prod`
3×	`flip3-+` `sqrt-prod` `add-cbrt-cube` `flip-+`
2×	`log-div` `sqrt-div` `distribute-lft-out`
1×	`+-commutative` `rem-sqrt-square` `sqrt-pow1` `pow1/2` `rem-log-exp` `sum-log` `log-pow`

Counts

3 → 42

Calls

3 calls:

0.0hr	(+ x (sqrt (+ (* x x) 1.0)))
0.0hr	(log (+ x (sqrt (+ (* x x) 1.0))))
0.0hr	(sqrt (+ (* x x) 1.0))

series0.0hr

Counts

3 → 9

Calls

3 calls:

0.0hr	(+ x (sqrt (+ (* x x) 1.0)))
0.0hr	(log (+ x (sqrt (+ (* x x) 1.0))))
0.0hr	(sqrt (+ (* x x) 1.0))

simplify0.0hr

Algorithm

egg-herbie

Counts

51 → 51

Iterations

Useful iterations: 3 (0.0hr)

Iter	Nodes	Cost
0	309	393
1	1027	364
2	4764	348
3	5002	347

prune0.0hr

Filtered

51 candidates to 42 candidates (17.6%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	48	3	51
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	49	3	52

Merged error: 0.0b

Counts

52 → 3

localize0.0hr

Local error

Found 2 expressions with local error:

0.0b	(- (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))) (* 1/6 (/ (pow x 3) (pow (sqrt 1.0) 3))))
0.2b	(* 1/6 (/ (pow x 3) (pow (sqrt 1.0) 3)))

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

240×	`times-frac`
220×	`associate-r`
182×	`add-sqr-sqrt`
140×	`unpow-prod-down` `cube-prod`
118×	`add-cube-cbrt` `*-un-lft-identity`
80×	`sqrt-prod`
40×	`sqr-pow`
30×	`cube-mult` `unpow3`
25×	`add-exp-log` `unswap-sqr`
10×	`prod-exp`
9×	`div-exp`
7×	`add-cbrt-cube`
6×	`pow-to-exp` `pow-exp` `add-log-exp`
4×	`pow1`
3×	`associate-r/` `associate-l*`
2×	`diff-log` `frac-sub` `cbrt-unprod`
1×	`cbrt-undiv` `sub-neg` `flip3--` `flip3-+` `pow-prod-down` `associate--l+` `sum-log` `*-commutative` `flip--` `flip-+` `div-inv`

Counts

2 → 286

Calls

2 calls:

0.0hr	(- (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))) (* 1/6 (/ (pow x 3) (pow (sqrt 1.0) 3))))
0.0hr	(* 1/6 (/ (pow x 3) (pow (sqrt 1.0) 3)))

series0.0hr

Counts

2 → 6

Calls

2 calls:

0.0hr	(- (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))) (* 1/6 (/ (pow x 3) (pow (sqrt 1.0) 3))))
0.0hr	(* 1/6 (/ (pow x 3) (pow (sqrt 1.0) 3)))

simplify0.0hr

Algorithm

egg-herbie

Counts

292 → 292

Iterations

Useful iterations: 1 (0.0hr)

Iter	Nodes	Cost
0	854	2083
1	4642	1650
2	5002	1650

prune0.0hr

Filtered

292 candidates to 111 candidates (62.0%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	291	1	292
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	291	4	295

Merged error: 0b

Counts

295 → 4

localize0.0hr

Local error

Found 4 expressions with local error:

0.4b	(* (cbrt (- (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))) (* 1/6 (/ (pow x 3) (pow (sqrt 1.0) 3))))) (cbrt (- (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))) (* 1/6 (/ (pow x 3) (pow (sqrt 1.0) 3))))))
18.8b	(cbrt (- (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))) (* 1/6 (/ (pow x 3) (pow (sqrt 1.0) 3)))))
18.8b	(cbrt (- (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))) (* 1/6 (/ (pow x 3) (pow (sqrt 1.0) 3)))))
18.8b	(cbrt (- (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))) (* 1/6 (/ (pow x 3) (pow (sqrt 1.0) 3)))))

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

52×	`cbrt-div`
30×	`associate-*r/`
26×	`frac-sub`
25×	`cbrt-prod`
23×	`add-sqr-sqrt`
16×	`frac-times`
15×	`add-cube-cbrt` `*-un-lft-identity`
13×	`flip3--` `flip3-+` `flip--` `flip-+`
11×	`pow1`
9×	`pow1/3`
6×	`add-exp-log` `swap-sqr` `associate-r` `associate-l`
4×	`associate-*l/` `add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 109

Calls

4 calls:

0.0hr	(* (cbrt (- (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))) (* 1/6 (/ (pow x 3) (pow (sqrt 1.0) 3))))) (cbrt (- (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))) (* 1/6 (/ (pow x 3) (pow (sqrt 1.0) 3))))))
0.0hr	(cbrt (- (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))) (* 1/6 (/ (pow x 3) (pow (sqrt 1.0) 3)))))
0.0hr	(cbrt (- (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))) (* 1/6 (/ (pow x 3) (pow (sqrt 1.0) 3)))))
0.0hr	(cbrt (- (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))) (* 1/6 (/ (pow x 3) (pow (sqrt 1.0) 3)))))

series0.0hr

Counts

4 → 12

Calls

4 calls:

0.0hr	(* (cbrt (- (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))) (* 1/6 (/ (pow x 3) (pow (sqrt 1.0) 3))))) (cbrt (- (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))) (* 1/6 (/ (pow x 3) (pow (sqrt 1.0) 3))))))
0.0hr	(cbrt (- (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))) (* 1/6 (/ (pow x 3) (pow (sqrt 1.0) 3)))))
0.0hr	(cbrt (- (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))) (* 1/6 (/ (pow x 3) (pow (sqrt 1.0) 3)))))
0.0hr	(cbrt (- (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))) (* 1/6 (/ (pow x 3) (pow (sqrt 1.0) 3)))))

simplify0.0hr

Algorithm

egg-herbie

Counts

121 → 121

Iterations

Useful iterations: 2 (0.0hr)

Iter	Nodes	Cost
0	553	4431
1	2610	4246
2	5002	4123

prune0.0hr

Filtered

121 candidates to 93 candidates (23.1%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	121	0	121
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	121	4	125

Merged error: 0b

Counts

125 → 4

localize0.0hr

Local error

Found 4 expressions with local error:

0.0b	(+ x (/ 0.5 x))
0.0b	(- (+ x (/ 0.5 x)) (/ 0.125 (pow x 3)))
0.4b	(/ 0.125 (pow x 3))
10.0b	(log (+ x (- (+ x (/ 0.5 x)) (/ 0.125 (pow x 3)))))

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

46×	`*-un-lft-identity`
43×	`add-sqr-sqrt`
40×	`times-frac`
30×	`add-cube-cbrt`
13×	`unpow-prod-down` `cube-prod`
12×	`associate-/r*`
11×	`add-log-exp`
10×	`add-exp-log`
6×	`log-prod` `add-cbrt-cube` `distribute-lft-out`
5×	`pow1` `difference-of-squares` `sqr-pow`
4×	`cube-mult` `unpow3` `distribute-lft-out--`
3×	`flip3-+` `div-exp` `flip-+` `associate-/l*`
2×	`log-div` `diff-log` `sum-log` `frac-sub`
1×	`cbrt-undiv` `+-commutative` `pow-to-exp` `sub-neg` `flip3--` `frac-2neg` `rem-log-exp` `pow-exp` `associate--l+` `clear-num` `log-pow` `flip--` `div-inv`

Counts

4 → 117

Calls

4 calls:

0.0hr	(+ x (/ 0.5 x))
0.0hr	(- (+ x (/ 0.5 x)) (/ 0.125 (pow x 3)))
0.0hr	(/ 0.125 (pow x 3))
0.0hr	(log (+ x (- (+ x (/ 0.5 x)) (/ 0.125 (pow x 3)))))

series0.0hr

Counts

4 → 12

Calls

4 calls:

0.0hr	(+ x (/ 0.5 x))
0.0hr	(- (+ x (/ 0.5 x)) (/ 0.125 (pow x 3)))
0.0hr	(/ 0.125 (pow x 3))
0.0hr	(log (+ x (- (+ x (/ 0.5 x)) (/ 0.125 (pow x 3)))))

simplify0.0hr

Algorithm

egg-herbie

Counts

129 → 129

Iterations

Useful iterations: 1 (0.0hr)

Iter	Nodes	Cost
0	478	840
1	2197	799
2	5001	799

prune0.0hr

Filtered

129 candidates to 77 candidates (40.3%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	129	0	129
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	129	4	133

Merged error: 0b

Counts

133 → 4

regimes0.0hr

Accuracy

100% (0.0b remaining)

Error of 0.2b against oracle of 0.2b and baseline of 32.0b

bsearch0.0hr

Steps

Iters	Range		Point
9	0.00021166572504141735	1495.4209016812965	0.8925876196495554
10	-249197998.3190651	-3.6532051617239265e-06	-1.018192898139174

simplify0.0hr

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0hr)

Iter	Nodes	Cost
0	41	27
1	41	27

end0.0hr

sample0.0hr

Algorithm

intervals

Results

0.0hr	2339×	body	1280	valid
0.0hr	1584×	body	640	valid
0.0hr	815×	body	2560	valid
0.0hr	763×	body	320	valid
0.0hr	2110×	body	80	valid
0.0hr	389×	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