Details

analyze338.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
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
0%	81.1%	18.9%	7
6.2%	74.9%	18.9%	8
9.4%	65.5%	25.1%	9
15.6%	48.4%	36%	10
20.3%	43.1%	36.6%	11
22.6%	36%	41.4%	12
27.1%	25.1%	47.8%	13
29.5%	22.5%	48%	14

sample23.0ms

Algorithm

intervals

Results

9.0ms	256×	body	80	valid
2.0ms	62×	body	80	nan
1.0ms	34×	body	80	invalid

simplify3.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	20	10
1	20	10

prune3.0ms

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

Counts

2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

2.0b	(- (* y y) (* z z))
23.7b	(sqrt (- (* y y) (* z z)))

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

4×	`add-sqr-sqrt` `sqrt-prod` `add-log-exp`
3×	`pow1` `add-cube-cbrt` `*-un-lft-identity`
2×	`add-exp-log` `flip3--` `sqrt-div` `add-cbrt-cube` `flip--` `difference-of-squares`
1×	`sub-neg` `rem-sqrt-square` `sqrt-pow1` `pow1/2` `diff-log`

Counts

2 → 28

Calls

2 calls:

3.0ms	(- (* y y) (* z z))
3.0ms	(sqrt (- (* y y) (* z z)))

series12.0ms

Counts

2 → 6

Calls

2 calls:

6.0ms	(- (* y y) (* z z))
7.0ms	(sqrt (- (* y y) (* z z)))

simplify22.0ms

Algorithm

egg-herbie

Counts

34 → 34

Iterations

Useful iterations: 0 (18.0ms)

Iter	Nodes	Cost
0	5467	316

prune51.0ms

Filtered

27 candidates to 34 candidates (-25.9%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	31	3	34
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	31	4	35

Merged error: 0b

Counts

35 → 4

localize2.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify2.0ms

Algorithm

egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	0	0

prune6.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

	Kept	Total
New	0	0
Fresh	2	2
Picked	1	1
Done	1	1
Total	4	4

Merged error: 0b

Counts

4 → 4

localize3.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify2.0ms

Algorithm

egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	0	0

prune4.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	1	1
Done	2	2
Total	4	4

Merged error: 0b

Counts

4 → 4

localize16.0ms

Local error

Found 4 expressions with local error:

4.6b	(- (pow y 4) (pow z 4))
16.5b	(sqrt (- (pow y 4) (pow z 4)))
23.7b	(sqrt (+ (* y y) (* z z)))
23.8b	(/ (sqrt (- (pow y 4) (pow z 4))) (sqrt (+ (* y y) (* z z))))

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

169×	`sqrt-prod`
166×	`add-sqr-sqrt`
102×	`times-frac`
92×	`*-un-lft-identity`
81×	`difference-of-squares`
72×	`unpow-prod-down`
56×	`add-cube-cbrt`
54×	`sqr-pow`
18×	`distribute-lft-out--`
17×	`associate-/l*`
8×	`sqrt-div`
6×	`pow1` `add-exp-log` `associate-/r*` `add-cbrt-cube` `add-log-exp`
3×	`flip3--` `flip--`
2×	`rem-sqrt-square` `sqrt-pow1` `flip3-+` `pow1/2` `associate-/r/` `flip-+` `associate-/l/`
1×	`cbrt-undiv` `sub-neg` `sqrt-undiv` `frac-2neg` `diff-log` `div-exp` `clear-num` `div-inv`

Counts

4 → 205

Calls

4 calls:

6.0ms	(- (pow y 4) (pow z 4))
7.0ms	(sqrt (- (pow y 4) (pow z 4)))
3.0ms	(sqrt (+ (* y y) (* z z)))
15.0ms	(/ (sqrt (- (pow y 4) (pow z 4))) (sqrt (+ (* y y) (* z z))))

series38.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(- (pow y 4) (pow z 4))
13.0ms	(sqrt (- (pow y 4) (pow z 4)))
5.0ms	(sqrt (+ (* y y) (* z z)))
12.0ms	(/ (sqrt (- (pow y 4) (pow z 4))) (sqrt (+ (* y y) (* z z))))

simplify76.0ms

Algorithm

egg-herbie

Counts

217 → 217

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	4976	4970
1	4976	4970

prune252.0ms

Filtered

112 candidates to 217 candidates (-93.8%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	217	0	217
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	217	4	221

Merged error: 0b

Counts

221 → 4

regimes475.0ms

Accuracy

98% (0.5b remaining)

Error of 0.7b against oracle of 0.2b and baseline of 24.5b

bsearch152.0ms

Steps

Iters	Range		Point
10	-1.7529428183493066e-261	-3.0251669018534007e-273	-3.0604479858886956e-273

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	11
1	14	11

end0.0ms

analyze335.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
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
0%	81.1%	18.9%	7
6.2%	74.9%	18.9%	8
9.4%	65.5%	25.1%	9
15.6%	48.4%	36%	10
20.3%	43.1%	36.6%	11
22.6%	36%	41.4%	12
27.1%	25.1%	47.8%	13
29.5%	22.5%	48%	14

sample566.0ms

Algorithm

intervals

Results

283.0ms	8000×	body	80	valid
62.0ms	1861×	body	80	nan
24.0ms	695×	body	80	invalid

Details

analyze338.0ms

sample23.0ms

simplify3.0ms

prune3.0ms

localize7.0ms

rewrite7.0ms

series12.0ms

simplify22.0ms

prune51.0ms

localize2.0ms

rewrite0.0ms

series0.0ms

simplify2.0ms

prune6.0ms

localize3.0ms

rewrite0.0ms

series0.0ms

simplify2.0ms

prune4.0ms

localize16.0ms

rewrite41.0ms

series38.0ms

simplify76.0ms

prune252.0ms

regimes475.0ms

bsearch152.0ms

simplify1.0ms

end0.0ms

analyze335.0ms

sample566.0ms

Profiling