Details

analyze328.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
12.5%	87.4%	0.1%	5
18.7%	68.7%	12.6%	6
28.1%	59.3%	12.6%	7
32.8%	48.4%	18.8%	8
38.2%	42.9%	18.8%	9
41%	37.1%	22%	10
43.9%	34.1%	22%	11
45.5%	31%	23.5%	12
46.9%	29.6%	23.5%	13
47.7%	28%	24.3%	14

sample58.0ms

Algorithm

intervals

Results

33.0ms	139×	body	5120	exit
7.0ms	204×	body	80	valid
2.0ms	22×	body	320	valid
2.0ms	10×	body	640	valid
1.0ms	20×	body	160	valid
0.0ms	2×	body	80	invalid

simplify58.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	4973	12
1	4973	12

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

Counts

2 → 2

localize8.0ms

Local error

Found 3 expressions with local error:

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

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

53×	`add-sqr-sqrt`
49×	`*-un-lft-identity`
39×	`times-frac`
23×	`add-cube-cbrt`
12×	`difference-of-squares`
9×	`associate-/l*`
7×	`associate-/r*` `add-cbrt-cube` `distribute-lft-out`
6×	`add-exp-log` `distribute-lft-out--`
5×	`add-log-exp`
3×	`pow1`
2×	`cbrt-undiv` `flip3--` `frac-2neg` `div-sub` `div-exp` `clear-num` `associate-/r/` `flip--` `div-inv` `associate-/l/`
1×	`sub-neg` `flip3-+` `diff-log` `flip-+` `associate--r-`

Counts

3 → 93

Calls

3 calls:

4.0ms	(/ x (exp wj))
10.0ms	(/ (- wj (/ x (exp wj))) (+ wj 1))
18.0ms	(- wj (/ (- wj (/ x (exp wj))) (+ wj 1)))

series27.0ms

Counts

3 → 9

Calls

3 calls:

7.0ms	(/ x (exp wj))
9.0ms	(/ (- wj (/ x (exp wj))) (+ wj 1))
10.0ms	(- wj (/ (- wj (/ x (exp wj))) (+ wj 1)))

simplify74.0ms

Algorithm

egg-herbie

Counts

102 → 102

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	4946	1415
1	4946	1415

prune118.0ms

Filtered

