Details

sample1.0s

Algorithm

intervals

sampling

Space saved by range analysis: 12.195185%

Space saved by search: 0.097632%

Guaranteed chance to sample good point: 0%

Results

19.0ms	43×	body	1280	valid
19.0ms	47×	body	1280	invalid
16.0ms	48×	body	640	invalid
10.0ms	41×	body	640	valid
9.0ms	131×	body	80	valid
5.0ms	76×	body	80	invalid
4.0ms	25×	body	320	valid
3.0ms	17×	body	320	invalid
2.0ms	16×	body	160	valid
1.0ms	11×	body	160	invalid

simplify74.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	15	4
1	30	4
2	66	4
3	137	4
4	262	4
5	500	4
6	1427	4
7	4640	4
8	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.0b

Counts

2 → 1

localize6.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (sinh y) y)
0.0b	(sinh y)
0.0b	(* (sin x) (/ (sinh 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×	`associate-l` `associate-/r` `associate-/l` `add-log-exp`
2×	`cbrt-undiv` `sinh-def` `div-exp` `prod-exp` `cbrt-unprod` `div-inv` `unswap-sqr`
1×	`frac-2neg` `associate-r/` `pow-prod-down` `clear-num` `-commutative` `associate-/l/`

Counts

3 → 68

Calls

3 calls:

3.0ms	(/ (sinh y) y)
1.0ms	(sinh y)
7.0ms	(* (sin x) (/ (sinh y) y))

series39.0ms

Counts

3 → 9

Calls

3 calls:

11.0ms	(/ (sinh y) y)
8.0ms	(sinh y)
20.0ms	(* (sin x) (/ (sinh y) y))

simplify39.0ms

Algorithm

egg-herbie

Counts

77 → 77

Iterations

Useful iterations: 2 (33.0ms)

Iter	Nodes	Cost
0	333	428
1	1323	384
2	5002	382

prune80.0ms

Filtered

60 candidates to 77 candidates (-28.3%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	74	3	77
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	75	3	78

Merged error: 0b

Counts

78 → 3

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(sinh y)
0.0b	(sinh y)
0.0b	(* (sin x) (sqrt (/ (sinh y) y)))
0.0b	(* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y)))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

32×	`associate-r`
28×	`add-sqr-sqrt` `sqrt-prod`
21×	`add-cube-cbrt` `*-un-lft-identity`
19×	`times-frac`
11×	`pow1` `add-exp-log` `add-cbrt-cube`
5×	`sqrt-div`
4×	`associate-r/` `associate-l*` `pow-prod-down` `prod-exp` `cbrt-unprod` `add-log-exp`
3×	`unswap-sqr`
2×	`sinh-def` `*-commutative` `div-inv`
1×	`frac-times` `associate-*l/`

Counts

4 → 84

Calls

4 calls:

1.0ms	(sinh y)
1.0ms	(sinh y)
8.0ms	(* (sin x) (sqrt (/ (sinh y) y)))
12.0ms	(* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y)))

series101.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(sinh y)
9.0ms	(sinh y)
43.0ms	(* (sin x) (sqrt (/ (sinh y) y)))
41.0ms	(* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y)))

simplify31.0ms

Algorithm

egg-herbie

Counts

96 → 96

Iterations

Useful iterations: 1 (21.0ms)

Iter	Nodes	Cost
0	912	1052
1	5001	950

prune129.0ms

Filtered

