Details

sample21.0ms

Algorithm

intervals

Results

9.0ms

352×

body

valid

simplify3.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	61	7
1	61	7

prune7.0ms

Filtered

1 candidates to 1 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 → 2

localize5.0ms

Local error

Found 1 expressions with local error:

0.1b	(* (* x y) (- 1.0 y))

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

6×	`pow1` `add-exp-log` `add-cbrt-cube`
5×	`associate-r`
4×	`add-sqr-sqrt` `*-un-lft-identity`
3×	`pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`distribute-rgt-in` `add-cube-cbrt` `sub-neg` `distribute-lft-in` `associate-*r/`
1×	`flip3--` `associate-l` `*-commutative` `flip--` `distribute-lft-out--` `add-log-exp` `difference-of-squares`

Counts

1 → 26

Calls

1 calls:

12.0ms

(* (* x y) (- 1.0 y))

series9.0ms

Counts

1 → 3

Calls

1 calls:

9.0ms

(* (* x y) (- 1.0 y))

simplify29.0ms

Algorithm

egg-herbie

Counts

29 → 29

Iterations

Useful iterations: 0 (26.0ms)

Iter	Nodes	Cost
0	5054	242

prune34.0ms

Filtered

15 candidates to 29 candidates (-93.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	26	3	29
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	27	4	31

Merged error: 0.0b

Counts

31 → 4

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (* x (* y 1.0)) (* x (* y (neg y))))
10.2b	(* x (* y (neg y)))

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

7×	`pow1` `add-exp-log` `add-cbrt-cube`
6×	`distribute-rgt-neg-out`
4×	`add-log-exp`
3×	`add-sqr-sqrt` `add-cube-cbrt` `-un-lft-identity` `associate-l*` `pow-prod-down` `prod-exp` `cbrt-unprod`
1×	`+-commutative` `flip3-+` `associate-r` `unsub-neg` `sum-log` `*-commutative` `flip-+` `distribute-lft-out`

Counts

2 → 33

Calls

2 calls:

6.0ms	(+ (* x (* y 1.0)) (* x (* y (neg y))))
6.0ms	(* x (* y (neg y)))

series24.0ms

Counts

2 → 6

Calls

2 calls:

13.0ms	(+ (* x (* y 1.0)) (* x (* y (neg y))))
11.0ms	(* x (* y (neg y)))

simplify37.0ms

Algorithm

egg-herbie

Counts

39 → 39

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	5578	302

prune43.0ms

Filtered

24 candidates to 39 candidates (-62.5%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	38	1	39
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	38	5	43

Merged error: 0.0b

Counts

43 → 5

localize7.0ms

Local error

Found 4 expressions with local error:

0.0b	(sqrt (- 1.0 y))
0.1b	(* y (sqrt (- 1.0 y)))
0.1b	(* (* x (* y (sqrt (- 1.0 y)))) (sqrt (- 1.0 y)))
1.2b	(* x (* y (sqrt (- 1.0 y))))

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

22×	`add-sqr-sqrt`
21×	`pow1`
20×	`add-exp-log` `associate-*r/` `add-cbrt-cube`
18×	`sqrt-div`
17×	`-un-lft-identity` `associate-r*`
16×	`sqrt-prod`
11×	`add-cube-cbrt`
10×	`pow-prod-down` `prod-exp` `cbrt-unprod`
9×	`flip3--` `flip--`
7×	`associate-l`
4×	`frac-times` `add-log-exp`
3×	`*-commutative` `distribute-lft-out--` `difference-of-squares`
2×	`associate-*l/` `unswap-sqr`
1×	`rem-sqrt-square` `sqrt-pow1` `pow1/2`

Counts

4 → 97

Calls

4 calls:

4.0ms	(sqrt (- 1.0 y))
8.0ms	(* y (sqrt (- 1.0 y)))
15.0ms	(* (* x (* y (sqrt (- 1.0 y)))) (sqrt (- 1.0 y)))
11.0ms	(* x (* y (sqrt (- 1.0 y))))

series32.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(sqrt (- 1.0 y))
7.0ms	(* y (sqrt (- 1.0 y)))
8.0ms	(* (* x (* y (sqrt (- 1.0 y)))) (sqrt (- 1.0 y)))
13.0ms	(* x (* y (sqrt (- 1.0 y))))

simplify36.0ms

Algorithm

egg-herbie

Counts

109 → 109

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	5046	1179

prune162.0ms

Filtered

71 candidates to 109 candidates (-53.5%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	108	1	109
Fresh	0	2	2
Picked	1	0	1
Done	0	2	2
Total	109	5	114

Merged error: 0.0b

Counts

114 → 5

localize7.0ms

Local error

Found 4 expressions with local error:

0.0b	(sqrt (- 1.0 y))
0.0b	(sqrt (- 1.0 y))
0.1b	(* (* (* x y) (sqrt (- 1.0 y))) (sqrt (- 1.0 y)))
0.1b	(* (* x y) (sqrt (- 1.0 y)))

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

20×	`pow1` `add-sqr-sqrt` `sqrt-prod`
18×	`add-exp-log` `*-un-lft-identity` `sqrt-div` `add-cbrt-cube`
16×	`associate-r`
10×	`add-cube-cbrt` `associate-*r/`
9×	`flip3--` `pow-prod-down` `prod-exp` `flip--` `cbrt-unprod`
4×	`frac-times` `distribute-lft-out--` `add-log-exp` `difference-of-squares`
2×	`rem-sqrt-square` `sqrt-pow1` `pow1/2` `associate-l` `associate-l/` `-commutative`

Counts

4 → 93

Calls

4 calls:

4.0ms	(sqrt (- 1.0 y))
4.0ms	(sqrt (- 1.0 y))
15.0ms	(* (* (* x y) (sqrt (- 1.0 y))) (sqrt (- 1.0 y)))
9.0ms	(* (* x y) (sqrt (- 1.0 y)))

series31.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(sqrt (- 1.0 y))
4.0ms	(sqrt (- 1.0 y))
11.0ms	(* (* (* x y) (sqrt (- 1.0 y))) (sqrt (- 1.0 y)))
13.0ms	(* (* x y) (sqrt (- 1.0 y)))

simplify35.0ms

Algorithm

egg-herbie

Counts

105 → 105

Iterations

Useful iterations: 0 (26.0ms)

Iter	Nodes	Cost
0	5059	1144

prune151.0ms

Filtered

70 candidates to 105 candidates (-50.0%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	104	1	105
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	104	6	110

Merged error: 0.0b

Counts

110 → 6

regimes143.0ms

Accuracy

0% (0.1b 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	8	7
1	8	7

end0.0ms

sample560.0ms

Algorithm

intervals

Results

256.0ms

10754×

body

valid

Details

sample21.0ms

simplify3.0ms

prune7.0ms

localize5.0ms

rewrite13.0ms

series9.0ms

simplify29.0ms

prune34.0ms

localize8.0ms

rewrite13.0ms

series24.0ms

simplify37.0ms

prune43.0ms

localize7.0ms

rewrite41.0ms

series32.0ms

simplify36.0ms

prune162.0ms

localize7.0ms

rewrite35.0ms

series31.0ms

simplify35.0ms

prune151.0ms

regimes143.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample560.0ms

Profiling