Details

sample4.0s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 24.224854%

Guaranteed chance to sample good point: 65.46919%

Results

19.0ms	52×	body	1280	valid
12.0ms	38×	body	1280	invalid
10.0ms	48×	body	640	valid
8.0ms	40×	body	640	invalid
6.0ms	120×	body	80	valid
3.0ms	22×	body	320	valid
3.0ms	18×	body	320	invalid
1.0ms	14×	body	160	valid
1.0ms	10×	body	160	invalid
1.0ms	14×	body	80	invalid

simplify94.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	15	4
1	28	4
2	56	4
3	98	4
4	143	4
5	310	4
6	877	4
7	1781	4
8	4989	4
9	5001	4

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

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(cosh x)
0.0b	(* (cosh x) (/ (sin y) y))
0.1b	(/ (sin y) y)

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt`
19×	`add-cube-cbrt` `*-un-lft-identity` `times-frac`
13×	`associate-r`
10×	`add-exp-log` `add-cbrt-cube`
5×	`pow1`
3×	`cosh-def` `associate-l` `associate-/r` `associate-/l` `add-log-exp`
2×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod` `div-inv` `unswap-sqr`
1×	`frac-times` `frac-2neg` `associate-r/` `pow-prod-down` `associate-l/` `clear-num` `*-commutative`

Counts

3 → 69

Calls

3 calls:

1.0ms	(cosh x)
7.0ms	(* (cosh x) (/ (sin y) y))
4.0ms	(/ (sin y) y)

series29.0ms

Counts

3 → 9

Calls

3 calls:

6.0ms	(cosh x)
18.0ms	(* (cosh x) (/ (sin y) y))
4.0ms	(/ (sin y) y)

simplify39.0ms

Algorithm

egg-herbie

Counts

78 → 78

Iterations

Useful iterations: 2 (33.0ms)

Iter	Nodes	Cost
0	291	432
1	1111	386
2	5001	364

prune93.0ms

Filtered

