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

19.0ms	50×	body	1280	valid
15.0ms	47×	body	1280	invalid
10.0ms	46×	body	640	valid
9.0ms	42×	body	640	invalid
7.0ms	126×	body	80	valid
3.0ms	23×	body	320	valid
2.0ms	15×	body	320	invalid
1.0ms	11×	body	160	valid
1.0ms	11×	body	160	invalid
0.0ms	8×	body	80	invalid

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

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

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:

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

series32.0ms

Counts

3 → 9

Calls

3 calls:

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

simplify40.0ms

Algorithm

egg-herbie

Counts

78 → 78

Iterations

Useful iterations: 2 (34.0ms)

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

prune92.0ms

Filtered

59 candidates to 78 candidates (-32.2%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	70	8	78
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	70	9	79

Merged error: 0.0b

Counts

79 → 9

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

series33.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(cosh x)
17.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 (62.0ms)

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

prune151.0ms

Filtered

122 candidates to 198 candidates (-62.3%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	194	4	198
Fresh	4	3	7
Picked	0	1	1
Done	0	1	1
Total	198	9	207

Merged error: 0.0b

Counts

207 → 9

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

rewrite91.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)
40.0ms	(* (cosh x) (/ (/ 1 y) (/ 1 (sin y))))
3.0ms	(/ 1 (sin y))
13.0ms	(/ (/ 1 y) (/ 1 (sin y)))

series32.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify85.0ms

Algorithm

egg-herbie

Counts

499 → 499

Iterations

Useful iterations: 1 (38.0ms)

Iter	Nodes	Cost
0	1854	4754
1	5001	4118

prune481.0ms

Filtered

268 candidates to 499 candidates (-86.2%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	498	1	499
Fresh	0	6	6
Picked	1	0	1
Done	0	2	2
Total	499	9	508

Merged error: 0b

Counts

508 → 9

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

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

10.0ms	(* (cosh x) (/ 1 (* y (/ 1 (sin y)))))
3.0ms	(/ 1 (sin y))
7.0ms	(/ 1 (* y (/ 1 (sin y))))
7.0ms	(* y (/ 1 (sin y)))

series34.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify58.0ms

Algorithm

egg-herbie

Counts

165 → 165

Iterations

Useful iterations: 2 (48.0ms)

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

prune98.0ms

Filtered

79 candidates to 165 candidates (-108.9%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	165	0	165
Fresh	0	6	6
Picked	0	1	1
Done	0	2	2
Total	165	9	174

Merged error: 0b

Counts

174 → 9

regimes280.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.4s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 24.224854%

Guaranteed chance to sample good point: 65.46919%

Results

565.0ms	1561×	body	1280	valid
460.0ms	1476×	body	1280	invalid
259.0ms	1221×	body	640	invalid
257.0ms	1208×	body	640	valid
231.0ms	4309×	body	80	valid
90.0ms	621×	body	320	valid
89.0ms	589×	body	320	invalid
31.0ms	304×	body	160	invalid
30.0ms	301×	body	160	valid
23.0ms	399×	body	80	invalid

Details

sample1.3s

simplify92.0ms

prune3.0ms

localize7.0ms

rewrite13.0ms

series32.0ms

simplify40.0ms

prune92.0ms

localize10.0ms

rewrite32.0ms

series33.0ms

simplify78.0ms

prune151.0ms

localize9.0ms

rewrite91.0ms

series32.0ms

simplify85.0ms

prune481.0ms

localize10.0ms

rewrite32.0ms

series34.0ms

simplify58.0ms

prune98.0ms

regimes280.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample3.4s

Profiling