Details

sample101.0ms

Algorithm

intervals

Results

58.0ms	261×	body	5120	exit
8.0ms	215×	body	80	valid
6.0ms	179×	body	80	overflowed
3.0ms	16×	body	640	valid
2.0ms	17×	body	320	valid
1.0ms	15×	body	160	valid

simplify47.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 3 (7.0ms)

Iter	Nodes	Cost
0	20	9
1	48	9
2	107	9
3	224	8
4	1514	8
5	5002	8

prune9.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: 11.2b

Counts

2 → 2

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ x (+ wj 1))
0.0b	(/ (/ x (+ wj 1)) (exp wj))
0.0b	(/ wj (+ wj 1))
3.9b	(- (+ (/ (/ x (+ wj 1)) (exp wj)) wj) (/ wj (+ wj 1)))

rewrite57.0ms

Algorithm

rewrite-expression-head

Rules

127×	`times-frac`
118×	`*-un-lft-identity`
78×	`add-sqr-sqrt`
73×	`add-cube-cbrt`
24×	`associate-/l*`
21×	`distribute-lft-out`
13×	`add-cbrt-cube`
12×	`associate-/r/`
11×	`add-exp-log` `associate-/r*`
9×	`add-log-exp`
7×	`flip3-+` `flip-+` `div-inv`
5×	`cbrt-undiv` `div-exp`
4×	`pow1`
3×	`frac-2neg` `clear-num`
2×	`diff-log` `frac-sub` `distribute-lft-out--` `difference-of-squares`
1×	`sub-neg` `flip3--` `associate--l+` `sum-log` `flip--` `associate-/l/`

Counts

4 → 176

Calls

4 calls:

5.0ms	(/ x (+ wj 1))
9.0ms	(/ (/ x (+ wj 1)) (exp wj))
5.0ms	(/ wj (+ wj 1))
31.0ms	(- (+ (/ (/ x (+ wj 1)) (exp wj)) wj) (/ wj (+ wj 1)))

series34.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(/ x (+ wj 1))
11.0ms	(/ (/ x (+ wj 1)) (exp wj))
2.0ms	(/ wj (+ wj 1))
15.0ms	(- (+ (/ (/ x (+ wj 1)) (exp wj)) wj) (/ wj (+ wj 1)))

simplify81.0ms

Algorithm

egg-herbie

Counts

188 → 188

Iterations

Useful iterations: 1 (18.0ms)

Iter	Nodes	Cost
0	721	1524
1	3303	1471
2	5001	1471

prune253.0ms

Filtered

188 candidates to 138 candidates (26.6%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	183	5	188
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	185	5	190

Merged error: 0.2b

Counts

190 → 5

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ x (pow wj 2))
0.0b	(- (+ x (pow wj 2)) (* 2 (* wj x)))
0.0b	(* 2 (* wj x))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-log-exp`
8×	`pow1` `add-exp-log` `add-cbrt-cube`
6×	`*-un-lft-identity`
4×	`add-sqr-sqrt` `add-cube-cbrt`
3×	`associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`diff-log` `sum-log`
1×	`+-commutative` `sub-neg` `flip3--` `flip3-+` `associate-r` `associate--l+` `*-commutative` `flip--` `flip-+` `distribute-lft-out`

Counts

3 → 44

Calls

3 calls:

4.0ms	(+ x (pow wj 2))
7.0ms	(- (+ x (pow wj 2)) (* 2 (* wj x)))
4.0ms	(* 2 (* wj x))

series16.0ms

Counts

3 → 9

Calls

3 calls:

6.0ms	(+ x (pow wj 2))
7.0ms	(- (+ x (pow wj 2)) (* 2 (* wj x)))
3.0ms	(* 2 (* wj x))

simplify127.0ms

Algorithm

egg-herbie

Counts

53 → 53

Iterations

Useful iterations: 2 (26.0ms)

Iter	Nodes	Cost
0	202	245
1	793	228
2	4232	225
3	5001	225

prune70.0ms

Filtered

53 candidates to 32 candidates (39.6%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	52	1	53
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	52	6	58

Merged error: 0.2b

Counts

58 → 6

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ x (+ wj 1))
0.0b	(/ (/ x (+ wj 1)) (exp wj))
0.0b	(/ wj (+ wj 1))
5.1b	(- wj (/ wj (+ wj 1)))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

127×	`times-frac`
115×	`*-un-lft-identity`
78×	`add-sqr-sqrt`
73×	`add-cube-cbrt`
24×	`associate-/l*`
20×	`distribute-lft-out`
13×	`add-cbrt-cube`
12×	`associate-/r/`
11×	`add-exp-log` `associate-/r*`
7×	`div-inv`
6×	`flip3-+` `flip-+` `add-log-exp`
5×	`cbrt-undiv` `div-exp`
4×	`pow1`
3×	`frac-2neg` `clear-num`
2×	`difference-of-squares`
1×	`sub-neg` `flip3--` `diff-log` `flip--` `associate-/l/` `distribute-lft-out--`

