Details

sample12.0ms

Algorithm

intervals

Results

6.0ms

256×

body

valid

simplify16.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	15	4
1	36	4
2	73	4
3	127	4
4	167	4
5	185	4
6	187	4
7	187	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: 13.4b

Counts

2 → 1

localize5.0ms

Local error

Found 1 expressions with local error:

13.1b

(/ (* (* x 2.0) y) (- x y))

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-exp-log` `add-cbrt-cube`
7×	`add-sqr-sqrt` `*-un-lft-identity`
5×	`times-frac` `associate-/r*`
3×	`cbrt-undiv` `add-cube-cbrt` `div-exp` `prod-exp` `cbrt-unprod`
2×	`associate-/r/` `distribute-lft-out--` `difference-of-squares`
1×	`pow1` `expm1-log1p-u` `flip3--` `frac-2neg` `clear-num` `flip--` `log1p-expm1-u` `div-inv` `associate-/l*` `add-log-exp`

Counts

1 → 31

Calls

1 calls:

8.0ms

(/ (* (* x 2.0) y) (- x y))

series64.0ms

Counts

1 → 3

Calls

1 calls:

64.0ms

(/ (* (* x 2.0) y) (- x y))

simplify32.0ms

Algorithm

egg-herbie

Counts

34 → 34

Iterations

Useful iterations: 1 (7.0ms)

Iter	Nodes	Cost
0	214	194
1	1150	161
2	5001	161

prune52.0ms

Filtered

34 candidates to 23 candidates (67.6%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	31	3	34
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	31	4	35

Merged error: 0.0b

Counts

35 → 4

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ y (- x y))
8.7b	(* (* x 2.0) (/ y (- x y)))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

35×	`add-sqr-sqrt` `*-un-lft-identity`
30×	`times-frac`
21×	`add-cube-cbrt` `associate-r`
16×	`add-exp-log` `add-cbrt-cube`
7×	`pow1` `distribute-lft-out--` `difference-of-squares`
6×	`prod-exp` `cbrt-unprod`
5×	`associate-/r*`
4×	`associate-/r/`
3×	`cbrt-undiv` `div-exp` `pow-prod-down` `associate-/l*`
2×	`expm1-log1p-u` `flip3--` `flip--` `log1p-expm1-u` `div-inv` `add-log-exp`
1×	`frac-2neg` `associate-r/` `associate-l` `clear-num` `-commutative`

Counts

2 → 82

Calls

2 calls:

5.0ms	(/ y (- x y))
10.0ms	(* (* x 2.0) (/ y (- x y)))

series105.0ms

Counts

2 → 6

Calls

2 calls:

42.0ms	(/ y (- x y))
63.0ms	(* (* x 2.0) (/ y (- x y)))

simplify50.0ms

Algorithm

egg-herbie

Counts

88 → 88

Iterations

Useful iterations: 1 (10.0ms)

Iter	Nodes	Cost
0	315	451
1	1665	401
2	5001	401

prune115.0ms

Filtered

88 candidates to 58 candidates (65.9%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	87	1	88
Fresh	0	2	2
Picked	1	0	1
Done	0	1	1
Total	88	4	92

Merged error: 0b

Counts

92 → 4

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (- x y) y)
8.9b	(/ (* x 2.0) (/ (- x y) y))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

64×	`times-frac`
50×	`add-sqr-sqrt` `*-un-lft-identity`
30×	`add-cube-cbrt`
22×	`associate-/r*`
16×	`add-exp-log` `add-cbrt-cube`
10×	`distribute-lft-out--` `difference-of-squares`
7×	`cbrt-undiv` `div-exp`
6×	`associate-/l*`
4×	`div-inv`
2×	`pow1` `expm1-log1p-u` `frac-2neg` `prod-exp` `clear-num` `cbrt-unprod` `log1p-expm1-u` `associate-/l/` `add-log-exp`
1×	`flip3--` `div-sub` `associate-/r/` `flip--`

Counts

2 → 100

Calls

2 calls:

6.0ms	(/ (- x y) y)
8.0ms	(/ (* x 2.0) (/ (- x y) y))

series88.0ms

Counts

2 → 6

Calls

2 calls:

29.0ms	(/ (- x y) y)
60.0ms	(/ (* x 2.0) (/ (- x y) y))

simplify51.0ms

Algorithm

egg-herbie

Counts

106 → 106

Iterations

Useful iterations: 2 (42.0ms)

Iter	Nodes	Cost
0	392	620
1	1920	563
2	5001	562

prune150.0ms

Filtered

106 candidates to 76 candidates (71.7%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	105	1	106
Fresh	2	0	2
Picked	0	1	1
Done	1	0	1
Total	108	2	110

Merged error: 0b

Counts

110 → 2

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ x (- x y))
7.8b	(* (/ x (- x y)) (* y 2.0))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

35×	`add-sqr-sqrt` `*-un-lft-identity`
30×	`times-frac`
21×	`add-cube-cbrt` `associate-l`
16×	`add-exp-log` `add-cbrt-cube`
7×	`pow1` `distribute-lft-out--` `difference-of-squares`
6×	`prod-exp` `cbrt-unprod`
5×	`associate-/r*`
4×	`associate-/r/`
3×	`cbrt-undiv` `div-exp` `pow-prod-down` `associate-/l*`
2×	`expm1-log1p-u` `flip3--` `flip--` `log1p-expm1-u` `div-inv` `add-log-exp`
1×	`frac-2neg` `associate-r` `associate-l/` `clear-num` `-commutative`

Counts

2 → 82

Calls

2 calls:

5.0ms	(/ x (- x y))
10.0ms	(* (/ x (- x y)) (* y 2.0))

series115.0ms

Counts

2 → 6

Calls

2 calls:

49.0ms	(/ x (- x y))
66.0ms	(* (/ x (- x y)) (* y 2.0))

simplify42.0ms

Algorithm

egg-herbie

Counts

88 → 88

Iterations

Useful iterations: 1 (12.0ms)

Iter	Nodes	Cost
0	319	446
1	1255	395
2	5001	395

prune123.0ms

Filtered

88 candidates to 61 candidates (69.3%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Merged error: 0b

Counts

90 → 2

regimes42.0ms

Accuracy

96.7% (0.2b remaining)

Error of 0.2b against oracle of 0.0b and baseline of 6.8b

bsearch54.0ms

Steps

Iters	Range		Point
7	1582.7960665007818	57946.35045805707	1645.4682624224242
9	-1.5865550452657386e+75	-8.818113417177725e+66	-9.360053698883678e+66

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	8
1	22	8

end0.0ms

sample305.0ms

Algorithm

intervals

Results

183.0ms

8000×

body

valid

Details

sample12.0ms

simplify16.0ms

prune2.0ms

localize5.0ms

rewrite9.0ms

series64.0ms

simplify32.0ms

prune52.0ms

localize5.0ms

rewrite18.0ms

series105.0ms

simplify50.0ms

prune115.0ms

localize5.0ms

rewrite22.0ms

series88.0ms

simplify51.0ms

prune150.0ms

localize5.0ms

rewrite18.0ms

series115.0ms

simplify42.0ms

prune123.0ms

regimes42.0ms

bsearch54.0ms

simplify1.0ms

end0.0ms

sample305.0ms

Profiling