Details

sample191.0ms

Algorithm

intervals

Results

69.0ms	74×	body	2560	valid
65.0ms	120×	body	1280	valid
10.0ms	33×	body	640	valid
7.0ms	18×	body	1280	overflowed
7.0ms	316×	pre	80	true
3.0ms	10×	body	640	overflowed
2.0ms	4×	body	2560	overflowed
2.0ms	8×	body	320	overflowed
2.0ms	8×	body	320	valid
1.0ms	16×	body	80	valid
1.0ms	16×	body	80	overflowed
1.0ms	5×	body	160	valid
1.0ms	4×	body	160	overflowed

simplify37.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	4970	24
1	4970	24

prune15.0ms

Filtered

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

Counts

2 → 2

localize21.0ms

Local error

Found 4 expressions with local error:

0.4b	(- (pow (exp b) eps) 1.0)
0.7b	(pow (exp a) eps)
1.5b	(pow (exp b) eps)
1.5b	(pow (exp (+ a b)) eps)

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

18×	`add-sqr-sqrt`
17×	`*-un-lft-identity`
13×	`add-cube-cbrt` `pow-pow`
11×	`unpow-prod-down`
10×	`exp-prod`
9×	`pow-unpow`
7×	`pow1`
6×	`add-log-exp`
4×	`add-exp-log` `add-cbrt-cube` `sqr-pow`
3×	`pow-to-exp` `pow-exp` `difference-of-squares`
1×	`sub-neg` `flip3--` `diff-log` `exp-sum` `flip--` `distribute-lft-out` `distribute-lft-out--`

Counts

4 → 78

Calls

4 calls:

6.0ms	(- (pow (exp b) eps) 1.0)
4.0ms	(pow (exp a) eps)
4.0ms	(pow (exp b) eps)
6.0ms	(pow (exp (+ a b)) eps)

series47.0ms

Counts

4 → 12

Calls

4 calls:

12.0ms	(- (pow (exp b) eps) 1.0)
10.0ms	(pow (exp a) eps)
10.0ms	(pow (exp b) eps)
14.0ms	(pow (exp (+ a b)) eps)

simplify47.0ms

Algorithm

egg-herbie

Counts

90 → 90

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	4981	647
1	4981	647

prune126.0ms

Filtered

