Details

sample43.0ms

Algorithm

intervals

Results

9.0ms	247×	body	80	nan
8.0ms	51×	body	640	valid
7.0ms	38×	body	1280	valid
5.0ms	131×	body	80	valid
3.0ms	28×	body	320	valid
1.0ms	8×	body	160	valid

simplify6.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	11	6
1	14	6
2	14	6

prune2.0ms

Filtered

1 candidates to 0 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: 20.0b

Counts

2 → 1

localize8.0ms

Local error

Found 3 expressions with local error:

0.1b	(/ 1.0 (sqrt (+ x 1.0)))
0.2b	(/ 1.0 (sqrt x))
3.5b	(- (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0))))

rewrite49.0ms

Algorithm

rewrite-expression-head

Rules

71×	`*-un-lft-identity`
70×	`add-sqr-sqrt`
69×	`times-frac`
46×	`sqrt-prod`
40×	`add-cube-cbrt`
13×	`associate-/r*`
11×	`distribute-lft-out--`
9×	`difference-of-squares`
7×	`add-exp-log` `add-cbrt-cube` `distribute-lft-out`
6×	`associate-/l*`
5×	`add-log-exp`
4×	`div-inv`
3×	`pow1`
2×	`cbrt-undiv` `frac-2neg` `sqrt-div` `div-exp` `clear-num` `associate-/r/`
1×	`sub-neg` `flip3--` `flip3-+` `diff-log` `frac-sub` `flip--` `flip-+`

Counts

3 → 117

Calls

3 calls:

6.0ms	(/ 1.0 (sqrt (+ x 1.0)))
4.0ms	(/ 1.0 (sqrt x))
34.0ms	(- (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0))))

series249.0ms

Counts

3 → 9

Calls

3 calls:

75.0ms	(/ 1.0 (sqrt (+ x 1.0)))
42.0ms	(/ 1.0 (sqrt x))
131.0ms	(- (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0))))

simplify44.0ms

Algorithm

egg-herbie

Counts

126 → 126

Iterations

Useful iterations: 2 (33.0ms)

Iter	Nodes	Cost
0	410	1006
1	1310	954
2	5001	912

prune245.0ms

Filtered

