Details

sample17.0ms

Algorithm

intervals

Results

8.0ms

315×

body

valid

simplify69.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	11	3
1	22	3
2	44	3
3	70	3
4	100	3
5	117	3
6	420	3
7	2976	3
8	5001	3

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

Counts

2 → 1

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(* x (- y z))
11.4b	(/ (* x (- y z)) y)

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

22×	`add-sqr-sqrt`
20×	`*-un-lft-identity`
18×	`add-cube-cbrt` `prod-diff`
11×	`distribute-rgt-in` `distribute-lft-in`
9×	`add-exp-log` `add-cbrt-cube`
5×	`associate-r`
4×	`pow1` `associate-*r/`
3×	`times-frac` `associate-l` `associate-/r*`
2×	`cbrt-undiv` `expm1-log1p-u` `sub-neg` `flip3--` `div-exp` `prod-exp` `flip--` `cbrt-unprod` `log1p-expm1-u` `associate-/l/` `add-log-exp`
1×	`frac-2neg` `pow-prod-down` `clear-num` `-commutative` `div-inv` `associate-/l` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

2 → 71

Calls

2 calls:

10.0ms	(* x (- y z))
8.0ms	(/ (* x (- y z)) y)

series85.0ms

Counts

2 → 6

Calls

2 calls:

38.0ms	(* x (- y z))
47.0ms	(/ (* x (- y z)) y)

simplify43.0ms

Algorithm

egg-herbie

Counts

77 → 77

Iterations

Useful iterations: 1 (10.0ms)

Iter	Nodes	Cost
0	299	483
1	1416	328
2	5001	328

prune94.0ms

Filtered

77 candidates to 41 candidates (53.2%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	72	5	77
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	72	6	78

Merged error: 0.0b

Counts

78 → 6

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ y (- y z))
3.2b	(/ x (/ y (- y z)))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

138×	`times-frac`
102×	`add-sqr-sqrt` `*-un-lft-identity`
70×	`add-cube-cbrt`
26×	`associate-/r*`
16×	`distribute-lft-out--` `difference-of-squares`
11×	`associate-/r/`
9×	`add-exp-log` `add-cbrt-cube`
6×	`div-inv` `associate-/l*`
5×	`flip3--` `flip--`
4×	`cbrt-undiv` `div-exp`
2×	`pow1` `expm1-log1p-u` `frac-2neg` `clear-num` `log1p-expm1-u` `add-log-exp`

Counts

2 → 143

Calls

2 calls:

5.0ms	(/ y (- y z))
9.0ms	(/ x (/ y (- y z)))

series92.0ms

Counts

2 → 6

Calls

2 calls:

45.0ms	(/ y (- y z))
47.0ms	(/ x (/ y (- y z)))

simplify58.0ms

Algorithm

egg-herbie

Counts

149 → 149

Iterations

Useful iterations: 2 (45.0ms)

Iter	Nodes	Cost
0	479	1057
1	2239	1019
2	5002	1016

prune304.0ms

Filtered

149 candidates to 112 candidates (75.2%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	147	2	149
Fresh	3	1	4
Picked	0	1	1
Done	0	1	1
Total	150	5	155

Merged error: 0b

Counts

155 → 5

localize5.0ms

Local error

Found 1 expressions with local error:

3.4b	(* x (/ (- y z) y))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

22×	`add-sqr-sqrt`
19×	`associate-r`
17×	`*-un-lft-identity`
16×	`times-frac`
11×	`add-cube-cbrt`
6×	`add-exp-log` `add-cbrt-cube`
3×	`pow1` `associate-l` `distribute-lft-out--` `difference-of-squares`
2×	`prod-exp` `cbrt-unprod` `unswap-sqr`
1×	`cbrt-undiv` `expm1-log1p-u` `associate-r/` `div-exp` `pow-prod-down` `-commutative` `log1p-expm1-u` `div-inv` `add-log-exp`

Counts

1 → 40

Calls

1 calls:

10.0ms

(* x (/ (- y z) y))

series50.0ms

Counts

1 → 3

Calls

1 calls:

50.0ms

(* x (/ (- y z) y))

simplify95.0ms

Algorithm

egg-herbie

Counts

43 → 43

Iterations

Useful iterations: 1 (7.0ms)

Iter	Nodes	Cost
0	198	208
1	906	187
2	4251	187
3	5001	187

prune63.0ms

Filtered

43 candidates to 29 candidates (67.4%)

Pruning

5 alts after pruning (2 fresh and 3 done)

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

Merged error: 0b

Counts

48 → 5

localize5.0ms

Local error

Found 1 expressions with local error:

11.4b

(* (/ x y) (- y z))

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

28×	`add-sqr-sqrt`
23×	`*-un-lft-identity`
21×	`add-cube-cbrt`
18×	`prod-diff`
13×	`associate-l`
11×	`distribute-rgt-in` `distribute-lft-in`
10×	`times-frac`
6×	`add-exp-log` `add-cbrt-cube`
5×	`associate-r`
3×	`pow1`
2×	`frac-times` `sub-neg` `flip3--` `associate-*r/` `prod-exp` `flip--` `cbrt-unprod` `unswap-sqr`
1×	`cbrt-undiv` `expm1-log1p-u` `div-exp` `pow-prod-down` `associate-l/` `-commutative` `log1p-expm1-u` `div-inv` `distribute-lft-out--` `add-log-exp` `difference-of-squares`

Counts

1 → 62

Calls

1 calls:

10.0ms

(* (/ x y) (- y z))

series47.0ms

Counts

1 → 3

Calls

1 calls:

47.0ms

(* (/ x y) (- y z))

simplify41.0ms

Algorithm

egg-herbie

Counts

65 → 65

Iterations

Useful iterations: 2 (34.0ms)

Iter	Nodes	Cost
0	367	516
1	1467	369
2	5002	353

prune76.0ms

Filtered

65 candidates to 36 candidates (55.4%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	65	0	65
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	65	5	70

Merged error: 0b

Counts

70 → 5

regimes115.0ms

Accuracy

30.4% (2.0b remaining)

Error of 2.0b against oracle of 0.0b and baseline of 2.9b

bsearch1.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	21
1	24	21

end0.0ms

sample435.0ms

Algorithm

intervals

Results

241.0ms

9617×

body

valid

Details

sample17.0ms

simplify69.0ms

prune2.0ms

localize5.0ms

rewrite20.0ms

series85.0ms

simplify43.0ms

prune94.0ms

localize5.0ms

rewrite24.0ms

series92.0ms

simplify58.0ms

prune304.0ms

localize5.0ms

rewrite11.0ms

series50.0ms

simplify95.0ms

prune63.0ms

localize5.0ms

rewrite13.0ms

series47.0ms

simplify41.0ms

prune76.0ms

regimes115.0ms

bsearch1.0ms

simplify3.0ms

end0.0ms

sample435.0ms

Profiling