59 candidates to 78 candidates (-32.2%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	71	7	78
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	71	8	79

Merged error: 0.0b

Counts

79 → 8

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b	(cosh x)
0.0b	(* (cosh x) (/ 1 (/ y (sin y))))
0.1b	(/ y (sin y))
0.2b	(/ 1 (/ y (sin y)))

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

156×	`times-frac`
104×	`add-sqr-sqrt`
92×	`*-un-lft-identity`
90×	`add-cube-cbrt`
44×	`associate-r`
36×	`add-exp-log`
20×	`add-cbrt-cube`
16×	`associate-/r*`
15×	`div-exp`
10×	`div-inv`
7×	`pow1` `cbrt-undiv` `prod-exp`
6×	`associate-/l*`
5×	`unswap-sqr`
4×	`rec-exp` `1-exp` `add-log-exp`
3×	`cosh-def` `associate-l` `cbrt-unprod`
2×	`frac-2neg` `clear-num` `associate-/r/`
1×	`frac-times` `pow-flip` `associate-r/` `pow-prod-down` `associate-l/` `un-div-inv` `*-commutative` `inv-pow`

Counts

4 → 186

Calls

4 calls:

1.0ms	(cosh x)
16.0ms	(* (cosh x) (/ 1 (/ y (sin y))))
3.0ms	(/ y (sin y))
6.0ms	(/ 1 (/ y (sin y)))

series37.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(cosh x)
20.0ms	(* (cosh x) (/ 1 (/ y (sin y))))
6.0ms	(/ y (sin y))
4.0ms	(/ 1 (/ y (sin y)))

simplify81.0ms

Algorithm

egg-herbie

Counts

198 → 198

Iterations

Useful iterations: 2 (67.0ms)

Iter	Nodes	Cost
0	644	1359
1	3041	1184
2	5002	1051

prune162.0ms

Filtered

123 candidates to 198 candidates (-61.0%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	192	6	198
Fresh	4	2	6
Picked	0	1	1
Done	0	1	1
Total	196	10	206

Merged error: 0.0b

Counts

206 → 10

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(cosh x)
0.0b	(/ (cosh x) y)
0.3b	(* (/ (cosh x) y) (sin y))

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt`
19×	`add-cube-cbrt` `*-un-lft-identity` `times-frac`
13×	`associate-l`
10×	`add-exp-log` `add-cbrt-cube`
5×	`pow1`
3×	`associate-r` `associate-/r` `associate-/l` `add-log-exp`
2×	`cbrt-undiv` `cosh-def` `div-exp` `prod-exp` `cbrt-unprod` `div-inv` `unswap-sqr`
1×	`frac-2neg` `pow-prod-down` `associate-l/` `clear-num` `-commutative` `associate-/l/`

Counts

3 → 68

Calls

3 calls:

1.0ms	(cosh x)
3.0ms	(/ (cosh x) y)
6.0ms	(* (/ (cosh x) y) (sin y))

series35.0ms

Counts

3 → 9

Calls

3 calls:

6.0ms	(cosh x)
12.0ms	(/ (cosh x) y)
17.0ms	(* (/ (cosh x) y) (sin y))

simplify34.0ms

Algorithm

egg-herbie

Counts

77 → 77

Iterations

Useful iterations: 2 (28.0ms)

Iter	Nodes	Cost
0	296	426
1	987	378
2	5002	351

prune87.0ms

Filtered

58 candidates to 77 candidates (-32.8%)

Pruning

11 alts after pruning (8 fresh and 3 done)

	Pruned	Kept	Total
New	76	1	77
Fresh	0	7	7
Picked	0	1	1
Done	0	2	2
Total	76	11	87

Merged error: 0b

Counts

87 → 11

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (cosh x) (/ 1 (* y (/ 1 (sin y)))))
0.1b	(/ 1 (sin y))
0.2b	(/ 1 (* y (/ 1 (sin y))))
0.2b	(* y (/ 1 (sin y)))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

104×	`add-exp-log`
44×	`prod-exp`
36×	`div-exp`
34×	`add-sqr-sqrt` `add-cbrt-cube`
26×	`*-un-lft-identity` `times-frac`
25×	`add-cube-cbrt`
22×	`associate-r`
18×	`rec-exp` `1-exp`
12×	`pow1`
10×	`cbrt-undiv` `cbrt-unprod`
6×	`associate-l` `associate-/l*`
4×	`associate-r/` `associate-/r` `associate-/r/` `un-div-inv` `div-inv` `add-log-exp` `unswap-sqr`
3×	`pow-flip` `pow-prod-down`
2×	`cosh-def` `frac-2neg` `clear-num` `*-commutative` `inv-pow`
1×	`frac-times` `associate-*l/`

Counts

4 → 153

Calls

4 calls:

11.0ms	(* (cosh x) (/ 1 (* y (/ 1 (sin y)))))
4.0ms	(/ 1 (sin y))
7.0ms	(/ 1 (* y (/ 1 (sin y))))
7.0ms	(* y (/ 1 (sin y)))

series32.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(* (cosh x) (/ 1 (* y (/ 1 (sin y)))))
4.0ms	(/ 1 (sin y))
4.0ms	(/ 1 (* y (/ 1 (sin y))))
6.0ms	(* y (/ 1 (sin y)))

simplify67.0ms

Algorithm

egg-herbie

Counts

165 → 165

Iterations

Useful iterations: 2 (53.0ms)

Iter	Nodes	Cost
0	532	900
1	2400	706
2	5001	654

prune97.0ms

Filtered

77 candidates to 165 candidates (-114.3%)

Pruning

11 alts after pruning (7 fresh and 4 done)

	Pruned	Kept	Total
New	165	0	165
Fresh	0	7	7
Picked	0	1	1
Done	0	3	3
Total	165	11	176

Merged error: 0b

Counts

176 → 11

regimes323.0ms

Accuracy

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

end0.0ms

sample6.3s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 24.224854%

Guaranteed chance to sample good point: 65.46919%

Results

544.0ms	1476×	body	1280	valid
458.0ms	1474×	body	1280	invalid
282.0ms	1303×	body	640	valid
272.0ms	1272×	body	640	invalid
236.0ms	4231×	body	80	valid
103.0ms	673×	body	320	valid
89.0ms	604×	body	320	invalid
33.0ms	317×	body	160	valid
32.0ms	307×	body	160	invalid
25.0ms	404×	body	80	invalid

Details

sample4.0s

simplify94.0ms

prune3.0ms

localize10.0ms

rewrite14.0ms

series29.0ms

simplify39.0ms

prune93.0ms

localize8.0ms

rewrite35.0ms

series37.0ms

simplify81.0ms

prune162.0ms

localize7.0ms

rewrite13.0ms

series35.0ms

simplify34.0ms

prune87.0ms

localize9.0ms

rewrite34.0ms

series32.0ms

simplify67.0ms

prune97.0ms

regimes323.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample6.3s

Profiling