Details

sample14.0ms

Algorithm

intervals

Results

5.0ms	243×	body	80	valid
0.0ms	3×	body	2560	valid
0.0ms	4×	body	640	valid
0.0ms	2×	body	1280	valid
0.0ms	3×	body	320	valid
0.0ms	1×	body	160	valid

simplify6.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.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.1b

Counts

2 → 1

localize6.0ms

Local error

Found 1 expressions with local error:

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

rewrite6.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:

6.0ms

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

series18.0ms

Counts

1 → 3

Calls

1 calls:

18.0ms

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

simplify121.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

prune37.0ms

Filtered

15 candidates to 11 candidates (73.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	12	3	15
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	12	4	16

Merged error: 0.0b

Counts

16 → 4

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.4b	(* (sqrt (+ x (/ (fabs (- y x)) 2.0))) (sqrt (+ x (/ (fabs (- y x)) 2.0))))

rewrite37.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:

6.0ms	(+ x (/ (fabs (- y x)) 2.0))
6.0ms	(sqrt (+ x (/ (fabs (- y x)) 2.0)))
6.0ms	(sqrt (+ x (/ (fabs (- y x)) 2.0)))
16.0ms	(* (sqrt (+ x (/ (fabs (- y x)) 2.0))) (sqrt (+ x (/ (fabs (- y x)) 2.0))))

series143.0ms

Counts

4 → 12

Calls

4 calls:

18.0ms	(+ x (/ (fabs (- y x)) 2.0))
53.0ms	(sqrt (+ x (/ (fabs (- y x)) 2.0)))
51.0ms	(sqrt (+ x (/ (fabs (- y x)) 2.0)))
22.0ms	(* (sqrt (+ x (/ (fabs (- y x)) 2.0))) (sqrt (+ x (/ (fabs (- y x)) 2.0))))

simplify50.0ms

Algorithm

egg-herbie

Counts

118 → 118

Iterations

Useful iterations: 2 (37.0ms)

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

prune210.0ms

Filtered

118 candidates to 64 candidates (54.2%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	115	3	118
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	115	7	122

Merged error: 0.0b

Counts

122 → 7

localize13.0ms

Local error

Found 4 expressions with local error:

0.4b	(* (sqrt (+ x (/ (fabs (- y x)) 2.0))) (* (* (cbrt (sqrt (+ x (/ (fabs (- y x)) 2.0)))) (cbrt (sqrt (+ x (/ (fabs (- y x)) 2.0))))) (cbrt (sqrt (+ x (/ (fabs (- y x)) 2.0))))))
0.4b	(cbrt (sqrt (+ x (/ (fabs (- y x)) 2.0))))
0.4b	(cbrt (sqrt (+ x (/ (fabs (- y x)) 2.0))))
0.4b	(cbrt (sqrt (+ x (/ (fabs (- y x)) 2.0))))

rewrite75.0ms

Algorithm

rewrite-expression-head

Rules

222×	`sqrt-div`
168×	`cbrt-div`
136×	`frac-times`
111×	`flip3-+` `flip-+`
50×	`associate-*r/`
44×	`associate-*l/`
21×	`cbrt-prod`
20×	`*-un-lft-identity`
16×	`sqrt-prod`
15×	`pow1`
13×	`add-exp-log` `add-cube-cbrt`
12×	`add-sqr-sqrt`
9×	`pow1/3` `add-cbrt-cube`
7×	`associate-l`
6×	`pow-prod-down` `prod-exp` `cbrt-unprod`
5×	`pow-prod-up`
4×	`distribute-lft-out` `add-log-exp`
1×	`swap-sqr` `associate-r` `pow-sqr` `*-commutative`

Counts

4 → 159

Calls

4 calls:

42.0ms	(* (sqrt (+ x (/ (fabs (- y x)) 2.0))) (* (* (cbrt (sqrt (+ x (/ (fabs (- y x)) 2.0)))) (cbrt (sqrt (+ x (/ (fabs (- y x)) 2.0))))) (cbrt (sqrt (+ x (/ (fabs (- y x)) 2.0))))))
6.0ms	(cbrt (sqrt (+ x (/ (fabs (- y x)) 2.0))))
6.0ms	(cbrt (sqrt (+ x (/ (fabs (- y x)) 2.0))))
6.0ms	(cbrt (sqrt (+ x (/ (fabs (- y x)) 2.0))))

series205.0ms

Counts

4 → 12

Calls

4 calls:

20.0ms	(* (sqrt (+ x (/ (fabs (- y x)) 2.0))) (* (* (cbrt (sqrt (+ x (/ (fabs (- y x)) 2.0)))) (cbrt (sqrt (+ x (/ (fabs (- y x)) 2.0))))) (cbrt (sqrt (+ x (/ (fabs (- y x)) 2.0))))))
61.0ms	(cbrt (sqrt (+ x (/ (fabs (- y x)) 2.0))))
58.0ms	(cbrt (sqrt (+ x (/ (fabs (- y x)) 2.0))))
65.0ms	(cbrt (sqrt (+ x (/ (fabs (- y x)) 2.0))))

simplify103.0ms

Algorithm

egg-herbie

Counts

171 → 171

Iterations

Useful iterations: 2 (52.0ms)

Iter	Nodes	Cost
0	760	6285
1	1791	6104
2	5001	5705

prune496.0ms

Filtered

171 candidates to 101 candidates (59.1%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	170	1	171
Fresh	1	3	4
Picked	1	0	1
Done	0	2	2
Total	172	6	178

Merged error: 0.0b

Counts

178 → 6

localize28.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (+ x (/ (fabs (- y x)) 2.0)))
0.6b	(cbrt (+ x (/ (fabs (- y x)) 2.0)))
0.6b	(cbrt (+ x (/ (fabs (- y x)) 2.0)))
0.6b	(cbrt (sqrt (* (cbrt (+ x (/ (fabs (- y x)) 2.0))) (cbrt (+ x (/ (fabs (- y x)) 2.0))))))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

26×	`cbrt-div`
16×	`cbrt-prod`
14×	`*-un-lft-identity`
9×	`flip3-+` `flip-+`
8×	`add-sqr-sqrt` `add-cube-cbrt` `sqrt-div`
4×	`pow1` `add-exp-log` `frac-times` `pow1/3` `add-cbrt-cube` `add-log-exp`
3×	`distribute-lft-out`
2×	`associate-r/` `associate-l/`
1×	`sqrt-prod`

Counts

4 → 62

Calls

4 calls:

6.0ms	(cbrt (+ x (/ (fabs (- y x)) 2.0)))
6.0ms	(cbrt (+ x (/ (fabs (- y x)) 2.0)))
6.0ms	(cbrt (+ x (/ (fabs (- y x)) 2.0)))
15.0ms	(cbrt (sqrt (* (cbrt (+ x (/ (fabs (- y x)) 2.0))) (cbrt (+ x (/ (fabs (- y x)) 2.0))))))

series237.0ms

Counts

4 → 12

Calls

4 calls:

58.0ms	(cbrt (+ x (/ (fabs (- y x)) 2.0)))
60.0ms	(cbrt (+ x (/ (fabs (- y x)) 2.0)))
57.0ms	(cbrt (+ x (/ (fabs (- y x)) 2.0)))
63.0ms	(cbrt (sqrt (* (cbrt (+ x (/ (fabs (- y x)) 2.0))) (cbrt (+ x (/ (fabs (- y x)) 2.0))))))

simplify119.0ms

Algorithm

egg-herbie

Counts

74 → 74

Iterations

Useful iterations: 2 (30.0ms)

Iter	Nodes	Cost
0	377	1229
1	1003	1169
2	3639	1152
3	5001	1152

prune395.0ms

Filtered

74 candidates to 65 candidates (87.8%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	74	0	74
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	74	6	80

Merged error: 0.0b

Counts

80 → 6

regimes92.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

sample327.0ms

Algorithm

intervals

Results

177.0ms	7715×	body	80	valid
11.0ms	114×	body	1280	valid
5.0ms	64×	body	640	valid
5.0ms	39×	body	2560	valid
3.0ms	44×	body	320	valid
1.0ms	26×	body	160	valid

Details

sample14.0ms

simplify6.0ms

prune2.0ms

localize6.0ms

rewrite6.0ms

series18.0ms

simplify121.0ms

prune37.0ms

localize8.0ms

rewrite37.0ms

series143.0ms

simplify50.0ms

prune210.0ms

localize13.0ms

rewrite75.0ms

series205.0ms

simplify103.0ms

prune496.0ms

localize28.0ms

rewrite36.0ms

series237.0ms

simplify119.0ms

prune395.0ms

regimes92.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample327.0ms

Profiling