Details

sample999.0ms

Algorithm

intervals

sampling

Space saved by range analysis: 24.292737%

Space saved by search: 0.097632%

Guaranteed chance to sample good point: 0%

Results

18.0ms	58×	body	1280	valid
15.0ms	52×	body	1280	invalid
8.0ms	47×	body	640	invalid
8.0ms	46×	body	640	valid
5.0ms	124×	body	80	valid
3.0ms	23×	body	320	invalid
2.0ms	15×	body	320	valid
1.0ms	13×	body	160	valid
1.0ms	19×	body	80	invalid
1.0ms	10×	body	160	invalid

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

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(* (cos x) (/ (sinh y) y))
0.0b	(/ (sinh y) y)
0.0b	(sinh y)

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

7.0ms	(* (cos x) (/ (sinh y) y))
8.0ms	(/ (sinh y) y)
1.0ms	(sinh y)

series41.0ms

Counts

3 → 9

Calls

3 calls:

20.0ms	(* (cos x) (/ (sinh y) y))
11.0ms	(/ (sinh y) y)
10.0ms	(sinh y)

simplify45.0ms

Algorithm

egg-herbie

Counts

77 → 77

Iterations

Useful iterations: 2 (39.0ms)

Iter	Nodes	Cost
0	324	427
1	1285	383
2	5001	381

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) y)
0.0b	(sinh y)
0.0b	(sinh y)
0.0b	(* (* (cos x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y)))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
18×	`times-frac`
16×	`associate-r`
13×	`sqrt-prod`
11×	`add-exp-log` `add-cbrt-cube`
9×	`pow1`
4×	`sqrt-div` `add-log-exp`
3×	`sinh-def` `associate-r/` `pow-prod-down` `prod-exp` `associate-/r` `cbrt-unprod` `associate-/l*`
2×	`div-inv`
1×	`cbrt-undiv` `frac-times` `frac-2neg` `div-exp` `associate-l` `associate-l/` `clear-num` `-commutative` `associate-/l/`

Counts

4 → 78

Calls

4 calls:

3.0ms	(/ (sinh y) y)
1.0ms	(sinh y)
1.0ms	(sinh y)
12.0ms	(* (* (cos x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y)))

series65.0ms

Counts

4 → 12

Calls

4 calls:

11.0ms	(/ (sinh y) y)
9.0ms	(sinh y)
8.0ms	(sinh y)
37.0ms	(* (* (cos x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y)))

simplify73.0ms

Algorithm

egg-herbie

Counts

90 → 90

Iterations

Useful iterations: 2 (65.0ms)

Iter	Nodes	Cost
0	619	735
1	3034	647
2	5002	643

prune109.0ms

Filtered

73 candidates to 90 candidates (-23.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	90	0	90
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	90	3	93

Merged error: 0b

Counts

93 → 3

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b	(sinh y)
0.0b	(sinh y)
0.1b	(/ (sqrt (sinh y)) y)
0.1b	(* (sqrt (sinh y)) (/ (sqrt (sinh y)) y))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

50×	`add-sqr-sqrt`
40×	`times-frac`
34×	`add-cube-cbrt` `*-un-lft-identity`
29×	`sqrt-prod`
22×	`associate-r`
11×	`add-exp-log` `add-cbrt-cube`
6×	`pow1` `associate-l` `associate-/l*` `unswap-sqr`
5×	`sinh-def`
4×	`add-log-exp`
3×	`sqrt-div` `associate-/r*`
2×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod` `div-inv`
1×	`frac-times` `frac-2neg` `associate-r/` `pow-prod-down` `associate-l/` `clear-num` `*-commutative` `associate-/l/`

Counts

4 → 106

Calls

4 calls:

1.0ms	(sinh y)
1.0ms	(sinh y)
4.0ms	(/ (sqrt (sinh y)) y)
11.0ms	(* (sqrt (sinh y)) (/ (sqrt (sinh y)) y))

series39.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(sinh y)
8.0ms	(sinh y)
13.0ms	(/ (sqrt (sinh y)) y)
11.0ms	(* (sqrt (sinh y)) (/ (sqrt (sinh y)) y))

simplify47.0ms

Algorithm

egg-herbie

Counts

118 → 118

Iterations

Useful iterations: 2 (36.0ms)

Iter	Nodes	Cost
0	365	815
1	1470	714
2	5001	683

prune94.0ms

Filtered

84 candidates to 118 candidates (-40.5%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	118	0	118
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	118	3	121

Merged error: 0b

Counts

121 → 3

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (cbrt (pow (sinh y) 3)) y)
0.0b	(sinh y)
0.0b	(pow (sinh y) 3)
40.2b	(cbrt (pow (sinh y) 3))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

60×	`cbrt-prod`
45×	`times-frac`
42×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
18×	`unpow-prod-down` `cube-prod`
15×	`associate-/l*`
7×	`add-exp-log`
6×	`cube-mult` `unpow3` `add-cbrt-cube` `sqr-pow`
5×	`pow1`
4×	`sinh-def` `add-log-exp`
3×	`cube-div` `pow-unpow` `associate-/r*`
2×	`cbrt-div`
1×	`cbrt-undiv` `pow-to-exp` `pow-pow` `frac-2neg` `pow1/3` `div-exp` `pow-exp` `clear-num` `rem-cbrt-cube` `div-inv` `associate-/l/` `rem-cube-cbrt`

Counts

4 → 130

Calls

4 calls:

8.0ms	(/ (cbrt (pow (sinh y) 3)) y)
1.0ms	(sinh y)
2.0ms	(pow (sinh y) 3)
3.0ms	(cbrt (pow (sinh y) 3))

series39.0ms

Counts

4 → 12

Calls

4 calls:

11.0ms	(/ (cbrt (pow (sinh y) 3)) y)
8.0ms	(sinh y)
13.0ms	(pow (sinh y) 3)
8.0ms	(cbrt (pow (sinh y) 3))

simplify45.0ms

Algorithm

egg-herbie

Counts

142 → 142

Iterations

Useful iterations: 2 (35.0ms)

Iter	Nodes	Cost
0	349	798
1	1319	722
2	5002	675

prune108.0ms

Filtered

77 candidates to 142 candidates (-84.4%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	142	0	142
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	142	3	145

Merged error: 0b

Counts

145 → 3

regimes145.0ms

Accuracy

0% (0.0b remaining)

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

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: 24.292737%

Space saved by search: 0.097632%

Guaranteed chance to sample good point: 0%

Results

524.0ms	1469×	body	1280	valid
480.0ms	1468×	body	1280	invalid
257.0ms	1241×	body	640	valid
251.0ms	1226×	body	640	invalid
209.0ms	4324×	body	80	valid
109.0ms	653×	body	320	invalid
97.0ms	665×	body	320	valid
30.0ms	295×	body	160	invalid
30.0ms	301×	body	160	valid
28.0ms	421×	body	80	invalid

Details

sample999.0ms

simplify79.0ms

prune3.0ms

localize7.0ms

rewrite19.0ms

series41.0ms

simplify45.0ms

prune80.0ms

localize9.0ms

rewrite20.0ms

series65.0ms

simplify73.0ms

prune109.0ms

localize8.0ms

rewrite21.0ms

series39.0ms

simplify47.0ms

prune94.0ms

localize9.0ms

rewrite19.0ms

series39.0ms

simplify45.0ms

prune108.0ms

regimes145.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample3.2s

Profiling