Details

sample170.0ms

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 98.05603%

Results

6.0ms

256×

body

valid

simplify6.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	10	3
1	14	3
2	17	3
3	18	3
4	18	3

prune2.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.1b	(/ (* x 100.0) (+ x y))

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

7×	`*-un-lft-identity`
6×	`add-exp-log` `add-cbrt-cube`
4×	`times-frac` `associate-/r*`
3×	`add-sqr-sqrt` `add-cube-cbrt`
2×	`cbrt-undiv` `div-exp` `associate-/r/` `distribute-lft-out`
1×	`pow1` `frac-2neg` `flip3-+` `prod-exp` `clear-num` `cbrt-unprod` `flip-+` `div-inv` `associate-/l*` `add-log-exp`

Counts

1 → 25

Calls

1 calls:

6.0ms

(/ (* x 100.0) (+ x y))

series6.0ms

Counts

1 → 3

Calls

1 calls:

6.0ms

(/ (* x 100.0) (+ x y))

simplify64.0ms

Algorithm

egg-herbie

Counts

28 → 28

Iterations

Useful iterations: 1 (5.0ms)

Iter	Nodes	Cost
0	152	122
1	703	102
2	3131	102
3	5001	102

prune40.0ms

Filtered

19 candidates to 28 candidates (-47.4%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	24	4	28
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	25	4	29

Merged error: 0.0b

Counts

29 → 4

localize4.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (+ x y) 100.0)
0.1b	(/ x (/ (+ x y) 100.0))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

108×	`times-frac`
92×	`*-un-lft-identity`
60×	`add-sqr-sqrt` `add-cube-cbrt`
19×	`associate-/r*`
16×	`distribute-lft-out`
9×	`add-exp-log` `add-cbrt-cube`
7×	`associate-/l*`
6×	`div-inv`
4×	`cbrt-undiv` `div-exp`
2×	`pow1` `frac-2neg` `clear-num` `associate-/l/` `add-log-exp`
1×	`flip3-+` `associate-/r/` `flip-+`

Counts

2 → 115

Calls

2 calls:

5.0ms	(/ (+ x y) 100.0)
8.0ms	(/ x (/ (+ x y) 100.0))

series10.0ms

Counts

2 → 6

Calls

2 calls:

4.0ms	(/ (+ x y) 100.0)
6.0ms	(/ x (/ (+ x y) 100.0))

simplify45.0ms

Algorithm

egg-herbie

Counts

121 → 121

Iterations

Useful iterations: 2 (35.0ms)

Iter	Nodes	Cost
0	379	794
1	1592	758
2	5001	757

prune121.0ms

Filtered

84 candidates to 121 candidates (-44.0%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	119	2	121
Fresh	1	2	3
Picked	1	0	1
Done	0	0	0
Total	121	4	125

Merged error: 0b

Counts

125 → 4

localize4.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ 100.0 (+ x y))
0.2b	(* x (/ 100.0 (+ x y)))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

34×	`*-un-lft-identity`
25×	`add-sqr-sqrt` `times-frac`
20×	`add-cube-cbrt`
18×	`associate-r`
9×	`add-exp-log` `add-cbrt-cube`
7×	`distribute-lft-out`
4×	`pow1` `associate-/r*` `associate-/r/`
3×	`associate-l` `associate-/l*`
2×	`cbrt-undiv` `flip3-+` `div-exp` `prod-exp` `cbrt-unprod` `flip-+` `div-inv` `add-log-exp` `unswap-sqr`
1×	`frac-2neg` `associate-r/` `pow-prod-down` `clear-num` `-commutative`

Counts

2 → 70

Calls

2 calls:

5.0ms	(/ 100.0 (+ x y))
9.0ms	(* x (/ 100.0 (+ x y)))

series11.0ms

Counts

2 → 6

Calls

2 calls:

5.0ms	(/ 100.0 (+ x y))
6.0ms	(* x (/ 100.0 (+ x y)))

simplify84.0ms

Algorithm

egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 1 (7.0ms)

Iter	Nodes	Cost
0	223	333
1	1017	304
2	4027	304
3	5001	304

prune73.0ms

Filtered

52 candidates to 76 candidates (-46.2%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	76	0	76
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	76	4	80

Merged error: 0b

Counts

80 → 4

localize4.0ms

Local error

Found 2 expressions with local error:

0.0b	(* 0.01 (+ x y))
0.2b	(/ x (* 0.01 (+ x y)))

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-exp-log` `add-cbrt-cube`
8×	`add-sqr-sqrt` `*-un-lft-identity`
6×	`add-cube-cbrt`
4×	`pow1` `associate-r/` `associate-r*`
3×	`times-frac` `associate-l` `associate-/l*`
2×	`cbrt-undiv` `flip3-+` `div-exp` `prod-exp` `associate-/r/` `cbrt-unprod` `flip-+` `add-log-exp`
1×	`distribute-rgt-in` `frac-2neg` `distribute-lft-in` `pow-prod-down` `clear-num` `associate-/r` `-commutative` `div-inv` `distribute-lft-out` `unswap-sqr`

Counts

2 → 46

Calls

2 calls:

6.0ms	(* 0.01 (+ x y))
6.0ms	(/ x (* 0.01 (+ x y)))

series12.0ms

Counts

2 → 6

Calls

2 calls:

6.0ms	(* 0.01 (+ x y))
6.0ms	(/ x (* 0.01 (+ x y)))

simplify94.0ms

Algorithm

egg-herbie

Counts

52 → 52

Iterations

Useful iterations: 1 (6.0ms)

Iter	Nodes	Cost
0	195	201
1	918	172
2	4696	172
3	5001	172

prune42.0ms

Filtered

35 candidates to 52 candidates (-48.6%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	52	0	52
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	52	4	56

Merged error: 0b

Counts

56 → 4

regimes75.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	3
1	8	3

end0.0ms

sample548.0ms

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 98.05603%

Results

194.0ms

8000×

body

valid

Details

sample170.0ms

simplify6.0ms

prune2.0ms

localize4.0ms

rewrite6.0ms

series6.0ms

simplify64.0ms

prune40.0ms

localize4.0ms

rewrite17.0ms

series10.0ms

simplify45.0ms

prune121.0ms

localize4.0ms

rewrite16.0ms

series11.0ms

simplify84.0ms

prune73.0ms

localize4.0ms

rewrite13.0ms

series12.0ms

simplify94.0ms

prune42.0ms

regimes75.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample548.0ms

Profiling