Details

sample0.0hr

Algorithm

intervals

Results

0.0hr	241×	body	80	nan
0.0hr	54×	body	640	valid
0.0hr	29×	body	1280	valid
0.0hr	136×	body	80	valid
0.0hr	24×	body	320	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	11	6
1	14	6
2	14	6

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

Counts

2 → 1

localize0.0hr

Local error

Found 4 expressions with local error:

0.0b	(sqrt (+ x 1.0))
0.1b	(/ 1.0 (sqrt (+ x 1.0)))
0.2b	(/ 1.0 (sqrt x))
3.4b	(- (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0))))

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

75×	`*-un-lft-identity`
73×	`add-sqr-sqrt`
69×	`times-frac`
50×	`sqrt-prod`
42×	`add-cube-cbrt`
13×	`associate-/r*`
11×	`distribute-lft-out--`
9×	`difference-of-squares`
8×	`add-exp-log` `add-cbrt-cube` `distribute-lft-out`
6×	`associate-/l*` `add-log-exp`
5×	`pow1`
4×	`sqrt-div` `div-inv`
2×	`cbrt-undiv` `frac-2neg` `flip3-+` `div-exp` `clear-num` `associate-/r/` `flip-+`
1×	`sub-neg` `rem-sqrt-square` `flip3--` `sqrt-pow1` `pow1/2` `diff-log` `frac-sub` `flip--`

Counts

4 → 133

Calls

4 calls:

0.0hr	(sqrt (+ x 1.0))
0.0hr	(/ 1.0 (sqrt (+ x 1.0)))
0.0hr	(/ 1.0 (sqrt x))
0.0hr	(- (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0))))

series0.0hr

Counts

4 → 12

Calls

4 calls:

0.0hr	(sqrt (+ x 1.0))
0.0hr	(/ 1.0 (sqrt (+ x 1.0)))
0.0hr	(/ 1.0 (sqrt x))
0.0hr	(- (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0))))

simplify0.0hr

Algorithm

egg-herbie

Counts

145 → 145

Iterations

Useful iterations: 2 (0.0hr)

Iter	Nodes	Cost
0	610	1151
1	2301	1116
2	5001	1086

prune0.0hr

Filtered

145 candidates to 100 candidates (31.0%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	130	15	145
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	131	15	146

Merged error: 20.4b

Counts

146 → 15

localize0.0hr

Local error

Found 4 expressions with local error:

0.2b	(/ (- (* (/ 1.0 (sqrt x)) (/ 1.0 (sqrt x))) (* (/ 1.0 (sqrt (+ x 1.0))) (/ 1.0 (sqrt (+ x 1.0))))) (+ (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0)))))
0.3b	(* (/ 1.0 (sqrt (+ x 1.0))) (/ 1.0 (sqrt (+ x 1.0))))
0.5b	(* (/ 1.0 (sqrt x)) (/ 1.0 (sqrt x)))
3.3b	(- (* (/ 1.0 (sqrt x)) (/ 1.0 (sqrt x))) (* (/ 1.0 (sqrt (+ x 1.0))) (/ 1.0 (sqrt (+ x 1.0)))))

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

362×	`times-frac`
331×	`*-un-lft-identity`
258×	`add-sqr-sqrt`
180×	`sqrt-prod`
174×	`add-cube-cbrt`
88×	`distribute-lft-out`
67×	`swap-sqr`
49×	`associate-r` `associate-l`
30×	`add-exp-log` `add-cbrt-cube`
19×	`div-inv`
18×	`pow1` `frac-sub` `unswap-sqr`
16×	`difference-of-squares`
14×	`frac-times` `associate-r/` `associate-l/` `associate-/r*`
11×	`associate-/r/` `associate-/l/`
9×	`cbrt-undiv` `div-exp`
8×	`sqrt-div` `prod-exp` `cbrt-unprod`
6×	`add-log-exp`
5×	`flip3-+` `flip-+`
4×	`associate-/l*`
2×	`pow2` `flip3--` `pow-plus` `pow-prod-down` `pow-sqr` `*-commutative` `pow-prod-up` `flip--`
1×	`sub-neg` `frac-2neg` `diff-log` `div-sub` `frac-add` `clear-num`

Counts

4 → 354

Calls

4 calls:

0.0hr	(/ (- (* (/ 1.0 (sqrt x)) (/ 1.0 (sqrt x))) (* (/ 1.0 (sqrt (+ x 1.0))) (/ 1.0 (sqrt (+ x 1.0))))) (+ (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0)))))
0.0hr	(* (/ 1.0 (sqrt (+ x 1.0))) (/ 1.0 (sqrt (+ x 1.0))))
0.0hr	(* (/ 1.0 (sqrt x)) (/ 1.0 (sqrt x)))
0.0hr	(- (* (/ 1.0 (sqrt x)) (/ 1.0 (sqrt x))) (* (/ 1.0 (sqrt (+ x 1.0))) (/ 1.0 (sqrt (+ x 1.0)))))

series0.0hr

Counts

4 → 12

Calls

4 calls:

0.0hr	(/ (- (* (/ 1.0 (sqrt x)) (/ 1.0 (sqrt x))) (* (/ 1.0 (sqrt (+ x 1.0))) (/ 1.0 (sqrt (+ x 1.0))))) (+ (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0)))))
0.0hr	(* (/ 1.0 (sqrt (+ x 1.0))) (/ 1.0 (sqrt (+ x 1.0))))
0.0hr	(* (/ 1.0 (sqrt x)) (/ 1.0 (sqrt x)))
0.0hr	(- (* (/ 1.0 (sqrt x)) (/ 1.0 (sqrt x))) (* (/ 1.0 (sqrt (+ x 1.0))) (/ 1.0 (sqrt (+ x 1.0)))))

