Details

analyze55.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
25%	74.9%	0.1%	5
25%	50%	25.1%	6
25%	31.2%	43.8%	7
31.2%	25%	43.8%	8
39%	17.2%	43.8%	9
42.9%	13.3%	43.8%	10
47.2%	9%	43.8%	11
49.4%	6.8%	43.8%	12
51.6%	4.6%	43.8%	13
52.7%	3.5%	43.8%	14

sample11.0ms

Algorithm

intervals

Results

5.0ms

256×

body

valid

simplify3.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	6	7

prune2.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: 0.0b

Counts

2 → 1

localize4.0ms

Local error

Found 1 expressions with local error:

0.0b	(+ (* x x) (* y y))

rewrite4.0ms

Algorithm

rewrite-expression-head

Rules

3×	`add-log-exp`
1×	`pow1` `add-exp-log` `+-commutative` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `flip3-+` `sum-log` `add-cbrt-cube` `flip-+`

Counts

1 → 11

Calls

1 calls:

4.0ms

(+ (* x x) (* y y))

series5.0ms

Counts

1 → 3

Calls

1 calls:

5.0ms

(+ (* x x) (* y y))

simplify22.0ms

Algorithm

egg-herbie

Counts

14 → 14

Iterations

Useful iterations: 0 (19.0ms)

Iter	Nodes	Cost
0	5532	131

prune18.0ms

Filtered

10 candidates to 14 candidates (-40.0%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	13	1	14
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	13	2	15

Merged error: 0.0b

Counts

15 → 2

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (* x x) (* y y))
1.8b	(- (pow x 4) (pow y 4))
27.7b	(/ (- (pow x 4) (pow y 4)) (- (* x x) (* y y)))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

95×	`add-sqr-sqrt`
70×	`difference-of-squares`
56×	`times-frac`
48×	`unpow-prod-down`
47×	`*-un-lft-identity`
36×	`sqr-pow`
23×	`add-cube-cbrt`
14×	`associate-/l*`
12×	`distribute-lft-out--`
7×	`add-log-exp`
5×	`add-exp-log` `add-cbrt-cube`
4×	`flip3--` `associate-/r*` `flip--`
3×	`pow1`
2×	`sub-neg` `diff-log` `associate-/r/` `associate-/l/`
1×	`cbrt-undiv` `frac-2neg` `div-sub` `div-exp` `clear-num` `div-inv`

Counts

3 → 125

Calls

3 calls:

3.0ms	(- (* x x) (* y y))
7.0ms	(- (pow x 4) (pow y 4))
16.0ms	(/ (- (pow x 4) (pow y 4)) (- (* x x) (* y y)))

series27.0ms

Counts

3 → 9

Calls

3 calls:

5.0ms	(- (* x x) (* y y))
8.0ms	(- (pow x 4) (pow y 4))
14.0ms	(/ (- (pow x 4) (pow y 4)) (- (* x x) (* y y)))

simplify53.0ms

Algorithm

egg-herbie

Counts

134 → 134

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	5679	2425

prune158.0ms

Filtered

84 candidates to 134 candidates (-59.5%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	133	1	134
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	133	3	136

Merged error: 0b

Counts

136 → 3

localize12.0ms

Local error

Found 4 expressions with local error:

6.0b	(/ (- (* x x) (sqrt (pow y 4))) (- x y))
6.0b	(/ (+ (* x x) (sqrt (pow y 4))) (+ x y))
18.8b	(sqrt (pow y 4))
18.8b	(sqrt (pow y 4))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

69×	`add-sqr-sqrt`
55×	`*-un-lft-identity`
47×	`times-frac`
32×	`sqrt-prod` `difference-of-squares`
31×	`add-cube-cbrt`
14×	`unpow-prod-down`
10×	`associate-/l*` `sqr-pow`
9×	`associate-/r*`
8×	`add-exp-log` `add-cbrt-cube` `distribute-lft-out--`
6×	`rem-sqrt-square`
4×	`pow1` `associate-/r/` `associate-/l/` `distribute-lft-out` `add-log-exp`
2×	`cbrt-undiv` `flip3--` `frac-2neg` `sqrt-pow1` `flip3-+` `pow1/2` `div-exp` `clear-num` `flip--` `flip-+` `div-inv`
1×	`div-sub`

Counts

4 → 137

Calls

4 calls:

13.0ms	(/ (- (* x x) (sqrt (pow y 4))) (- x y))
9.0ms	(/ (+ (* x x) (sqrt (pow y 4))) (+ x y))
2.0ms	(sqrt (pow y 4))
2.0ms	(sqrt (pow y 4))

series22.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(/ (- (* x x) (sqrt (pow y 4))) (- x y))
9.0ms	(/ (+ (* x x) (sqrt (pow y 4))) (+ x y))
2.0ms	(sqrt (pow y 4))
2.0ms	(sqrt (pow y 4))

simplify40.0ms

Algorithm

egg-herbie

Counts

149 → 149

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	5088	2036

prune250.0ms

Filtered

105 candidates to 149 candidates (-41.9%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	149	0	149
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	149	3	152

Merged error: 0b

Counts

152 → 3

regimes170.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	6	7

end0.0ms

sample286.0ms

Algorithm

intervals

Results

172.0ms	8000×	body	80	valid
0.0ms	3×	body	80	invalid

Details

analyze55.0ms

sample11.0ms

simplify3.0ms

prune2.0ms

localize4.0ms

rewrite4.0ms

series5.0ms

simplify22.0ms

prune18.0ms

localize10.0ms

rewrite32.0ms

series27.0ms

simplify53.0ms

prune158.0ms

localize12.0ms

rewrite32.0ms

series22.0ms

simplify40.0ms

prune250.0ms

regimes170.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample286.0ms

Profiling