Details

sample14.0ms

Algorithm

intervals

Results

6.0ms	249×	body	80	valid
0.0ms	4×	body	1280	valid
0.0ms	3×	body	640	valid

simplify5.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	10	4
1	11	4
2	11	4

prune2.0ms

Filtered

1 candidates to 0 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: 0.0b

Counts

2 → 1

localize8.0ms

Local error

Found 1 expressions with local error:

0.0b	(+ x (/ (fabs (- y x)) 2.0))

rewrite5.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

1 → 12

Calls

1 calls:

5.0ms

(+ x (/ (fabs (- y x)) 2.0))

series16.0ms

Counts

1 → 3

Calls

1 calls:

16.0ms

(+ x (/ (fabs (- y x)) 2.0))

simplify110.0ms

Algorithm

egg-herbie

Counts

15 → 15

Iterations

Useful iterations: 1 (4.0ms)

Iter	Nodes	Cost
0	83	100
1	207	91
2	481	91
3	1288	91
4	3899	91
5	5002	91

prune23.0ms

Filtered

15 candidates to 11 candidates (73.3%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Merged error: 0.0b

Counts

16 → 2

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ x (/ (fabs (- y x)) 2.0))
0.0b	(sqrt (+ x (/ (fabs (- y x)) 2.0)))
0.0b	(sqrt (+ x (/ (fabs (- y x)) 2.0)))
0.3b	(* (sqrt (+ x (/ (fabs (- y x)) 2.0))) (sqrt (+ x (/ (fabs (- y x)) 2.0))))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

34×	`*-un-lft-identity` `sqrt-prod`
28×	`add-sqr-sqrt`
21×	`pow1`
16×	`sqrt-div`
14×	`add-cube-cbrt`
11×	`swap-sqr`
10×	`sqrt-pow1` `pow1/2`
9×	`flip3-+` `flip-+` `distribute-lft-out`
7×	`associate-r` `associate-l`
6×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
5×	`pow-prod-up`
4×	`frac-times` `unswap-sqr`
3×	`pow-prod-down` `pow-sqr`
2×	`rem-sqrt-square` `associate-r/` `associate-l/`
1×	`+-commutative` `pow2` `pow-plus` `sqrt-unprod` `prod-exp` `sum-log` `rem-square-sqrt` `*-commutative` `cbrt-unprod`

Counts

4 → 106

Calls

4 calls:

5.0ms	(+ x (/ (fabs (- y x)) 2.0))
5.0ms	(sqrt (+ x (/ (fabs (- y x)) 2.0)))
5.0ms	(sqrt (+ x (/ (fabs (- y x)) 2.0)))
19.0ms	(* (sqrt (+ x (/ (fabs (- y x)) 2.0))) (sqrt (+ x (/ (fabs (- y x)) 2.0))))

series167.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(+ x (/ (fabs (- y x)) 2.0))
70.0ms	(sqrt (+ x (/ (fabs (- y x)) 2.0)))
56.0ms	(sqrt (+ x (/ (fabs (- y x)) 2.0)))
16.0ms	(* (sqrt (+ x (/ (fabs (- y x)) 2.0))) (sqrt (+ x (/ (fabs (- y x)) 2.0))))

simplify51.0ms

Algorithm

egg-herbie

Counts

118 → 118

Iterations

Useful iterations: 2 (36.0ms)

Iter	Nodes	Cost
0	273	1063
1	1071	971
2	5001	937

prune185.0ms

Filtered