simplify0.0hr

Algorithm

egg-herbie

Counts

366 → 366

Iterations

Useful iterations: 1 (0.0hr)

Iter	Nodes	Cost
0	1718	5942
1	5001	5479

prune0.0hr

Filtered

366 candidates to 203 candidates (44.5%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	361	5	366
Fresh	12	2	14
Picked	1	0	1
Done	0	0	0
Total	374	7	381

Merged error: 4.7b

Counts

381 → 7

localize0.0hr

Local error

Found 4 expressions with local error:

0.1b	(/ 1.0 (sqrt (+ x 1.0)))
0.2b	(/ 1.0 (sqrt x))
0.3b	(/ (/ (* (* 1.0 1.0) (- (+ x 1.0) x)) (* (+ x 1.0) x)) (+ (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0)))))
2.2b	(- (+ x 1.0) x)

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

303×	`*-un-lft-identity`
296×	`times-frac`
124×	`sqrt-prod`
117×	`distribute-lft-out`
108×	`add-sqr-sqrt`
106×	`add-cube-cbrt`
37×	`add-exp-log` `add-cbrt-cube`
35×	`associate-/r/`
34×	`div-inv`
30×	`associate-*l/`
27×	`associate-/r*`
17×	`flip3-+` `flip-+`
15×	`cbrt-undiv` `div-exp`
13×	`associate-/l*`
9×	`prod-exp` `cbrt-unprod` `add-log-exp`
4×	`pow1`
3×	`frac-2neg` `clear-num`
2×	`sqrt-div` `diff-log` `distribute-lft-out--`
1×	`sub-neg` `flip3--` `frac-add` `associate--l+` `sum-log` `flip--` `associate-/l/` `difference-of-squares`

Counts

4 → 248

Calls

4 calls:

0.0hr	(/ 1.0 (sqrt (+ x 1.0)))
0.0hr	(/ 1.0 (sqrt x))
0.0hr	(/ (/ (* (* 1.0 1.0) (- (+ x 1.0) x)) (* (+ x 1.0) x)) (+ (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0)))))
0.0hr	(- (+ x 1.0) x)

series0.0hr

Counts

4 → 12

Calls

4 calls:

0.0hr	(/ 1.0 (sqrt (+ x 1.0)))
0.0hr	(/ 1.0 (sqrt x))
0.0hr	(/ (/ (* (* 1.0 1.0) (- (+ x 1.0) x)) (* (+ x 1.0) x)) (+ (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0)))))
0.0hr	(- (+ x 1.0) x)

simplify0.0hr

Algorithm

egg-herbie

Counts

260 → 260

Iterations

Useful iterations: 1 (0.0hr)

Iter	Nodes	Cost
0	1494	4115
1	5002	3785

prune0.0hr

Filtered

260 candidates to 144 candidates (44.6%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	258	2	260
Fresh	2	4	6
Picked	1	0	1
Done	0	0	0
Total	261	6	267

Merged error: 4.7b

Counts

267 → 6

localize0.0hr

Local error

Found 4 expressions with local error:

0.1b	(/ 1.0 (sqrt (+ x 1.0)))
0.2b	(/ 1.0 (sqrt x))
0.7b	(/ (* (* 1.0 1.0) 1.0) (* (+ x 1.0) x))
4.2b	(/ (/ (* (* 1.0 1.0) 1.0) (* (+ x 1.0) x)) (+ (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0)))))

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

298×	`*-un-lft-identity`
297×	`times-frac`
124×	`sqrt-prod`
116×	`distribute-lft-out`
106×	`add-sqr-sqrt` `add-cube-cbrt`
58×	`add-exp-log` `add-cbrt-cube`
37×	`associate-/r/`
35×	`div-inv`
32×	`associate-*l/`
28×	`associate-/r*`
21×	`cbrt-undiv` `div-exp`
18×	`flip3-+` `prod-exp` `cbrt-unprod` `flip-+`
14×	`associate-/l*`
4×	`pow1` `frac-2neg` `clear-num` `add-log-exp`
2×	`sqrt-div`
1×	`frac-add` `associate-/l/`

Counts

4 → 258

Calls

4 calls:

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

series0.0hr

Counts

4 → 12

Calls

4 calls:

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

simplify0.0hr

Algorithm

egg-herbie

Counts

270 → 270

Iterations

Useful iterations: 1 (0.0hr)

Iter	Nodes	Cost
0	1449	3810
1	5001	3418

prune0.0hr

Filtered

270 candidates to 147 candidates (45.6%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	262	8	270
Fresh	4	1	5
Picked	1	0	1
Done	0	0	0
Total	267	9	276

Merged error: 0.0b

Counts

276 → 9

regimes0.0hr

Accuracy

0% (0.4b remaining)

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

bsearch0.0hr

simplify0.0hr

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0hr)

Iter	Nodes	Cost
0	15	12
1	15	12

end0.0hr

sample0.0hr

Algorithm

intervals

Results

0.0hr	7825×	body	80	nan
0.0hr	1833×	body	640	valid
0.0hr	1166×	body	1280	valid
0.0hr	4104×	body	80	valid
0.0hr	594×	body	320	valid
0.0hr	303×	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