Details

analyze39.0ms

Algorithm: search

sample13.0ms

Algorithm

intervals

Results

5.0ms	239×	body	80	valid
0.0ms	5×	body	1280	valid
0.0ms	3×	body	2560	valid
0.0ms	4×	body	640	valid
0.0ms	3×	body	160	valid
0.0ms	2×	body	320	valid

simplify17.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	12	3
1	19	3
2	29	3
3	41	3
4	51	3
5	79	3
6	134	3
7	169	3
8	185	3
9	213	3
10	226	3
11	226	3

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

Counts

2 → 1

localize4.0ms

Local error

Found 1 expressions with local error:

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

rewrite8.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` `associate-+r-` `flip3-+` `div-sub` `sum-log` `add-cbrt-cube` `flip-+` `distribute-lft-out`

Counts

1 → 13

Calls

1 calls:

8.0ms

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

series5.0ms

Counts

1 → 3

Calls

1 calls:

5.0ms

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

simplify75.0ms

Algorithm

egg-herbie

Counts

16 → 16

Iterations

Useful iterations: 1 (4.0ms)

Iter	Nodes	Cost
0	91	81
1	242	74
2	704	74
3	3412	74
4	5001	74

prune28.0ms

Filtered

12 candidates to 16 candidates (-33.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	13	3	16
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	13	4	17

Merged error: 0.0b

Counts

17 → 4

localize7.0ms

Local error

Found 4 expressions with local error:

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

rewrite48.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` `associate-+r-` `pow-plus` `sqrt-unprod` `div-sub` `prod-exp` `sum-log` `rem-square-sqrt` `*-commutative` `cbrt-unprod`

Counts

4 → 107

Calls

4 calls:

8.0ms	(+ x (/ (- x y) 2.0))
8.0ms	(sqrt (+ x (/ (- x y) 2.0)))
8.0ms	(sqrt (+ x (/ (- x y) 2.0)))
20.0ms	(* (sqrt (+ x (/ (- x y) 2.0))) (sqrt (+ x (/ (- x y) 2.0))))

series34.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(+ x (/ (- x y) 2.0))
11.0ms	(sqrt (+ x (/ (- x y) 2.0)))
13.0ms	(sqrt (+ x (/ (- x y) 2.0)))
5.0ms	(* (sqrt (+ x (/ (- x y) 2.0))) (sqrt (+ x (/ (- x y) 2.0))))

simplify202.0ms

Algorithm

egg-herbie

Counts

119 → 119

Iterations

Useful iterations: 2 (31.0ms)

Iter	Nodes	Cost
0	241	807
1	905	745
2	4988	723
3	5001	723

prune129.0ms

Filtered

65 candidates to 119 candidates (-83.1%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	118	1	119
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	118	5	123

Merged error: 0.0b

Counts

123 → 5

localize12.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (fabs (cbrt (+ x (/ (- x y) 2.0)))) (sqrt (cbrt (+ x (/ (- x y) 2.0)))))
0.3b	(* (sqrt (+ x (/ (- x y) 2.0))) (* (fabs (cbrt (+ x (/ (- x y) 2.0)))) (sqrt (cbrt (+ x (/ (- x y) 2.0))))))
0.5b	(cbrt (+ x (/ (- x y) 2.0)))
0.5b	(cbrt (+ x (/ (- x y) 2.0)))

rewrite54.0ms

Algorithm

rewrite-expression-head

Rules

20×	`*-un-lft-identity`
18×	`add-sqr-sqrt`
14×	`sqrt-div`
13×	`cbrt-prod` `sqrt-prod`
12×	`add-cube-cbrt` `cbrt-div`
11×	`pow1` `add-exp-log` `associate-r` `add-cbrt-cube`
10×	`associate-r/` `associate-l*`
9×	`flip3-+` `flip-+`
4×	`frac-times` `pow-prod-down` `prod-exp` `cbrt-unprod` `distribute-lft-out` `add-log-exp`
3×	`unswap-sqr`
2×	`pow1/3` `associate-l/` `-commutative`

Counts

4 → 87

Calls

4 calls:

13.0ms	(* (fabs (cbrt (+ x (/ (- x y) 2.0)))) (sqrt (cbrt (+ x (/ (- x y) 2.0)))))
21.0ms	(* (sqrt (+ x (/ (- x y) 2.0))) (* (fabs (cbrt (+ x (/ (- x y) 2.0)))) (sqrt (cbrt (+ x (/ (- x y) 2.0))))))
8.0ms	(cbrt (+ x (/ (- x y) 2.0)))
10.0ms	(cbrt (+ x (/ (- x y) 2.0)))

series233.0ms