63 candidates to 90 candidates (-42.9%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	88	2	90
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	88	4	92

Merged error: 51.1b

Counts

92 → 4

localize22.0ms

Local error

Found 4 expressions with local error:

0.7b	(pow (exp a) eps)
1.5b	(pow (exp (+ a b)) eps)
2.6b	(* (- (pow (exp a) eps) 1.0) (* eps (+ b (+ (log 1) (* eps (* 1/2 (pow (log 1) 2)))))))
4.2b	(* eps (/ (- (pow (exp (+ a b)) eps) 1.0) (* (- (pow (exp a) eps) 1.0) (* eps (+ b (+ (log 1) (* eps (* 1/2 (pow (log 1) 2)))))))))

rewrite59.0ms

Algorithm

rewrite-expression-head

Rules

26×	`add-sqr-sqrt`
23×	`add-exp-log` `add-cbrt-cube`
20×	`-un-lft-identity` `associate-r*`
17×	`associate-*r/`
14×	`add-cube-cbrt`
13×	`pow1`
10×	`associate-l` `prod-exp` `cbrt-unprod`
9×	`unpow-prod-down` `pow-pow`
8×	`frac-times` `associate-/r/`
7×	`exp-prod` `times-frac`
6×	`pow-unpow` `flip3--` `flip3-+` `flip--` `flip-+` `difference-of-squares`
4×	`distribute-rgt-in` `distribute-lft-in` `pow-prod-down` `associate-*l/` `add-log-exp` `sqr-pow`
3×	`cbrt-undiv` `div-exp`
2×	`pow-to-exp` `pow-exp` `*-commutative` `distribute-lft-out--`
1×	`exp-sum` `div-inv` `distribute-lft-out` `unswap-sqr`

Counts

4 → 117

Calls

4 calls:

4.0ms	(pow (exp a) eps)
6.0ms	(pow (exp (+ a b)) eps)
15.0ms	(* (- (pow (exp a) eps) 1.0) (* eps (+ b (+ (log 1) (* eps (* 1/2 (pow (log 1) 2)))))))
28.0ms	(* eps (/ (- (pow (exp (+ a b)) eps) 1.0) (* (- (pow (exp a) eps) 1.0) (* eps (+ b (+ (log 1) (* eps (* 1/2 (pow (log 1) 2)))))))))

series800.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(pow (exp a) eps)
14.0ms	(pow (exp (+ a b)) eps)
60.0ms	(* (- (pow (exp a) eps) 1.0) (* eps (+ b (+ (log 1) (* eps (* 1/2 (pow (log 1) 2)))))))
716.0ms	(* eps (/ (- (pow (exp (+ a b)) eps) 1.0) (* (- (pow (exp a) eps) 1.0) (* eps (+ b (+ (log 1) (* eps (* 1/2 (pow (log 1) 2)))))))))

simplify72.0ms

Algorithm

egg-herbie

Counts

129 → 129

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	4975	2790
1	4975	2790

prune373.0ms

Filtered

93 candidates to 129 candidates (-38.7%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	122	7	129
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	122	11	133

Merged error: 49.9b

Counts

133 → 11

localize22.0ms

Local error

Found 4 expressions with local error:

0.7b	(pow (exp a) eps)
1.5b	(pow (exp (+ a b)) eps)
2.6b	(* (- (pow (exp a) eps) 1.0) (* eps (+ b (+ (log 1) (* eps (* 1/2 (pow (log 1) 2)))))))
4.1b	(/ (* eps (- (pow (exp (+ a b)) eps) 1.0)) (* (- (pow (exp a) eps) 1.0) (* eps (+ b (+ (log 1) (* eps (* 1/2 (pow (log 1) 2))))))))

rewrite58.0ms

Algorithm

rewrite-expression-head

Rules

30×	`add-exp-log` `add-cbrt-cube`
18×	`associate-*r/`
16×	`add-sqr-sqrt`
15×	`*-un-lft-identity`
12×	`prod-exp` `cbrt-unprod`
11×	`pow1` `add-cube-cbrt`
9×	`pow-pow`
8×	`frac-times` `unpow-prod-down` `associate-/r/`
7×	`exp-prod` `flip3--` `associate-l` `flip--`
6×	`cbrt-undiv` `pow-unpow` `flip3-+` `div-exp` `flip-+`
4×	`distribute-rgt-in` `distribute-lft-in` `associate-*l/` `add-log-exp`
3×	`pow-prod-down` `difference-of-squares` `sqr-pow`
2×	`pow-to-exp` `pow-exp` `associate-/l/`
1×	`frac-2neg` `times-frac` `associate-r` `exp-sum` `clear-num` `associate-/r` `-commutative` `div-inv` `distribute-lft-out` `associate-/l*` `distribute-lft-out--`

Counts

4 → 111

Calls

4 calls:

4.0ms	(pow (exp a) eps)
9.0ms	(pow (exp (+ a b)) eps)
15.0ms	(* (- (pow (exp a) eps) 1.0) (* eps (+ b (+ (log 1) (* eps (* 1/2 (pow (log 1) 2)))))))
25.0ms	(/ (* eps (- (pow (exp (+ a b)) eps) 1.0)) (* (- (pow (exp a) eps) 1.0) (* eps (+ b (+ (log 1) (* eps (* 1/2 (pow (log 1) 2))))))))

series796.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(pow (exp a) eps)
16.0ms	(pow (exp (+ a b)) eps)
58.0ms	(* (- (pow (exp a) eps) 1.0) (* eps (+ b (+ (log 1) (* eps (* 1/2 (pow (log 1) 2)))))))
711.0ms	(/ (* eps (- (pow (exp (+ a b)) eps) 1.0)) (* (- (pow (exp a) eps) 1.0) (* eps (+ b (+ (log 1) (* eps (* 1/2 (pow (log 1) 2))))))))

simplify51.0ms

Algorithm

egg-herbie

Counts

123 → 123

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	4975	2680
1	4975	2680

prune316.0ms

Filtered

84 candidates to 123 candidates (-46.4%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	121	2	123
Fresh	3	5	8
Picked	1	0	1
Done	1	1	2
Total	126	8	134

Merged error: 45.6b

Counts

134 → 8

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (- (pow (exp a) eps) 1.0) (* 1 (/ (- (pow (exp (+ a b)) eps) 1.0) (+ b (+ (log 1) (* eps (* 1/2 (pow (log 1) 2))))))))
0.4b	(- (pow (exp (+ a b)) eps) 1.0)
0.7b	(pow (exp a) eps)
1.5b	(pow (exp (+ a b)) eps)

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

27×	`add-sqr-sqrt`
20×	`*-un-lft-identity`
18×	`add-exp-log`
13×	`add-cbrt-cube`
12×	`add-cube-cbrt`
10×	`unpow-prod-down`
9×	`pow-pow` `difference-of-squares`
7×	`exp-prod` `times-frac` `div-exp` `associate-/l*`
6×	`pow1` `pow-unpow` `add-log-exp`
5×	`sqr-pow`
4×	`cbrt-undiv` `prod-exp`
3×	`distribute-lft-out--`
2×	`pow-to-exp` `flip3--` `1-exp` `pow-exp` `flip--` `cbrt-unprod` `associate-/l/`
1×	`sub-neg` `frac-2neg` `diff-log` `div-sub` `associate-r/` `exp-sum` `clear-num` `associate-/r` `associate-/r/` `div-inv` `distribute-lft-out`

Counts

4 → 95

Calls

4 calls:

22.0ms	(/ (- (pow (exp a) eps) 1.0) (* 1 (/ (- (pow (exp (+ a b)) eps) 1.0) (+ b (+ (log 1) (* eps (* 1/2 (pow (log 1) 2))))))))
9.0ms	(- (pow (exp (+ a b)) eps) 1.0)
4.0ms	(pow (exp a) eps)
7.0ms	(pow (exp (+ a b)) eps)

series209.0ms

Counts

4 → 12

Calls

4 calls:

159.0ms	(/ (- (pow (exp a) eps) 1.0) (* 1 (/ (- (pow (exp (+ a b)) eps) 1.0) (+ b (+ (log 1) (* eps (* 1/2 (pow (log 1) 2))))))))
26.0ms	(- (pow (exp (+ a b)) eps) 1.0)
10.0ms	(pow (exp a) eps)
14.0ms	(pow (exp (+ a b)) eps)

simplify28.0ms

Algorithm

egg-herbie

Counts

107 → 107

Iterations

Useful iterations: 0 (17.0ms)

Iter	Nodes	Cost
0	5058	1950

prune219.0ms

Filtered

75 candidates to 107 candidates (-42.7%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	106	1	107
Fresh	3	3	6
Picked	0	1	1
Done	1	0	1
Total	110	5	115

Merged error: 16.2b

Counts

115 → 5

regimes335.0ms

Accuracy

55.4% (7.4b remaining)

Error of 24.3b against oracle of 16.8b and baseline of 33.5b

bsearch94.0ms

Steps

Iters	Range		Point
7	6.43616546702885e+37	8.168325630634152e+39	6.552259396862781e+37
3	-1781259355993167.8	-1285526889931175.5	-1440443285575548.2

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	52	55
1	52	55

end0.0ms

sample5.8s

Algorithm

intervals

Results

2.3s	2563×	body	2560	valid
1.8s	3421×	body	1280	valid
345.0ms	1070×	body	640	valid
291.0ms	729×	body	1280	overflowed
203.0ms	10079×	pre	80	true
104.0ms	368×	body	640	overflowed
92.0ms	159×	body	2560	overflowed
75.0ms	332×	body	320	valid
41.0ms	185×	body	320	overflowed
38.0ms	549×	body	80	overflowed
34.0ms	480×	body	80	valid
20.0ms	137×	body	160	valid
12.0ms	86×	body	160	overflowed

Details

sample191.0ms

simplify37.0ms

prune15.0ms

localize21.0ms

rewrite23.0ms

series47.0ms

simplify47.0ms

prune126.0ms

localize22.0ms

rewrite59.0ms

series800.0ms

simplify72.0ms

prune373.0ms

localize22.0ms

rewrite58.0ms

series796.0ms

simplify51.0ms

prune316.0ms

localize22.0ms

rewrite45.0ms

series209.0ms

simplify28.0ms

prune219.0ms

regimes335.0ms

bsearch94.0ms

simplify1.0ms

end0.0ms

sample5.8s

Profiling