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
6.2%	93.6%	0.1%	6
15.6%	84.3%	0.1%	7
25%	74.9%	0.1%	8
37.4%	62.4%	0.1%	9
46.8%	53%	0.1%	10
55%	44.9%	0.1%	11
64.2%	35.7%	0.1%	12
70.3%	29.5%	0.1%	13
75.4%	24.4%	0.1%	14

sample35.0ms

Algorithm

intervals

Results

6.0ms	236×	body	80	valid
1.0ms	7×	body	1280	valid
0.0ms	5×	body	320	valid
0.0ms	3×	body	640	valid
0.0ms	4×	body	160	valid
0.0ms	1×	body	2560	valid

simplify5.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	148	9
1	148	9

prune10.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 0.1b

Counts

2 → 1

localize7.0ms

Local error

Found 1 expressions with local error:

0.1b	(+ x (+ (* (+ x y) 2) z))

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

1 → 14

Calls

1 calls:

7.0ms

(+ x (+ (* (+ x y) 2) z))

series6.0ms

Counts

1 → 3

Calls

1 calls:

6.0ms

(+ x (+ (* (+ x y) 2) z))

simplify39.0ms

Algorithm

egg-herbie

Counts

17 → 17

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	5080	204

prune29.0ms

Filtered

11 candidates to 17 candidates (-54.5%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	14	3	17
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	14	4	18

Merged error: 0.0b

Counts

18 → 4

localize9.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (+ x (* (+ x y) 2)) z)
0.1b	(+ x (* (+ x y) 2))

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-log-exp`
4×	`*-un-lft-identity` `sum-log`
2×	`pow1` `add-exp-log` `+-commutative` `add-sqr-sqrt` `add-cube-cbrt` `flip3-+` `add-cbrt-cube` `flip-+`
1×	`associate-+l+` `distribute-lft-out`

Counts

2 → 25

Calls

2 calls:

5.0ms	(+ (+ x (* (+ x y) 2)) z)
3.0ms	(+ x (* (+ x y) 2))

series11.0ms

Counts

2 → 6

Calls

2 calls:

6.0ms	(+ (+ x (* (+ x y) 2)) z)
5.0ms	(+ x (* (+ x y) 2))

simplify46.0ms

Algorithm

egg-herbie

Counts

31 → 31

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	5598	346

prune37.0ms

Filtered

20 candidates to 31 candidates (-55.0%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	29	2	31
Fresh	2	0	2
Picked	1	0	1
Done	0	1	1
Total	32	3	35

Merged error: 0.0b

Counts

35 → 3

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(sqrt (+ x (* (+ x y) 2)))
0.1b	(+ x (* (+ x y) 2))
0.1b	(+ x (* (+ x y) 2))
0.2b	(* (sqrt (+ x (* (+ x y) 2))) (sqrt (+ x (* (+ x y) 2))))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

26×	`add-sqr-sqrt`
21×	`sqrt-prod`
20×	`pow1`
14×	`sqrt-div`
13×	`add-cube-cbrt` `*-un-lft-identity`
9×	`sqrt-pow1` `flip3-+` `pow1/2` `flip-+`
8×	`swap-sqr` `add-log-exp`
6×	`add-exp-log` `associate-r` `associate-l` `add-cbrt-cube`
5×	`pow-prod-up`
4×	`frac-times` `unswap-sqr`
3×	`pow-prod-down` `pow-sqr`
2×	`+-commutative` `associate-r/` `associate-l/` `sum-log`
1×	`pow2` `rem-sqrt-square` `pow-plus` `sqrt-unprod` `prod-exp` `rem-square-sqrt` `*-commutative` `cbrt-unprod`

Counts

4 → 94

Calls

4 calls:

3.0ms	(sqrt (+ x (* (+ x y) 2)))
3.0ms	(+ x (* (+ x y) 2))
3.0ms	(+ x (* (+ x y) 2))
9.0ms	(* (sqrt (+ x (* (+ x y) 2))) (sqrt (+ x (* (+ x y) 2))))

series26.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(sqrt (+ x (* (+ x y) 2)))
5.0ms	(+ x (* (+ x y) 2))
5.0ms	(+ x (* (+ x y) 2))
8.0ms	(* (sqrt (+ x (* (+ x y) 2))) (sqrt (+ x (* (+ x y) 2))))

simplify60.0ms

Algorithm

egg-herbie

Counts

106 → 106

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	4945	1227
1	4945	1227

prune133.0ms

Filtered

68 candidates to 106 candidates (-55.9%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	105	1	106
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	105	4	109

Merged error: 0.0b

Counts

109 → 4

localize17.0ms

Local error

Found 4 expressions with local error:

0.1b	(+ x (* (+ x y) 2))
0.1b	(+ x (* 2 (+ x y)))
0.2b	(* (pow (sqrt (sqrt (+ x (* 2 (+ x y))))) 3) (sqrt (sqrt (+ x (* (+ x y) 2)))))
0.4b	(pow (sqrt (sqrt (+ x (* 2 (+ x y))))) 3)

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

87×	`sqrt-prod`
66×	`add-sqr-sqrt`
28×	`sqrt-div`
27×	`unpow-prod-down` `cube-prod`
24×	`associate-l` `unswap-sqr`
21×	`add-cube-cbrt` `*-un-lft-identity`
10×	`add-exp-log`
9×	`flip3-+` `associate-r` `flip-+`
8×	`cube-div` `add-log-exp`
7×	`pow1` `add-cbrt-cube`
5×	`pow-pow` `sqr-pow`
4×	`frac-times` `sqrt-pow1`
3×	`pow-unpow` `prod-exp`
2×	`+-commutative` `cube-mult` `pow-to-exp` `associate-+r+` `pow1/2` `unpow3` `associate-r/` `associate-l/` `pow-exp` `sum-log`
1×	`distribute-rgt-in` `distribute-lft-in` `*-commutative` `sqrt-pow2` `cbrt-unprod` `rem-cube-cbrt`

Counts

4 → 143

Calls

4 calls:

3.0ms	(+ x (* (+ x y) 2))
3.0ms	(+ x (* 2 (+ x y)))
16.0ms	(* (pow (sqrt (sqrt (+ x (* 2 (+ x y))))) 3) (sqrt (sqrt (+ x (* (+ x y) 2)))))
6.0ms	(pow (sqrt (sqrt (+ x (* 2 (+ x y))))) 3)

series56.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(+ x (* (+ x y) 2))
5.0ms	(+ x (* 2 (+ x y)))
8.0ms	(* (pow (sqrt (sqrt (+ x (* 2 (+ x y))))) 3) (sqrt (sqrt (+ x (* (+ x y) 2)))))
39.0ms	(pow (sqrt (sqrt (+ x (* 2 (+ x y))))) 3)

simplify63.0ms

Algorithm

egg-herbie

Counts

155 → 155

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	5391	2273

prune211.0ms

Filtered

80 candidates to 155 candidates (-93.8%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	154	1	155
Fresh	0	1	1
Picked	1	0	1
Done	0	2	2
Total	155	4	159

Merged error: 0.0b

Counts

159 → 4

regimes150.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	9
1	12	9

end0.0ms

sample956.0ms

Algorithm

intervals

Results

189.0ms	7428×	body	80	valid
26.0ms	205×	body	1280	valid
16.0ms	161×	body	640	valid
8.0ms	111×	body	320	valid
5.0ms	33×	body	2560	valid
3.0ms	62×	body	160	valid

Details

analyze338.0ms

sample35.0ms

simplify5.0ms

prune10.0ms

localize7.0ms

rewrite7.0ms

series6.0ms

simplify39.0ms

prune29.0ms

localize9.0ms

rewrite9.0ms

series11.0ms

simplify46.0ms

prune37.0ms

localize11.0ms

rewrite21.0ms

series26.0ms

simplify60.0ms

prune133.0ms

localize17.0ms

rewrite34.0ms

series56.0ms

simplify63.0ms

prune211.0ms

regimes150.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample956.0ms

Profiling