Counts

4 → 12

Calls

4 calls:

72.0ms	(* (fabs (cbrt (+ x (/ (- x y) 2.0)))) (sqrt (cbrt (+ x (/ (- x y) 2.0)))))
78.0ms	(* (sqrt (+ x (/ (- x y) 2.0))) (* (fabs (cbrt (+ x (/ (- x y) 2.0)))) (sqrt (cbrt (+ x (/ (- x y) 2.0))))))
40.0ms	(cbrt (+ x (/ (- x y) 2.0)))
42.0ms	(cbrt (+ x (/ (- x y) 2.0)))

simplify56.0ms

Algorithm

egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 2 (41.0ms)

Iter	Nodes	Cost
0	537	1530
1	1674	1413
2	5001	1388

prune246.0ms

Filtered

77 candidates to 99 candidates (-28.6%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	99	0	99
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	99	5	104

Merged error: 0.0b

Counts

104 → 5

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (/ (- x y) 2.0) (/ (- x y) 2.0))
0.0b	(- x (/ (- x y) 2.0))
15.0b	(- (* x x) (* (/ (- x y) 2.0) (/ (- x y) 2.0)))
31.8b	(/ (- (* x x) (* (/ (- x y) 2.0) (/ (- x y) 2.0))) (- x (/ (- x y) 2.0)))

rewrite49.0ms

Algorithm

rewrite-expression-head

Rules

122×	`add-sqr-sqrt`
110×	`*-un-lft-identity`
106×	`times-frac`
56×	`add-cube-cbrt`
32×	`difference-of-squares`
25×	`swap-sqr`
24×	`distribute-lft-out--`
19×	`associate-r` `associate-l`
18×	`add-exp-log` `add-cbrt-cube`
11×	`pow1`
8×	`add-log-exp`
6×	`associate-/r*`
5×	`cbrt-undiv` `div-exp` `div-inv`
4×	`flip3--` `prod-exp` `flip--` `cbrt-unprod` `associate-/l*` `unswap-sqr`
2×	`sub-neg` `diff-log` `div-sub` `associate-/r/` `associate-/l/`
1×	`pow2` `frac-times` `frac-2neg` `pow-plus` `associate-r/` `pow-prod-down` `associate-l/` `clear-num` `pow-sqr` `*-commutative` `pow-prod-up` `associate--r-`

Counts

4 → 171

Calls

4 calls:

17.0ms	(* (/ (- x y) 2.0) (/ (- x y) 2.0))
8.0ms	(- x (/ (- x y) 2.0))
3.0ms	(- (* x x) (* (/ (- x y) 2.0) (/ (- x y) 2.0)))
13.0ms	(/ (- (* x x) (* (/ (- x y) 2.0) (/ (- x y) 2.0))) (- x (/ (- x y) 2.0)))

series36.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(* (/ (- x y) 2.0) (/ (- x y) 2.0))
5.0ms	(- x (/ (- x y) 2.0))
8.0ms	(- (* x x) (* (/ (- x y) 2.0) (/ (- x y) 2.0)))
19.0ms	(/ (- (* x x) (* (/ (- x y) 2.0) (/ (- x y) 2.0))) (- x (/ (- x y) 2.0)))

simplify119.0ms

Algorithm

egg-herbie

Counts

183 → 183

Iterations

Useful iterations: 2 (99.0ms)

Iter	Nodes	Cost
0	767	1986
1	4021	1797
2	5002	1766

prune216.0ms

Filtered

123 candidates to 183 candidates (-48.8%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	182	1	183
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	182	6	188

Merged error: 0.0b

Counts

188 → 6

regimes144.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	3
1	7	3

end0.0ms

analyze34.0ms

Algorithm: search

sample348.0ms

Algorithm

intervals

Results

172.0ms	7377×	body	80	valid
22.0ms	236×	body	1280	valid
12.0ms	162×	body	640	valid
10.0ms	89×	body	2560	valid
5.0ms	82×	body	320	valid
2.0ms	54×	body	160	valid
0.0ms	2×	body	80	invalid

Details

analyze39.0ms

sample13.0ms

simplify17.0ms

prune3.0ms

localize4.0ms

rewrite8.0ms

series5.0ms

simplify75.0ms

prune28.0ms

localize7.0ms

rewrite48.0ms

series34.0ms

simplify202.0ms

prune129.0ms

localize12.0ms

rewrite54.0ms

series233.0ms

simplify56.0ms

prune246.0ms

localize9.0ms

rewrite49.0ms

series36.0ms

simplify119.0ms

prune216.0ms

regimes144.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

analyze34.0ms

sample348.0ms

Profiling