Details

analyze8.0ms

Algorithm

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
0%	50%	50%	3
25%	25%	50%	4
37.5%	12.5%	50%	5
43.7%	6.2%	50%	6
46.9%	3.1%	50%	7
48.4%	1.6%	50%	8
49.2%	0.8%	50%	9
49.6%	0.4%	50%	10
49.8%	0.2%	50%	11
49.9%	0.1%	50%	12
49.9%	0%	50%	13
49.9%	0%	50%	14

sample96.0ms

Algorithm

intervals

Results

57.0ms	116×	body	1280	valid
25.0ms	88×	body	640	valid
5.0ms	28×	body	320	valid
2.0ms	21×	body	160	valid
0.0ms	3×	body	80	valid

simplify191.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (190.0ms)

Iter	Nodes	Cost
0	4889	12
1	4889	12

prune5.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	0	1
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 59.0b

Counts

2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (+ 1.0 x) (- 1.0 x))
5.0b	(log (/ (+ 1.0 x) (- 1.0 x)))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

63×	`*-un-lft-identity`
41×	`add-sqr-sqrt`
40×	`times-frac`
26×	`log-prod`
23×	`add-cube-cbrt`
11×	`distribute-lft-out`
9×	`distribute-lft-out--` `difference-of-squares`
7×	`add-exp-log`
5×	`associate-/r*`
4×	`associate-/r/` `add-cbrt-cube` `associate-/l*`
3×	`pow1`
2×	`flip3--` `div-exp` `rem-log-exp` `flip--` `div-inv` `associate-/l/` `add-log-exp`
1×	`cbrt-undiv` `log-div` `frac-2neg` `flip3-+` `clear-num` `log-pow` `flip-+`

Counts

2 → 82

Calls

2 calls:

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

series8.0ms

Counts

2 → 6

Calls

2 calls:

3.0ms	(/ (+ 1.0 x) (- 1.0 x))
5.0ms	(log (/ (+ 1.0 x) (- 1.0 x)))

simplify52.0ms

Algorithm

egg-herbie

Counts

88 → 88

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	5006	1111

prune138.0ms

Filtered

58 candidates to 88 candidates (-51.7%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	86	2	88
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	87	2	89

Merged error: 0.1b

Counts

89 → 2

localize12.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify2.0ms

Algorithm

egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	0	0

prune3.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	1	1
Done	0	0
Total	2	2

Merged error: 0.1b

Counts

2 → 2

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(sqrt (+ 1.0 x))
0.0b	(/ (sqrt (+ 1.0 x)) (- 1.0 x))
5.0b	(log (/ (sqrt (+ 1.0 x)) (- 1.0 x)))
5.1b	(log (sqrt (+ 1.0 x)))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

101×	`*-un-lft-identity`
76×	`add-sqr-sqrt`
70×	`times-frac`
52×	`sqrt-prod`
48×	`log-prod`
45×	`add-cube-cbrt`
15×	`distribute-lft-out--` `difference-of-squares`
13×	`distribute-lft-out`
10×	`add-exp-log`
8×	`pow1`
7×	`associate-/l*`
6×	`sqrt-div` `add-cbrt-cube`
5×	`associate-/r*`
4×	`associate-/r/` `log-pow` `add-log-exp`
3×	`log-div` `flip3-+` `rem-log-exp` `flip-+`
2×	`flip3--` `sqrt-pow1` `pow1/2` `div-exp` `flip--` `div-inv` `associate-/l/`
1×	`cbrt-undiv` `rem-sqrt-square` `frac-2neg` `clear-num`

Counts

4 → 151

Calls

4 calls:

4.0ms	(sqrt (+ 1.0 x))
8.0ms	(/ (sqrt (+ 1.0 x)) (- 1.0 x))
10.0ms	(log (/ (sqrt (+ 1.0 x)) (- 1.0 x)))
4.0ms	(log (sqrt (+ 1.0 x)))

series27.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(sqrt (+ 1.0 x))
7.0ms	(/ (sqrt (+ 1.0 x)) (- 1.0 x))
11.0ms	(log (/ (sqrt (+ 1.0 x)) (- 1.0 x)))
6.0ms	(log (sqrt (+ 1.0 x)))

simplify65.0ms

Algorithm

egg-herbie

Counts

163 → 163

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	4984	2388
1	4984	2388

prune300.0ms

Filtered

102 candidates to 163 candidates (-59.8%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	162	1	163
Fresh	0	0	0
Picked	1	0	1
Done	0	1	1
Total	163	2	165

Merged error: 0.1b

Counts

165 → 2

localize17.0ms

Local error

Found 4 expressions with local error:

5.0b	(log (/ (sqrt (+ 1.0 x)) (- 1.0 x)))
5.1b	(log (sqrt (+ 1.0 x)))
5.1b	(log (sqrt (+ 1.0 x)))
5.1b	(log (sqrt (+ 1.0 x)))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

62×	`log-prod`
58×	`*-un-lft-identity`
42×	`add-sqr-sqrt`
35×	`times-frac`
32×	`sqrt-prod`
28×	`add-cube-cbrt`
11×	`pow1`
10×	`add-exp-log` `log-pow`
8×	`distribute-lft-out`
7×	`log-div` `distribute-lft-out--` `difference-of-squares`
6×	`sqrt-div`
5×	`rem-log-exp`
4×	`add-cbrt-cube` `add-log-exp`
3×	`sqrt-pow1` `flip3-+` `pow1/2` `flip-+`
2×	`associate-/r/`
1×	`flip3--` `div-exp` `flip--` `div-inv`

Counts

4 → 112

Calls

4 calls:

8.0ms	(log (/ (sqrt (+ 1.0 x)) (- 1.0 x)))
4.0ms	(log (sqrt (+ 1.0 x)))
4.0ms	(log (sqrt (+ 1.0 x)))
4.0ms	(log (sqrt (+ 1.0 x)))

series28.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(log (/ (sqrt (+ 1.0 x)) (- 1.0 x)))
6.0ms	(log (sqrt (+ 1.0 x)))
6.0ms	(log (sqrt (+ 1.0 x)))
6.0ms	(log (sqrt (+ 1.0 x)))

simplify45.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	5544	1733

prune384.0ms

Filtered

82 candidates to 124 candidates (-51.2%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	123	1	124
Fresh	0	0	0
Picked	1	0	1
Done	0	1	1
Total	124	2	126

Merged error: 0.0b

Counts

126 → 2

regimes29.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	45	24
1	45	24

end0.0ms

sample2.9s

Algorithm

intervals

Results

1.7s	3430×	body	1280	valid
722.0ms	2482×	body	640	valid
224.0ms	1256×	body	320	valid
69.0ms	628×	body	160	valid
10.0ms	204×	body	80	valid

Details

analyze8.0ms

sample96.0ms

simplify191.0ms

prune5.0ms

localize7.0ms

rewrite18.0ms

series8.0ms

simplify52.0ms

prune138.0ms

localize12.0ms

rewrite0.0ms

series0.0ms

simplify2.0ms

prune3.0ms

localize11.0ms

rewrite33.0ms

series27.0ms

simplify65.0ms

prune300.0ms

localize17.0ms

rewrite25.0ms

series28.0ms

simplify45.0ms

prune384.0ms

regimes29.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample2.9s

Profiling