77 candidates to 96 candidates (-24.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	96	0	96
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	96	3	99

Merged error: 0b

Counts

99 → 3

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(sinh y)
0.0b	(* (sin x) (cbrt (pow (/ (sinh y) y) 3)))
0.0b	(cbrt (pow (/ (sinh y) y) 3))
0.0b	(pow (/ (sinh y) y) 3)

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

70×	`cbrt-prod`
66×	`add-sqr-sqrt`
56×	`times-frac`
51×	`add-cube-cbrt` `*-un-lft-identity`
41×	`unpow-prod-down` `cube-prod`
35×	`associate-r`
9×	`add-exp-log`
8×	`add-cbrt-cube`
7×	`pow1` `unswap-sqr`
6×	`div-inv`
4×	`add-log-exp` `sqr-pow`
3×	`cube-div` `cube-mult` `pow-unpow` `unpow3` `associate-l`
2×	`cbrt-div` `pow-exp` `rem-cube-cbrt`
1×	`cbrt-undiv` `pow-to-exp` `sinh-def` `pow-pow` `pow1/3` `associate-r/` `div-exp` `pow-prod-down` `prod-exp` `-commutative` `rem-cbrt-cube` `cbrt-unprod`

Counts

4 → 153

Calls

4 calls:

1.0ms	(sinh y)
14.0ms	(* (sin x) (cbrt (pow (/ (sinh y) y) 3)))
5.0ms	(cbrt (pow (/ (sinh y) y) 3))
5.0ms	(pow (/ (sinh y) y) 3)

series61.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(sinh y)
22.0ms	(* (sin x) (cbrt (pow (/ (sinh y) y) 3)))
13.0ms	(cbrt (pow (/ (sinh y) y) 3))
18.0ms	(pow (/ (sinh y) y) 3)

simplify76.0ms

Algorithm

egg-herbie

Counts

165 → 165

Iterations

Useful iterations: 2 (62.0ms)

Iter	Nodes	Cost
0	590	1050
1	2752	948
2	5001	927

prune142.0ms

Filtered

93 candidates to 165 candidates (-77.4%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	165	0	165
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	165	3	168

Merged error: 0b

Counts

168 → 3

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (cbrt (/ (sinh y) y)) (cbrt (/ (sinh y) y)))
0.0b	(cbrt (/ (sinh y) y))
0.0b	(cbrt (/ (sinh y) y))
0.0b	(cbrt (/ (sinh y) y))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

103×	`cbrt-prod`
81×	`add-sqr-sqrt`
69×	`times-frac`
57×	`add-cube-cbrt` `*-un-lft-identity`
16×	`swap-sqr` `associate-r` `associate-l`
11×	`pow1`
9×	`pow1/3` `unswap-sqr`
7×	`cbrt-div` `div-inv`
6×	`add-exp-log`
4×	`add-cbrt-cube` `add-log-exp`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `frac-times` `pow-plus` `associate-r/` `associate-l/` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 144

Calls

4 calls:

13.0ms	(* (cbrt (/ (sinh y) y)) (cbrt (/ (sinh y) y)))
2.0ms	(cbrt (/ (sinh y) y))
2.0ms	(cbrt (/ (sinh y) y))
2.0ms	(cbrt (/ (sinh y) y))

series158.0ms

Counts

4 → 12

Calls

4 calls:

45.0ms	(* (cbrt (/ (sinh y) y)) (cbrt (/ (sinh y) y)))
36.0ms	(cbrt (/ (sinh y) y))
36.0ms	(cbrt (/ (sinh y) y))
40.0ms	(cbrt (/ (sinh y) y))

simplify50.0ms

Algorithm

egg-herbie

Counts

156 → 156

Iterations

Useful iterations: 2 (35.0ms)

Iter	Nodes	Cost
0	349	1437
1	1186	1386
2	5002	1321

prune148.0ms

Filtered

126 candidates to 156 candidates (-23.8%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	156	0	156
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	156	3	159

Merged error: 0b

Counts

159 → 3

regimes152.0ms

Accuracy

0% (0.0b remaining)

Error of 0.1b against oracle of 0.1b and baseline of 0.1b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	9
1	10	9

end0.0ms

sample3.2s

Algorithm

intervals

sampling

Space saved by range analysis: 12.195185%

Space saved by search: 0.097632%

Guaranteed chance to sample good point: 0%

Results

481.0ms	1459×	body	1280	valid
441.0ms	1472×	body	1280	invalid
264.0ms	1317×	body	640	valid
223.0ms	1147×	body	640	invalid
204.0ms	4264×	body	80	valid
125.0ms	2364×	body	80	invalid
83.0ms	579×	body	320	invalid
80.0ms	591×	body	320	valid
35.0ms	369×	body	160	valid
28.0ms	278×	body	160	invalid

Details

sample1.0s

simplify74.0ms

prune3.0ms

localize6.0ms

rewrite13.0ms

series39.0ms

simplify39.0ms

prune80.0ms

localize9.0ms

rewrite25.0ms

series101.0ms

simplify31.0ms

prune129.0ms

localize9.0ms

rewrite34.0ms

series61.0ms

simplify76.0ms

prune142.0ms

localize11.0ms

rewrite26.0ms

series158.0ms

simplify50.0ms

prune148.0ms

regimes152.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample3.2s

Profiling