118 candidates to 65 candidates (55.1%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	115	3	118
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	115	5	120

Merged error: 0.0b

Counts

120 → 5

localize11.0ms

Local error

Found 4 expressions with local error:

0.1b	(sqrt (sqrt (+ x (/ (fabs (- y x)) 2.0))))
0.1b	(sqrt (sqrt (+ x (/ (fabs (- y x)) 2.0))))
0.2b	(* (pow (sqrt (sqrt (+ x (/ (fabs (- y x)) 2.0)))) 3) (sqrt (sqrt (+ x (/ (fabs (- y x)) 2.0)))))
0.5b	(pow (sqrt (sqrt (+ x (/ (fabs (- y x)) 2.0)))) 3)

rewrite51.0ms

Algorithm

rewrite-expression-head

Rules

121×	`sqrt-prod`
74×	`add-sqr-sqrt`
39×	`*-un-lft-identity`
36×	`sqrt-div`
29×	`unpow-prod-down` `cube-prod`
26×	`associate-l`
25×	`add-cube-cbrt`
24×	`unswap-sqr`
12×	`pow1` `sqrt-pow1`
10×	`add-exp-log` `associate-r`
9×	`flip3-+` `flip-+`
8×	`cube-div`
7×	`add-cbrt-cube` `distribute-lft-out`
6×	`pow1/2`
5×	`pow-pow` `sqr-pow`
4×	`frac-times` `rem-sqrt-square` `add-log-exp`
3×	`pow-unpow` `prod-exp`
2×	`cube-mult` `pow-to-exp` `unpow3` `associate-r/` `associate-l/` `pow-exp`
1×	`pow-plus` `*-commutative` `pow-prod-up` `sqrt-pow2` `cbrt-unprod` `rem-cube-cbrt`

Counts

4 → 170

Calls

4 calls:

6.0ms	(sqrt (sqrt (+ x (/ (fabs (- y x)) 2.0))))
6.0ms	(sqrt (sqrt (+ x (/ (fabs (- y x)) 2.0))))
21.0ms	(* (pow (sqrt (sqrt (+ x (/ (fabs (- y x)) 2.0)))) 3) (sqrt (sqrt (+ x (/ (fabs (- y x)) 2.0)))))
12.0ms	(pow (sqrt (sqrt (+ x (/ (fabs (- y x)) 2.0)))) 3)

series232.0ms

Counts

4 → 12

Calls

4 calls:

54.0ms	(sqrt (sqrt (+ x (/ (fabs (- y x)) 2.0))))
69.0ms	(sqrt (sqrt (+ x (/ (fabs (- y x)) 2.0))))
16.0ms	(* (pow (sqrt (sqrt (+ x (/ (fabs (- y x)) 2.0)))) 3) (sqrt (sqrt (+ x (/ (fabs (- y x)) 2.0)))))
93.0ms	(pow (sqrt (sqrt (+ x (/ (fabs (- y x)) 2.0)))) 3)

simplify83.0ms

Algorithm

egg-herbie

Counts

182 → 182

Iterations

Useful iterations: 2 (62.0ms)

Iter	Nodes	Cost
0	583	2344
1	2440	2073
2	5001	1862

prune320.0ms

Filtered

182 candidates to 89 candidates (48.9%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	181	1	182
Fresh	1	1	2
Picked	1	0	1
Done	0	2	2
Total	183	4	187

Merged error: 0.0b

Counts

187 → 4

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b	(sqrt (+ x (/ (fabs (- y x)) 2.0)))
0.1b	(sqrt (sqrt (+ x (/ (fabs (- y x)) 2.0))))
0.3b	(* (pow (pow (+ x (/ (fabs (- y x)) 2.0)) 1/4) 3) (sqrt (sqrt (+ x (/ (fabs (- y x)) 2.0)))))
0.5b	(pow (pow (+ x (/ (fabs (- y x)) 2.0)) 1/4) 3)

rewrite46.0ms

Algorithm

rewrite-expression-head

Rules

62×	`add-sqr-sqrt`
51×	`sqrt-prod`
47×	`unpow-prod-down`
34×	`*-un-lft-identity`
25×	`cube-prod`
24×	`unswap-sqr`
22×	`associate-l`
20×	`add-cube-cbrt`
15×	`sqr-pow`
14×	`add-exp-log`
10×	`sqrt-div` `associate-r`
8×	`pow-exp`
7×	`pow1` `add-cbrt-cube` `distribute-lft-out`
5×	`sqrt-pow1` `prod-exp`
4×	`pow-to-exp` `add-log-exp`
3×	`rem-sqrt-square` `pow-unpow` `flip3-+` `pow1/2` `flip-+`
2×	`cube-mult` `unpow3` `associate-*r/`
1×	`pow-pow` `*-commutative` `cbrt-unprod` `rem-cube-cbrt`

Counts

4 → 145

Calls

4 calls:

5.0ms	(sqrt (+ x (/ (fabs (- y x)) 2.0)))
9.0ms	(sqrt (sqrt (+ x (/ (fabs (- y x)) 2.0))))
20.0ms	(* (pow (pow (+ x (/ (fabs (- y x)) 2.0)) 1/4) 3) (sqrt (sqrt (+ x (/ (fabs (- y x)) 2.0)))))
8.0ms	(pow (pow (+ x (/ (fabs (- y x)) 2.0)) 1/4) 3)

series202.0ms

Counts

4 → 12

Calls

4 calls:

48.0ms	(sqrt (+ x (/ (fabs (- y x)) 2.0)))
47.0ms	(sqrt (sqrt (+ x (/ (fabs (- y x)) 2.0))))
16.0ms	(* (pow (pow (+ x (/ (fabs (- y x)) 2.0)) 1/4) 3) (sqrt (sqrt (+ x (/ (fabs (- y x)) 2.0)))))
92.0ms	(pow (pow (+ x (/ (fabs (- y x)) 2.0)) 1/4) 3)

simplify89.0ms

Algorithm

egg-herbie

Counts

157 → 157

Iterations

Useful iterations: 2 (69.0ms)

Iter	Nodes	Cost
0	648	2235
1	2655	2161
2	5002	2136

prune297.0ms

Filtered

157 candidates to 82 candidates (52.2%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	156	1	157
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	156	5	161

Merged error: 0b

Counts

161 → 5

regimes80.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	8	4
1	8	4

end0.0ms

sample332.0ms

Algorithm

intervals

Results

178.0ms	7700×	body	80	valid
14.0ms	127×	body	1280	valid
7.0ms	41×	body	2560	valid
7.0ms	79×	body	640	valid
2.0ms	35×	body	320	valid
1.0ms	19×	body	160	valid

Details

sample14.0ms

simplify5.0ms

prune2.0ms

localize8.0ms

rewrite5.0ms

series16.0ms

simplify110.0ms

prune23.0ms

localize8.0ms

rewrite38.0ms

series167.0ms

simplify51.0ms

prune185.0ms

localize11.0ms

rewrite51.0ms

series232.0ms

simplify83.0ms

prune320.0ms

localize15.0ms

rewrite46.0ms

series202.0ms

simplify89.0ms

prune297.0ms

regimes80.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample332.0ms

Profiling