Details

analyze504.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
6.2%	93.7%	0.1%	5
6.2%	90.5%	3.2%	6
21.9%	67.1%	11%	7
23.4%	64.8%	11.8%	8
32%	52.7%	15.3%	9
33.2%	51.3%	15.5%	10
37.7%	45.2%	17.2%	11
38.3%	44.4%	17.2%	12
40.6%	41.3%	18%	13
41%	41%	18%	14

sample36.0ms

Algorithm

intervals

Results

9.0ms	201×	body	80	valid
4.0ms	19×	body	1280	valid
3.0ms	20×	body	1280	nan
3.0ms	21×	body	640	nan
3.0ms	17×	body	640	valid
2.0ms	16×	body	320	valid
1.0ms	10×	body	320	nan
1.0ms	11×	body	160	nan
0.0ms	3×	body	160	valid
0.0ms	6×	body	80	nan

simplify112.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (110.0ms)

Iter	Nodes	Cost
0	5039	12

prune8.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: 13.9b

Counts

2 → 1

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b	(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
0.0b	(/ (- x y) (- 1.0 y))
2.0b	(- 1.0 (/ (- x y) (- 1.0 y)))
3.9b	(log (- 1.0 (/ (- x y) (- 1.0 y))))

rewrite54.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 106

Calls

4 calls:

16.0ms	(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
8.0ms	(/ (- x y) (- 1.0 y))
13.0ms	(- 1.0 (/ (- x y) (- 1.0 y)))
13.0ms	(log (- 1.0 (/ (- x y) (- 1.0 y))))

series45.0ms

Counts

4 → 12

Calls

4 calls:

15.0ms	(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
6.0ms	(/ (- x y) (- 1.0 y))
9.0ms	(- 1.0 (/ (- x y) (- 1.0 y)))
15.0ms	(log (- 1.0 (/ (- x y) (- 1.0 y))))

simplify40.0ms

Algorithm

egg-herbie

Counts

118 → 118

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	5428	1660

prune231.0ms

Filtered

93 candidates to 118 candidates (-26.9%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	115	3	118
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	116	3	119

Merged error: 0b

Counts

119 → 3

localize18.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (- y x) (- 1.0 y))
0.2b	(/ (exp 1.0) (+ 1.0 (/ (- y x) (- 1.0 y))))
2.0b	(+ 1.0 (/ (- y x) (- 1.0 y)))

rewrite56.0ms

Algorithm

rewrite-expression-head

Rules

58×	`*-un-lft-identity`
48×	`add-sqr-sqrt`
37×	`times-frac`
24×	`add-cube-cbrt`
12×	`distribute-lft-out--` `difference-of-squares`
9×	`associate-/r*`
8×	`associate-/l*`
7×	`add-cbrt-cube`
6×	`add-exp-log`
5×	`distribute-lft-out` `add-log-exp`
4×	`associate-/r/`
3×	`pow1`
2×	`cbrt-undiv` `flip3--` `frac-2neg` `flip3-+` `div-sub` `div-exp` `clear-num` `flip--` `flip-+` `div-inv` `associate-/l/`
1×	`+-commutative` `associate-+r-` `sum-log`

Counts

3 → 98

Calls

3 calls:

10.0ms	(/ (- y x) (- 1.0 y))
20.0ms	(/ (exp 1.0) (+ 1.0 (/ (- y x) (- 1.0 y))))
23.0ms	(+ 1.0 (/ (- y x) (- 1.0 y)))

series26.0ms

Counts

3 → 9

Calls

3 calls:

5.0ms	(/ (- y x) (- 1.0 y))
13.0ms	(/ (exp 1.0) (+ 1.0 (/ (- y x) (- 1.0 y))))
8.0ms	(+ 1.0 (/ (- y x) (- 1.0 y)))

simplify58.0ms

Algorithm

egg-herbie

Counts

107 → 107

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	5416	1514

prune168.0ms

Filtered

77 candidates to 107 candidates (-39.0%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	107	0	107
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	107	3	110

Merged error: 0b

Counts

110 → 3

localize13.0ms

Local error

Found 4 expressions with local error:

2.0b	(+ 1.0 (/ (- y x) (- 1.0 y)))
3.9b	(log (+ 1.0 (/ (- y x) (- 1.0 y))))
3.9b	(log (+ 1.0 (/ (- y x) (- 1.0 y))))
3.9b	(log (+ 1.0 (/ (- y x) (- 1.0 y))))

rewrite54.0ms

Algorithm

rewrite-expression-head

Rules

15×	`*-un-lft-identity`
12×	`log-prod`
7×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cube-cbrt`
6×	`log-div` `add-log-exp`
4×	`flip3-+` `add-cbrt-cube` `flip-+` `distribute-lft-out`
3×	`rem-log-exp` `log-pow`
1×	`+-commutative` `associate-+r-` `div-sub` `sum-log`

Counts

4 → 58

Calls

4 calls:

13.0ms	(+ 1.0 (/ (- y x) (- 1.0 y)))
14.0ms	(log (+ 1.0 (/ (- y x) (- 1.0 y))))
13.0ms	(log (+ 1.0 (/ (- y x) (- 1.0 y))))
12.0ms	(log (+ 1.0 (/ (- y x) (- 1.0 y))))

series41.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(+ 1.0 (/ (- y x) (- 1.0 y)))
11.0ms	(log (+ 1.0 (/ (- y x) (- 1.0 y))))
11.0ms	(log (+ 1.0 (/ (- y x) (- 1.0 y))))
12.0ms	(log (+ 1.0 (/ (- y x) (- 1.0 y))))

simplify41.0ms

Algorithm

egg-herbie

Counts

70 → 70

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	5099	1019

prune193.0ms

Filtered

55 candidates to 70 candidates (-27.3%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	70	0	70
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	70	3	73

Merged error: 0b

Counts

73 → 3

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(- 1.0 (log (+ (/ x y) (* (/ 1.0 y) (+ (/ x y) -1)))))
0.1b	(* (/ 1.0 y) (+ (/ x y) -1))
1.9b	(log (+ (/ x y) (* (/ 1.0 y) (+ (/ x y) -1))))
4.5b	(+ (/ x y) (* (/ 1.0 y) (+ (/ x y) -1)))

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt`
19×	`*-un-lft-identity`
15×	`frac-add`
14×	`add-cube-cbrt` `log-div`
13×	`associate-l`
11×	`flip3-+` `times-frac` `flip-+`
10×	`add-exp-log`
9×	`add-cbrt-cube`
8×	`pow1` `frac-times` `associate-*r/`
7×	`associate--r-` `add-log-exp`
6×	`log-prod` `associate-r`
4×	`associate-*l/`
3×	`associate--r+`
2×	`difference-of-sqr--1` `distribute-rgt-in` `associate-+r+` `distribute-lft-in` `prod-exp` `log-pow` `cbrt-unprod` `distribute-lft-out--` `unswap-sqr`
1×	`cbrt-undiv` `+-commutative` `sub-neg` `flip3--` `diff-log` `div-exp` `rem-log-exp` `pow-prod-down` `sum-log` `*-commutative` `flip--` `div-inv` `distribute-lft-out` `difference-of-squares`

Counts

4 → 102

Calls

4 calls:

10.0ms	(- 1.0 (log (+ (/ x y) (* (/ 1.0 y) (+ (/ x y) -1)))))
12.0ms	(* (/ 1.0 y) (+ (/ x y) -1))
7.0ms	(log (+ (/ x y) (* (/ 1.0 y) (+ (/ x y) -1))))
8.0ms	(+ (/ x y) (* (/ 1.0 y) (+ (/ x y) -1)))

series44.0ms

Counts

4 → 12

Calls

4 calls:

15.0ms	(- 1.0 (log (+ (/ x y) (* (/ 1.0 y) (+ (/ x y) -1)))))
8.0ms	(* (/ 1.0 y) (+ (/ x y) -1))
13.0ms	(log (+ (/ x y) (* (/ 1.0 y) (+ (/ x y) -1))))
8.0ms	(+ (/ x y) (* (/ 1.0 y) (+ (/ x y) -1)))

simplify51.0ms

Algorithm

egg-herbie

Counts

114 → 114

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	5006	2043

prune172.0ms

Filtered

96 candidates to 114 candidates (-18.8%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	114	0	114
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	114	3	117

Merged error: 0b

Counts

117 → 3

regimes88.0ms

Accuracy

99.9% (0.0b remaining)

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

bsearch116.0ms

Steps

Iters	Range		Point
10	10.12013655567153	56708359700.60955	91810822.88519181
10	-1.4278089081052422e+29	-10614107096.164091	-10880724336.10572

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	56	38
1	56	38

end0.0ms

sample1.2s

Algorithm

intervals

Results

287.0ms	5719×	body	80	valid
210.0ms	834×	body	1280	valid
140.0ms	757×	body	640	valid
131.0ms	680×	body	1280	nan
114.0ms	775×	body	640	nan
62.0ms	452×	body	320	valid
51.0ms	443×	body	320	nan
21.0ms	238×	body	160	valid
17.0ms	225×	body	160	nan
15.0ms	359×	body	80	nan

Details

analyze504.0ms

sample36.0ms

simplify112.0ms

prune8.0ms

localize8.0ms

rewrite54.0ms

series45.0ms

simplify40.0ms

prune231.0ms

localize18.0ms

rewrite56.0ms

series26.0ms

simplify58.0ms

prune168.0ms

localize13.0ms

rewrite54.0ms

series41.0ms

simplify41.0ms

prune193.0ms

localize10.0ms

rewrite40.0ms

series44.0ms

simplify51.0ms

prune172.0ms

regimes88.0ms

bsearch116.0ms

simplify2.0ms

end0.0ms

sample1.2s

Profiling