126 candidates to 84 candidates (66.7%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	112	14	126
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	113	14	127

Merged error: 19.4b

Counts

127 → 14

localize8.0ms

Local error

Found 3 expressions with local error:

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

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

23×	`add-sqr-sqrt`
19×	`sqrt-prod`
17×	`add-exp-log` `add-cbrt-cube`
16×	`*-un-lft-identity`
7×	`pow1` `add-cube-cbrt` `associate-r`
6×	`associate-r/` `associate-l*`
5×	`prod-exp` `cbrt-unprod` `add-log-exp`
4×	`cbrt-undiv` `sqrt-div` `div-exp` `difference-of-squares` `unswap-sqr`
3×	`pow-prod-down` `distribute-lft-out--`
2×	`flip3--` `sqrt-pow1` `flip3-+` `pow1/2` `associate-/r/` `flip--` `flip-+` `associate-/l/` `distribute-lft-out`
1×	`sub-neg` `frac-2neg` `times-frac` `sqrt-unprod` `diff-log` `clear-num` `associate-/r` `-commutative` `div-inv` `associate-/l*`

Counts

3 → 77

Calls

3 calls:

18.0ms	(/ (* 1.0 (- (sqrt (+ x 1.0)) (sqrt x))) (* (sqrt x) (sqrt (+ x 1.0))))
8.0ms	(* (sqrt x) (sqrt (+ x 1.0)))
8.0ms	(- (sqrt (+ x 1.0)) (sqrt x))

series383.0ms

Counts

3 → 9

Calls

3 calls:

258.0ms	(/ (* 1.0 (- (sqrt (+ x 1.0)) (sqrt x))) (* (sqrt x) (sqrt (+ x 1.0))))
55.0ms	(* (sqrt x) (sqrt (+ x 1.0)))
70.0ms	(- (sqrt (+ x 1.0)) (sqrt x))

simplify72.0ms

Algorithm

egg-herbie

Counts

86 → 86

Iterations

Useful iterations: 2 (58.0ms)

Iter	Nodes	Cost
0	492	793
1	2495	678
2	5002	667

prune191.0ms

Filtered

86 candidates to 59 candidates (68.6%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	82	4	86
Fresh	0	13	13
Picked	1	0	1
Done	0	0	0
Total	83	17	100

Merged error: 19.0b

Counts

100 → 17

localize12.0ms

Local error

Found 4 expressions with local error:

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

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

105×	`*-un-lft-identity`
41×	`distribute-lft-out`
35×	`sqrt-prod`
31×	`times-frac`
29×	`add-exp-log` `add-sqr-sqrt` `add-cbrt-cube`
21×	`add-cube-cbrt`
9×	`cbrt-undiv` `div-exp` `add-log-exp`
8×	`pow1` `prod-exp` `cbrt-unprod` `distribute-lft-out--`
7×	`associate-r` `associate-/r*`
6×	`associate-l` `associate-/l*`
5×	`flip3-+` `associate-*r/` `flip-+`
4×	`sqrt-div` `associate-/r/` `unswap-sqr`
3×	`pow-prod-down` `associate-/l/`
2×	`associate-+r-` `associate-+r+` `frac-2neg` `sqrt-pow1` `pow1/2` `clear-num` `sum-log` `div-inv`
1×	`+-commutative` `sub-neg` `sqrt-unprod` `diff-log` `div-sub` `*-commutative`

Counts

4 → 136

Calls

4 calls:

14.0ms	(/ (+ x (- 1.0 x)) (+ (sqrt (+ x 1.0)) (sqrt x)))
22.0ms	(/ (* 1.0 (/ (+ x (- 1.0 x)) (+ (sqrt (+ x 1.0)) (sqrt x)))) (* (sqrt x) (sqrt (+ x 1.0))))
8.0ms	(* (sqrt x) (sqrt (+ x 1.0)))
5.0ms	(+ x (- 1.0 x))

series709.0ms

Counts

4 → 12

Calls

4 calls:

147.0ms	(/ (+ x (- 1.0 x)) (+ (sqrt (+ x 1.0)) (sqrt x)))
501.0ms	(/ (* 1.0 (/ (+ x (- 1.0 x)) (+ (sqrt (+ x 1.0)) (sqrt x)))) (* (sqrt x) (sqrt (+ x 1.0))))
59.0ms	(* (sqrt x) (sqrt (+ x 1.0)))
1.0ms	(+ x (- 1.0 x))

simplify98.0ms

Algorithm

egg-herbie

Counts

148 → 148

Iterations

Useful iterations: 2 (83.0ms)

Iter	Nodes	Cost
0	710	1587
1	3837	1359
2	5002	1323

prune275.0ms

Filtered

148 candidates to 84 candidates (56.8%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	146	2	148
Fresh	8	8	16
Picked	1	0	1
Done	0	0	0
Total	155	10	165

Merged error: 0.3b

Counts

165 → 10

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite51.0ms

Algorithm

rewrite-expression-head

Rules

56×	`*-un-lft-identity`
31×	`sqrt-prod`
29×	`add-exp-log` `add-cbrt-cube`
27×	`add-sqr-sqrt`
21×	`distribute-lft-out`
19×	`add-cube-cbrt` `times-frac`
9×	`cbrt-undiv` `div-exp`
8×	`pow1` `prod-exp` `cbrt-unprod`
7×	`associate-r` `associate-/r*`
6×	`associate-l` `add-log-exp`
5×	`associate-*r/`
4×	`flip3-+` `sqrt-div` `associate-/r/` `flip-+` `associate-/l*` `unswap-sqr`
3×	`pow-prod-down`
2×	`frac-2neg` `sqrt-pow1` `pow1/2` `clear-num` `div-inv`
1×	`+-commutative` `sqrt-unprod` `sum-log` `*-commutative` `associate-/l/`

Counts

4 → 116

Calls

4 calls:

7.0ms	(+ (sqrt (+ x 1.0)) (sqrt x))
9.0ms	(/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))
22.0ms	(/ (* 1.0 (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))) (* (sqrt x) (sqrt (+ x 1.0))))
8.0ms	(* (sqrt x) (sqrt (+ x 1.0)))

series775.0ms

Counts

4 → 12

Calls

4 calls:

71.0ms	(+ (sqrt (+ x 1.0)) (sqrt x))
139.0ms	(/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))
503.0ms	(/ (* 1.0 (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))) (* (sqrt x) (sqrt (+ x 1.0))))
61.0ms	(* (sqrt x) (sqrt (+ x 1.0)))

simplify87.0ms

Algorithm

egg-herbie

Counts

128 → 128

Iterations

Useful iterations: 2 (75.0ms)

Iter	Nodes	Cost
0	671	1264
1	3514	1071
2	5001	1043

prune241.0ms

Filtered

128 candidates to 81 candidates (63.3%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	120	8	128
Fresh	3	6	9
Picked	1	0	1
Done	0	0	0
Total	124	14	138

Merged error: 0.0b

Counts

138 → 14

regimes51.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	18
1	16	18

end0.0ms

sample1.2s

Algorithm

intervals

Results

282.0ms	1863×	body	640	valid
277.0ms	8042×	body	80	nan
210.0ms	1131×	body	1280	valid
156.0ms	4093×	body	80	valid
73.0ms	629×	body	320	valid
20.0ms	284×	body	160	valid

Details

sample43.0ms

simplify6.0ms

prune2.0ms

localize8.0ms

rewrite49.0ms

series249.0ms

simplify44.0ms

prune245.0ms

localize8.0ms

rewrite37.0ms

series383.0ms

simplify72.0ms

prune191.0ms

localize12.0ms

rewrite55.0ms

series709.0ms

simplify98.0ms

prune275.0ms

localize10.0ms

rewrite51.0ms

series775.0ms

simplify87.0ms

prune241.0ms

regimes51.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.2s

Profiling