Counts

4 → 171

Calls

4 calls:

5.0ms	(/ x (+ wj 1))
9.0ms	(/ (/ x (+ wj 1)) (exp wj))
5.0ms	(/ wj (+ wj 1))
8.0ms	(- wj (/ wj (+ wj 1)))

series22.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(/ x (+ wj 1))
11.0ms	(/ (/ x (+ wj 1)) (exp wj))
2.0ms	(/ wj (+ wj 1))
3.0ms	(- wj (/ wj (+ wj 1)))

simplify72.0ms

Algorithm

egg-herbie

Counts

183 → 183

Iterations

Useful iterations: 2 (54.0ms)

Iter	Nodes	Cost
0	634	1321
1	2844	1269
2	5002	1267

prune221.0ms

Filtered

183 candidates to 135 candidates (26.2%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	181	2	183
Fresh	3	1	4
Picked	1	0	1
Done	0	1	1
Total	185	4	189

Merged error: 0.0b

Counts

189 → 4

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ x (+ wj 1))
0.0b	(+ (/ (/ x (+ wj 1)) (exp wj)) (- (+ (pow wj 4) (pow wj 2)) (pow wj 3)))
0.0b	(/ (/ x (+ wj 1)) (exp wj))
0.0b	(- (+ (pow wj 4) (pow wj 2)) (pow wj 3))

rewrite76.0ms

Algorithm

rewrite-expression-head

Rules

114×	`times-frac`
110×	`*-un-lft-identity`
71×	`add-sqr-sqrt`
64×	`add-cube-cbrt`
21×	`distribute-lft-out` `associate-/l*`
18×	`add-log-exp`
11×	`add-cbrt-cube`
10×	`associate-/r/`
9×	`add-exp-log`
7×	`associate-/r*`
6×	`flip3-+` `flip-+` `div-inv`
5×	`sum-log`
4×	`pow1` `cbrt-undiv` `diff-log` `div-exp` `distribute-lft-out--` `difference-of-squares`
3×	`associate-+r+`
2×	`sub-neg` `flip3--` `frac-2neg` `frac-add` `associate--l+` `clear-num` `flip--`
1×	`+-commutative` `associate-+r-` `unpow-prod-down` `cube-prod` `associate-/l/` `sqr-pow`

Counts

4 → 165

Calls

4 calls:

5.0ms	(/ x (+ wj 1))
44.0ms	(+ (/ (/ x (+ wj 1)) (exp wj)) (- (+ (pow wj 4) (pow wj 2)) (pow wj 3)))
9.0ms	(/ (/ x (+ wj 1)) (exp wj))
11.0ms	(- (+ (pow wj 4) (pow wj 2)) (pow wj 3))

series44.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(/ x (+ wj 1))
22.0ms	(+ (/ (/ x (+ wj 1)) (exp wj)) (- (+ (pow wj 4) (pow wj 2)) (pow wj 3)))
12.0ms	(/ (/ x (+ wj 1)) (exp wj))
4.0ms	(- (+ (pow wj 4) (pow wj 2)) (pow wj 3))

simplify83.0ms

Algorithm

egg-herbie

Counts

177 → 177

Iterations

Useful iterations: 2 (63.0ms)

Iter	Nodes	Cost
0	711	1588
1	3215	1534
2	5002	1532

prune318.0ms

Filtered

177 candidates to 125 candidates (29.4%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	176	1	177
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	176	5	181

Merged error: 0.0b

Counts

181 → 5

regimes94.0ms

Accuracy

0% (1.3b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	21	10
1	21	10

end0.0ms

sample2.8s

Algorithm

intervals

Results

1.7s	7657×	body	5120	exit
240.0ms	6408×	body	80	valid
170.0ms	4958×	body	80	overflowed
83.0ms	764×	body	320	valid
73.0ms	449×	body	640	valid
40.0ms	527×	body	160	valid

Details

sample101.0ms

simplify47.0ms

prune9.0ms

localize9.0ms

rewrite57.0ms

series34.0ms

simplify81.0ms

prune253.0ms

localize7.0ms

rewrite16.0ms

series16.0ms

simplify127.0ms

prune70.0ms

localize11.0ms

rewrite33.0ms

series22.0ms

simplify72.0ms

prune221.0ms

localize14.0ms

rewrite76.0ms

series44.0ms

simplify83.0ms

prune318.0ms

regimes94.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample2.8s

Profiling