Details

analyze335.0ms

Algorithm: search

sample56.0ms

Algorithm

intervals

Results

30.0ms	135×	body	5120	exit
7.0ms	198×	body	80	valid
3.0ms	27×	body	320	valid
2.0ms	14×	body	640	valid
1.0ms	17×	body	160	valid
0.0ms	2×	body	80	invalid

simplify48.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 3 (6.0ms)

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

prune11.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: 13.0b

Counts

2 → 2

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ x (+ wj 1))
0.0b	(/ wj (+ wj 1))
0.1b	(/ (/ x (+ wj 1)) (exp wj))
3.7b	(- (+ (/ (/ x (+ wj 1)) (exp wj)) wj) (/ wj (+ wj 1)))

rewrite56.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))
5.0ms	(/ wj (+ wj 1))
9.0ms	(/ (/ x (+ wj 1)) (exp wj))
28.0ms	(- (+ (/ (/ x (+ wj 1)) (exp wj)) wj) (/ wj (+ wj 1)))

series33.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify78.0ms

Algorithm

egg-herbie

Counts

188 → 188

Iterations

Useful iterations: 2 (62.0ms)

Iter	Nodes	Cost
0	721	1524
1	3303	1471
2	5002	1469

prune266.0ms

Filtered

138 candidates to 188 candidates (-36.2%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	181	7	188
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	183	7	190

Merged error: 0.4b

Counts

190 → 7

localize7.0ms

Local error

Found 2 expressions with local error:

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

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

7×	`pow1` `add-exp-log` `add-cbrt-cube`
5×	`*-un-lft-identity`
4×	`add-log-exp`
3×	`add-sqr-sqrt` `add-cube-cbrt` `associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod`
1×	`+-commutative` `flip3-+` `associate-r` `sum-log` `*-commutative` `flip-+` `distribute-lft-out`

Counts

2 → 30

Calls

2 calls:

4.0ms	(+ x (pow wj 2))
5.0ms	(* 2 (* wj x))

series9.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify66.0ms

Algorithm

egg-herbie

Counts

36 → 36

Iterations

Useful iterations: 2 (16.0ms)

Iter	Nodes	Cost
0	149	122
1	550	108
2	2362	107
3	5001	107

prune72.0ms

Filtered

21 candidates to 36 candidates (-71.4%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	32	4	36
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	32	11	43

Merged error: 0.4b

Counts

43 → 11

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (/ x (- (* wj wj) 1)) (/ (- wj 1) (exp wj)))
0.0b	(/ (- wj 1) (exp wj))
0.0b	(/ wj (+ wj 1))
3.7b	(- (+ (* (/ x (- (* wj wj) 1)) (/ (- wj 1) (exp wj))) wj) (/ wj (+ wj 1)))

rewrite60.0ms

Algorithm

rewrite-expression-head

Rules

94×	`add-sqr-sqrt`
80×	`*-un-lft-identity`
77×	`times-frac`
46×	`add-cube-cbrt`
25×	`associate-r`
24×	`associate-l`
22×	`difference-of-squares`
20×	`add-cbrt-cube`
17×	`add-exp-log`
10×	`difference-of-sqr-1` `associate-/l*`
9×	`add-log-exp`
8×	`distribute-lft-out--`
7×	`associate-/r*`
6×	`pow1` `cbrt-undiv` `div-exp`
4×	`prod-exp` `associate-/r/` `cbrt-unprod` `div-inv` `distribute-lft-out` `unswap-sqr`
3×	`flip3--` `flip--`
2×	`frac-2neg` `flip3-+` `diff-log` `clear-num` `frac-sub` `flip-+` `associate-/l/`
1×	`frac-times` `sub-neg` `div-sub` `associate-r/` `pow-prod-down` `associate-l/` `associate--l+` `sum-log` `*-commutative`

Counts

4 → 171

Calls

4 calls:

22.0ms	(* (/ x (- (* wj wj) 1)) (/ (- wj 1) (exp wj)))
7.0ms	(/ (- wj 1) (exp wj))
5.0ms	(/ wj (+ wj 1))
20.0ms	(- (+ (* (/ x (- (* wj wj) 1)) (/ (- wj 1) (exp wj))) wj) (/ wj (+ wj 1)))

series63.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(* (/ x (- (* wj wj) 1)) (/ (- wj 1) (exp wj)))
7.0ms	(/ (- wj 1) (exp wj))
2.0ms	(/ wj (+ wj 1))
36.0ms	(- (+ (* (/ x (- (* wj wj) 1)) (/ (- wj 1) (exp wj))) wj) (/ wj (+ wj 1)))

simplify105.0ms

Algorithm

egg-herbie

Counts

183 → 183

Iterations

Useful iterations: 1 (23.0ms)

Iter	Nodes	Cost
0	844	1620
1	4531	1505
2	5001	1505

prune242.0ms

Filtered

127 candidates to 183 candidates (-44.1%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	183	0	183
Fresh	0	9	9
Picked	0	1	1
Done	0	1	1
Total	183	11	194

Merged error: 0.4b

Counts

194 → 11

localize15.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (- (+ (/ (/ x (+ wj 1)) (exp wj)) wj) (/ wj (+ wj 1))))
3.7b	(- (+ (/ (/ x (+ wj 1)) (exp wj)) wj) (/ wj (+ wj 1)))
3.7b	(- (+ (/ (/ x (+ wj 1)) (exp wj)) wj) (/ wj (+ wj 1)))
3.7b	(- (+ (/ (/ x (+ wj 1)) (exp wj)) wj) (/ wj (+ wj 1)))

rewrite122.0ms

Algorithm

rewrite-expression-head

Rules

25×	`add-sqr-sqrt` `*-un-lft-identity`
19×	`add-log-exp`
8×	`frac-sub` `distribute-lft-out--` `difference-of-squares`
7×	`cbrt-prod`
6×	`diff-log`
5×	`add-cube-cbrt`
4×	`pow1` `add-exp-log` `cbrt-div` `flip3--` `flip3-+` `times-frac` `add-cbrt-cube` `flip--` `flip-+` `distribute-lft-out`
3×	`sub-neg` `associate--l+` `sum-log`
1×	`pow1/3`

Counts

4 → 79

Calls

4 calls:

30.0ms	(cbrt (- (+ (/ (/ x (+ wj 1)) (exp wj)) wj) (/ wj (+ wj 1))))
29.0ms	(- (+ (/ (/ x (+ wj 1)) (exp wj)) wj) (/ wj (+ wj 1)))
30.0ms	(- (+ (/ (/ x (+ wj 1)) (exp wj)) wj) (/ wj (+ wj 1)))
31.0ms	(- (+ (/ (/ x (+ wj 1)) (exp wj)) wj) (/ wj (+ wj 1)))

series80.0ms

Counts

4 → 12

Calls

4 calls:

37.0ms	(cbrt (- (+ (/ (/ x (+ wj 1)) (exp wj)) wj) (/ wj (+ wj 1))))
14.0ms	(- (+ (/ (/ x (+ wj 1)) (exp wj)) wj) (/ wj (+ wj 1)))
14.0ms	(- (+ (/ (/ x (+ wj 1)) (exp wj)) wj) (/ wj (+ wj 1)))
14.0ms	(- (+ (/ (/ x (+ wj 1)) (exp wj)) wj) (/ wj (+ wj 1)))

simplify43.0ms

Algorithm

egg-herbie

Counts

91 → 91

Iterations

Useful iterations: 2 (29.0ms)

Iter	Nodes	Cost
0	371	1438
1	1115	1366
2	5001	1327

prune235.0ms

Filtered

70 candidates to 91 candidates (-30.0%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	89	2	91
Fresh	1	7	8
Picked	1	0	1
Done	0	2	2
Total	91	11	102

Merged error: 0.4b

Counts

102 → 11

regimes158.0ms

Accuracy

66.7% (0.6b remaining)

Error of 0.9b against oracle of 0.3b and baseline of 2.0b

bsearch16.0ms

Steps

Iters	Range		Point
4	1.288041754191043e-10	1.9158217489964554e-10	1.896203624158786e-10

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	31	16
1	31	16

end0.0ms

analyze325.0ms

Algorithm: search

sample1.5s

Algorithm

intervals

Results

850.0ms	3785×	body	5120	exit
237.0ms	6240×	body	80	valid
93.0ms	778×	body	320	valid
77.0ms	441×	body	640	valid
43.0ms	541×	body	160	valid
4.0ms	82×	body	80	invalid
0.0ms	12×	body	80	overflowed

Details

analyze335.0ms

sample56.0ms

simplify48.0ms

prune11.0ms

localize9.0ms

rewrite56.0ms

series33.0ms

simplify78.0ms

prune266.0ms

localize7.0ms

rewrite9.0ms

series9.0ms

simplify66.0ms

prune72.0ms

localize15.0ms

rewrite60.0ms

series63.0ms

simplify105.0ms

prune242.0ms

localize15.0ms

rewrite122.0ms

series80.0ms

simplify43.0ms

prune235.0ms

regimes158.0ms

bsearch16.0ms

simplify1.0ms

end0.0ms

analyze325.0ms

sample1.5s

Profiling