Details

sample339.0ms

Algorithm

intervals

Results

91.0ms	93×	body	2560	valid
60.0ms	112×	body	1280	valid
14.0ms	342×	pre	80	true
13.0ms	29×	body	1280	overflowed
8.0ms	26×	body	640	valid
5.0ms	19×	body	640	overflowed
3.0ms	6×	body	2560	overflowed
3.0ms	12×	body	320	valid
2.0ms	10×	body	320	overflowed
1.0ms	19×	body	80	overflowed
1.0ms	5×	body	160	valid
1.0ms	8×	body	80	valid
0.0ms	3×	body	160	overflowed

simplify97.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	40	13
1	101	13
2	245	13
3	697	13
4	3463	13
5	5001	13

prune4.0ms

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

Counts

2 → 1

localize16.0ms

Local error

Found 4 expressions with local error:

0.5b	(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0)))
1.9b	(- (exp (* b eps)) 1.0)
3.9b	(- (exp (* a eps)) 1.0)
4.5b	(- (exp (* (+ a b) eps)) 1.0)

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-exp-log` `add-cbrt-cube`
10×	`add-sqr-sqrt` `flip3--` `*-un-lft-identity` `flip--` `add-log-exp`
8×	`associate-/r/`
4×	`pow1` `cbrt-undiv` `frac-times` `add-cube-cbrt` `associate-*r/` `div-exp` `prod-exp` `cbrt-unprod`
3×	`sub-neg` `diff-log` `distribute-lft-out--` `difference-of-squares`
2×	`associate-*l/` `associate-/l/`
1×	`frac-2neg` `times-frac` `clear-num` `associate-/r` `div-inv` `associate-/l`

Counts

4 → 73

Calls

4 calls:

15.0ms	(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0)))
3.0ms	(- (exp (* b eps)) 1.0)
3.0ms	(- (exp (* a eps)) 1.0)
4.0ms	(- (exp (* (+ a b) eps)) 1.0)

series89.0ms

Counts

4 → 12

Calls

4 calls:

59.0ms	(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0)))
7.0ms	(- (exp (* b eps)) 1.0)
7.0ms	(- (exp (* a eps)) 1.0)
16.0ms	(- (exp (* (+ a b) eps)) 1.0)

simplify59.0ms

Algorithm

egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 2 (48.0ms)

Iter	Nodes	Cost
0	488	957
1	2299	794
2	5001	789

prune155.0ms

Filtered

85 candidates to 63 candidates (25.9%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	79	6	85
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	80	6	86

Merged error: 0.1b

Counts

86 → 6

localize6.0ms

Local error

Found 1 expressions with local error:

0.0b	(+ (/ 1 b) (/ 1 a))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

13×	`*-un-lft-identity`
7×	`distribute-lft-out`
6×	`times-frac`
4×	`div-inv`
3×	`add-sqr-sqrt` `add-cube-cbrt` `add-log-exp`
1×	`pow1` `add-exp-log` `+-commutative` `flip3-+` `frac-add` `sum-log` `add-cbrt-cube` `flip-+`

Counts

1 → 19

Calls

1 calls:

11.0ms

(+ (/ 1 b) (/ 1 a))

series3.0ms

Counts

1 → 3

Calls

1 calls:

2.0ms

(+ (/ 1 b) (/ 1 a))

simplify66.0ms

Algorithm

egg-herbie

Counts

22 → 22

Iterations

Useful iterations: 3 (27.0ms)

Iter	Nodes	Cost
0	101	104
1	345	94
2	1153	91
3	2755	90
4	5001	90

prune46.0ms

Filtered

22 candidates to 14 candidates (36.4%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	19	3	22
Fresh	2	3	5
Picked	0	1	1
Done	0	0	0
Total	21	7	28

Merged error: 0.1b

Counts

28 → 7

localize9.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (+ (/ 1 b) (/ 1 a)))
0.5b	(cbrt (+ (/ 1 b) (/ 1 a)))
0.5b	(cbrt (+ (/ 1 b) (/ 1 a)))
0.5b	(* (cbrt (+ (/ 1 b) (/ 1 a))) (cbrt (+ (/ 1 b) (/ 1 a))))

rewrite70.0ms

Algorithm

rewrite-expression-head

Rules

139×	`*-un-lft-identity`
114×	`cbrt-prod`
81×	`distribute-lft-out`
60×	`div-inv`
42×	`times-frac`
37×	`add-sqr-sqrt`
33×	`cbrt-div` `swap-sqr`
29×	`add-cube-cbrt`
13×	`associate-r` `associate-l`
11×	`pow1` `flip3-+` `frac-add` `flip-+`
9×	`frac-times` `pow1/3`
6×	`add-exp-log`
4×	`add-cbrt-cube` `add-log-exp` `unswap-sqr`
3×	`associate-r/` `associate-l/`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 159

Calls

4 calls:

11.0ms	(cbrt (+ (/ 1 b) (/ 1 a)))
13.0ms	(cbrt (+ (/ 1 b) (/ 1 a)))
11.0ms	(cbrt (+ (/ 1 b) (/ 1 a)))
28.0ms	(* (cbrt (+ (/ 1 b) (/ 1 a))) (cbrt (+ (/ 1 b) (/ 1 a))))

series89.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(cbrt (+ (/ 1 b) (/ 1 a)))
23.0ms	(cbrt (+ (/ 1 b) (/ 1 a)))
20.0ms	(cbrt (+ (/ 1 b) (/ 1 a)))
25.0ms	(* (cbrt (+ (/ 1 b) (/ 1 a))) (cbrt (+ (/ 1 b) (/ 1 a))))

simplify60.0ms

Algorithm

egg-herbie

Counts

171 → 171

Iterations

Useful iterations: 2 (41.0ms)

Iter	Nodes	Cost
0	442	1931
1	1543	1682
2	5001	1499

prune282.0ms

Filtered

171 candidates to 87 candidates (49.1%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	170	1	171
Fresh	1	4	5
Picked	0	1	1
Done	0	1	1
Total	171	7	178

Merged error: 0.1b

Counts

178 → 7

localize4.0ms

Local error

Found 1 expressions with local error:

13.7b

(/ (+ b a) (* b a))

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

7×	`*-un-lft-identity`
6×	`add-exp-log` `add-cbrt-cube`
4×	`times-frac` `associate-/l*`
3×	`add-sqr-sqrt` `add-cube-cbrt`
2×	`cbrt-undiv` `div-exp` `associate-/l/` `distribute-lft-out`
1×	`pow1` `frac-2neg` `flip3-+` `prod-exp` `clear-num` `associate-/r*` `cbrt-unprod` `flip-+` `div-inv` `add-log-exp`

Counts

1 → 25

Calls

1 calls:

6.0ms

(/ (+ b a) (* b a))

series6.0ms

Counts

1 → 3

Calls

1 calls:

6.0ms

(/ (+ b a) (* b a))

simplify47.0ms

Algorithm

egg-herbie

Counts

28 → 28

Iterations

Useful iterations: 1 (5.0ms)

Iter	Nodes	Cost
0	145	134
1	519	113
2	2023	113
3	5001	113

prune24.0ms

Filtered

28 candidates to 19 candidates (32.1%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	28	0	28
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	28	7	35

Merged error: 0.1b

Counts

35 → 7

regimes198.0ms

Accuracy

0% (2.2b remaining)

Error of 2.4b against oracle of 0.3b and baseline of 2.4b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	9	3
1	9	3

end0.0ms

sample6.5s

Algorithm

intervals

Results

2.6s	2704×	body	2560	valid
1.9s	3568×	body	1280	valid
408.0ms	992×	body	1280	overflowed
318.0ms	962×	body	640	valid
225.0ms	10816×	pre	80	true
156.0ms	541×	body	640	overflowed
141.0ms	223×	body	2560	overflowed
81.0ms	342×	body	320	valid
52.0ms	257×	body	320	overflowed
47.0ms	673×	body	80	overflowed
23.0ms	326×	body	80	valid
17.0ms	128×	body	160	overflowed
17.0ms	100×	body	160	valid

Details

sample339.0ms

simplify97.0ms

prune4.0ms

localize16.0ms

rewrite28.0ms

series89.0ms

simplify59.0ms

prune155.0ms

localize6.0ms

rewrite11.0ms

series3.0ms

simplify66.0ms

prune46.0ms

localize9.0ms

rewrite70.0ms

series89.0ms

simplify60.0ms

prune282.0ms

localize4.0ms

rewrite7.0ms

series6.0ms

simplify47.0ms

prune24.0ms

regimes198.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample6.5s

Profiling