Details

sample1.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

22.0ms	60×	body	1280	valid
9.0ms	47×	body	640	invalid
9.0ms	31×	body	1280	invalid
7.0ms	140×	body	80	valid
6.0ms	28×	body	640	valid
3.0ms	19×	body	320	invalid
2.0ms	17×	body	320	valid
1.0ms	11×	body	160	valid
1.0ms	11×	body	160	invalid
1.0ms	14×	body	80	invalid

simplify85.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.2b

Counts

2 → 1

localize6.0ms

Local error

Found 3 expressions with local error:

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

rewrite13.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:

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

series30.0ms

Counts

3 → 9

Calls

3 calls:

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

simplify37.0ms

Algorithm

egg-herbie

Counts

78 → 78

Iterations

Useful iterations: 2 (31.0ms)

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

prune97.0ms

Filtered

59 candidates to 78 candidates (-32.2%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	68	10	78
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	68	11	79

Merged error: 0.0b

Counts

79 → 11

localize10.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)))

rewrite32.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)
14.0ms	(* (cosh x) (/ 1 (/ y (sin y))))
3.0ms	(/ y (sin y))
6.0ms	(/ 1 (/ y (sin y)))

series32.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify78.0ms

Algorithm

egg-herbie

Counts

198 → 198

Iterations

Useful iterations: 2 (61.0ms)

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

prune161.0ms

Filtered

123 candidates to 198 candidates (-61.0%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	197	1	198
Fresh	0	9	9
Picked	1	0	1
Done	0	1	1
Total	198	11	209

Merged error: 0.0b

Counts

209 → 11

localize9.0ms

Local error

Found 4 expressions with local error:

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

rewrite95.0ms

Algorithm

rewrite-expression-head

Rules

854×	`times-frac`
427×	`add-sqr-sqrt`
398×	`*-un-lft-identity`
392×	`add-cube-cbrt`
174×	`associate-r`
106×	`add-exp-log`
66×	`div-exp`
57×	`div-inv`
36×	`add-cbrt-cube`
17×	`cbrt-undiv` `rec-exp` `1-exp` `prod-exp`
16×	`associate-/r` `associate-/l`
10×	`unswap-sqr`
7×	`pow1`
5×	`cbrt-unprod`
4×	`add-log-exp`
3×	`cosh-def` `associate-l`
2×	`frac-2neg` `clear-num` `associate-/r/`
1×	`frac-times` `pow-flip` `associate-r/` `pow-prod-down` `associate-l/` `*-commutative` `associate-/l/` `inv-pow`

Counts

4 → 487

Calls

4 calls:

1.0ms	(cosh x)
42.0ms	(* (cosh x) (/ (/ 1 y) (/ 1 (sin y))))
3.0ms	(/ 1 (sin y))
13.0ms	(/ (/ 1 y) (/ 1 (sin y)))

series31.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify133.0ms

Algorithm

egg-herbie

Counts

499 → 499

Iterations

Useful iterations: 1 (61.0ms)

Iter	Nodes	Cost
0	1854	4754
1	5001	4118

prune512.0ms

Filtered

269 candidates to 499 candidates (-85.5%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	497	2	499
Fresh	1	8	9
Picked	0	1	1
Done	0	1	1
Total	498	12	510

Merged error: 0b

Counts

510 → 12

localize8.0ms

Local error

Found 3 expressions with local error:

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

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

27×	`add-exp-log`
19×	`add-sqr-sqrt`
17×	`add-cbrt-cube`
14×	`associate-r`
13×	`*-un-lft-identity` `prod-exp`
12×	`add-cube-cbrt`
11×	`times-frac`
10×	`pow1`
7×	`cbrt-unprod`
6×	`associate-l`
5×	`associate-*r/`
4×	`cosh-def` `div-exp` `pow-prod-down`
3×	`un-div-inv` `add-log-exp` `unswap-sqr`
2×	`cbrt-undiv` `frac-times` `rec-exp` `1-exp` `*-commutative`
1×	`associate-*l/` `div-inv`

Counts

3 → 71

Calls

3 calls:

1.0ms	(cosh x)
7.0ms	(* (cosh x) (* (sin y) (/ 1 y)))
8.0ms	(* (sin y) (/ 1 y))

series29.0ms

Counts

3 → 9

Calls

3 calls:

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

simplify44.0ms

Algorithm

egg-herbie

Counts

80 → 80

Iterations

Useful iterations: 2 (38.0ms)

Iter	Nodes	Cost
0	361	448
1	1482	363
2	5002	334

prune64.0ms

Filtered

53 candidates to 80 candidates (-50.9%)

Pruning

12 alts after pruning (9 fresh and 3 done)

	Pruned	Kept	Total
New	80	0	80
Fresh	0	9	9
Picked	0	1	1
Done	0	2	2
Total	80	12	92

Merged error: 0b

Counts

92 → 12

regimes350.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	7	4
1	7	4

end0.0ms

sample3.6s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 24.224854%

Guaranteed chance to sample good point: 65.46919%

Results

561.0ms	1564×	body	1280	valid
449.0ms	1461×	body	1280	invalid
266.0ms	1260×	body	640	valid
252.0ms	1249×	body	640	invalid
219.0ms	4224×	body	80	valid
94.0ms	639×	body	320	valid
89.0ms	603×	body	320	invalid
32.0ms	320×	body	160	invalid
31.0ms	313×	body	160	valid
24.0ms	417×	body	80	invalid

Details

sample1.3s

simplify85.0ms

prune3.0ms

localize6.0ms

rewrite13.0ms

series30.0ms

simplify37.0ms

prune97.0ms

localize10.0ms

rewrite32.0ms

series32.0ms

simplify78.0ms

prune161.0ms

localize9.0ms

rewrite95.0ms

series31.0ms

simplify133.0ms

prune512.0ms

localize8.0ms

rewrite19.0ms

series29.0ms

simplify44.0ms

prune64.0ms

regimes350.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample3.6s

Profiling