75 candidates to 102 candidates (-36.0%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	97	5	102
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	99	5	104

Merged error: 0.1b

Counts

104 → 5

localize8.0ms

Local error

Found 1 expressions with local error:

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

rewrite4.0ms

Algorithm

rewrite-expression-head

Rules

3×	`add-log-exp`
2×	`sub-neg` `associate-+r+`
1×	`pow1` `add-exp-log` `+-commutative` `distribute-rgt-in` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `distribute-lft-in` `flip3-+` `sum-log` `add-cbrt-cube` `flip-+`

Counts

1 → 13

Calls

1 calls:

3.0ms

(+ x (* wj (- wj (* x 2))))

series7.0ms

Counts

1 → 3

Calls

1 calls:

7.0ms

(+ x (* wj (- wj (* x 2))))

simplify24.0ms

Algorithm

egg-herbie

Counts

16 → 16

Iterations

Useful iterations: 0 (21.0ms)

Iter	Nodes	Cost
0	5418	191

prune34.0ms

Filtered

12 candidates to 16 candidates (-33.3%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	14	2	16
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	14	7	21

Merged error: 0.1b

Counts

21 → 7

localize10.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (+ x (* wj (- wj (* x 2))))) (cbrt (+ x (* wj (- wj (* x 2))))))
0.6b	(cbrt (+ x (* wj (- wj (* x 2)))))
0.6b	(cbrt (+ x (* wj (- wj (* x 2)))))
0.6b	(cbrt (+ x (* wj (- wj (* x 2)))))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
18×	`cbrt-div`
15×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow1`
9×	`flip3-+` `pow1/3` `flip-+`
6×	`add-exp-log` `swap-sqr` `associate-r` `associate-l`
4×	`frac-times` `add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`associate-r/` `pow-prod-down` `associate-l/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 87

Calls

4 calls:

9.0ms	(* (cbrt (+ x (* wj (- wj (* x 2))))) (cbrt (+ x (* wj (- wj (* x 2))))))
2.0ms	(cbrt (+ x (* wj (- wj (* x 2)))))
2.0ms	(cbrt (+ x (* wj (- wj (* x 2)))))
2.0ms	(cbrt (+ x (* wj (- wj (* x 2)))))

series169.0ms

Counts

4 → 12

Calls

4 calls:

49.0ms	(* (cbrt (+ x (* wj (- wj (* x 2))))) (cbrt (+ x (* wj (- wj (* x 2))))))
39.0ms	(cbrt (+ x (* wj (- wj (* x 2)))))
41.0ms	(cbrt (+ x (* wj (- wj (* x 2)))))
40.0ms	(cbrt (+ x (* wj (- wj (* x 2)))))

simplify77.0ms

Algorithm

egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	5123	1780

prune183.0ms

Filtered

65 candidates to 99 candidates (-52.3%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	97	2	99
Fresh	1	4	5
Picked	1	0	1
Done	0	1	1
Total	99	7	106

Merged error: 0.1b

Counts

106 → 7

localize9.0ms

Local error

Found 4 expressions with local error:

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

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

119×	`times-frac`
108×	`*-un-lft-identity`
75×	`add-sqr-sqrt`
70×	`add-cube-cbrt`
19×	`associate-/l*`
18×	`distribute-lft-out`
13×	`add-cbrt-cube`
11×	`add-exp-log` `associate-/r*`
8×	`div-inv`
6×	`add-log-exp`
5×	`cbrt-undiv` `div-exp`
4×	`pow1` `associate-/r/`
3×	`frac-2neg` `clear-num`
2×	`flip3-+` `flip-+` `difference-of-squares`
1×	`sub-neg` `flip3--` `diff-log` `flip--` `associate-/l/` `distribute-lft-out--`

Counts

4 → 160

Calls

4 calls:

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

series25.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(/ wj (+ wj 1))
8.0ms	(/ x (exp wj))
12.0ms	(/ (/ x (exp wj)) (+ wj 1))
3.0ms	(- wj (/ wj (+ wj 1)))

simplify63.0ms

Algorithm

egg-herbie

Counts

172 → 172

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	5045	2090

prune173.0ms

Filtered

127 candidates to 172 candidates (-35.4%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	170	2	172
Fresh	3	2	5
Picked	1	0	1
Done	0	1	1
Total	174	5	179

Merged error: 0.0b

Counts

179 → 5

regimes86.0ms

Accuracy

0% (1.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	20
1	19	20

end0.0ms

analyze321.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
12.5%	87.4%	0.1%	5
18.7%	68.7%	12.6%	6
28.1%	59.3%	12.6%	7
32.8%	48.4%	18.8%	8
38.2%	42.9%	18.8%	9
41%	37.1%	22%	10
43.9%	34.1%	22%	11
45.5%	31%	23.5%	12
46.9%	29.6%	23.5%	13
47.7%	28%	24.3%	14

sample1.5s

Algorithm

intervals

Results

844.0ms	3785×	body	5120	exit
225.0ms	6214×	body	80	valid
87.0ms	793×	body	320	valid
79.0ms	468×	body	640	valid
38.0ms	525×	body	160	valid
3.0ms	70×	body	80	invalid
0.0ms	13×	body	80	overflowed

Details

analyze328.0ms

sample58.0ms

simplify58.0ms

prune9.0ms

localize8.0ms

rewrite35.0ms

series27.0ms

simplify74.0ms

prune118.0ms

localize8.0ms

rewrite4.0ms

series7.0ms

simplify24.0ms

prune34.0ms

localize10.0ms

rewrite18.0ms

series169.0ms

simplify77.0ms

prune183.0ms

localize9.0ms

rewrite31.0ms

series25.0ms

simplify63.0ms

prune173.0ms

regimes86.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

analyze321.0ms

sample1.5s

Profiling