Details

analyze331.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
37.5%	50%	12.6%	7
37.5%	50%	12.6%	8
43.7%	37.5%	18.8%	9
43.7%	37.5%	18.8%	10
46.8%	31.2%	22%	11
46.8%	31.2%	22%	12
48.4%	28.1%	23.5%	13
48.4%	28.1%	23.5%	14

sample70.0ms

Algorithm

intervals

Results

19.0ms	70×	body	1024	invalid
15.0ms	58×	body	1024	valid
8.0ms	145×	body	128	valid
6.0ms	38×	body	512	valid
6.0ms	33×	body	512	invalid
2.0ms	15×	body	256	valid
1.0ms	25×	body	128	invalid
1.0ms	11×	body	256	invalid

simplify55.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	4986	11
1	4986	11

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

localize10.0ms

Local error

Found 3 expressions with local error:

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

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt_binary64`
19×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `times-frac_binary64`
13×	`associate-r_binary64`
10×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
5×	`pow1_binary64`
3×	`associate-/r_binary64` `add-log-exp_binary64` `associate-l_binary64` `associate-/l_binary64`
2×	`sinh-def_binary64` `cbrt-unprod_binary64` `cbrt-undiv_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `div-inv_binary64` `div-exp_binary64`
1×	`pow-prod-down_binary64` `associate-/l/_binary64` `associate-r/_binary64` `clear-num_binary64` `frac-2neg_binary64` `-commutative_binary64`

Counts

3 → 68

Calls

3 calls:

1.0ms	(sinh.f64 y)
8.0ms	(*.f64 (cos.f64 x) (/.f64 (sinh.f64 y) y))
4.0ms	(/.f64 (sinh.f64 y) y)

series398.0ms

Counts

3 → 9

Calls

3 calls:

72.0ms	(sinh.f64 y)
194.0ms	(*.f64 (cos.f64 x) (/.f64 (sinh.f64 y) y))
132.0ms	(/.f64 (sinh.f64 y) y)

simplify60.0ms

Algorithm

egg-herbie

Counts

77 → 77

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	4943	1002
1	4943	1002

prune48.0ms

Filtered

61 candidates to 77 candidates (-26.2%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	73	4	77
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	74	4	78

Merged error: 0.0b

Counts

78 → 4

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (sinh.f64 y) y)
0.0b	(cbrt.f64 (/.f64 (sinh.f64 y) y))
0.0b	(cbrt.f64 (/.f64 (sinh.f64 y) y))
0.0b	(cbrt.f64 (/.f64 (sinh.f64 y) y))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

39×	`cbrt-prod_binary64`
36×	`times-frac_binary64`
33×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
6×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
4×	`add-log-exp_binary64` `pow1_binary64` `div-inv_binary64`
3×	`cbrt-div_binary64` `associate-/r_binary64` `pow1/3_binary64` `associate-/l_binary64`
1×	`associate-/l/_binary64` `sinh-def_binary64` `cbrt-undiv_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-exp_binary64`

Counts

4 → 94

Calls

4 calls:

4.0ms	(/.f64 (sinh.f64 y) y)
5.0ms	(cbrt.f64 (/.f64 (sinh.f64 y) y))
3.0ms	(cbrt.f64 (/.f64 (sinh.f64 y) y))
3.0ms	(cbrt.f64 (/.f64 (sinh.f64 y) y))

series1.4s

Counts

4 → 12

Calls

4 calls:

127.0ms	(/.f64 (sinh.f64 y) y)
410.0ms	(cbrt.f64 (/.f64 (sinh.f64 y) y))
414.0ms	(cbrt.f64 (/.f64 (sinh.f64 y) y))
423.0ms	(cbrt.f64 (/.f64 (sinh.f64 y) y))

simplify68.0ms

Algorithm

egg-herbie

Counts

106 → 106

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	6674	1659

prune90.0ms

Filtered

93 candidates to 106 candidates (-14.0%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	106	0	106
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	106	4	110

Merged error: 0.0b

Counts

110 → 4

localize6.0ms

Local error

Found 3 expressions with local error:

0.0b	(sinh.f64 y)
0.1b	(*.f64 (sinh.f64 y) (cos.f64 x))
0.2b	(/.f64 (*.f64 (sinh.f64 y) (cos.f64 x)) y)

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
9×	`add-sqr-sqrt_binary64`
7×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
5×	`pow1_binary64`
3×	`associate-/r_binary64` `add-log-exp_binary64` `sinh-def_binary64` `associate-r_binary64` `associate-l*_binary64` `times-frac_binary64`
2×	`cbrt-unprod_binary64` `cbrt-undiv_binary64` `prod-exp_binary64` `div-exp_binary64` `associate-*l/_binary64`
1×	`pow-prod-down_binary64` `associate-/l/_binary64` `unswap-sqr_binary64` `clear-num_binary64` `frac-2neg_binary64` `associate-/l_binary64` `div-inv_binary64` `-commutative_binary64`

Counts

3 → 49

Calls

3 calls:

1.0ms	(sinh.f64 y)
4.0ms	(*.f64 (sinh.f64 y) (cos.f64 x))
6.0ms	(/.f64 (*.f64 (sinh.f64 y) (cos.f64 x)) y)

series370.0ms

Counts

3 → 9

Calls

3 calls:

84.0ms	(sinh.f64 y)
135.0ms	(*.f64 (sinh.f64 y) (cos.f64 x))
151.0ms	(/.f64 (*.f64 (sinh.f64 y) (cos.f64 x)) y)

simplify49.0ms

Algorithm

egg-herbie

Counts

58 → 58

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	5582	710

prune32.0ms

Filtered

44 candidates to 58 candidates (-31.8%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	57	1	58
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	57	5	62

Merged error: 0b

Counts

62 → 5

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(sinh.f64 y)
0.0b	(/.f64 (sinh.f64 y) y)
0.0b	(pow.f64 (/.f64 (sinh.f64 y) y) 3)
0.3b	(cbrt.f64 (pow.f64 (/.f64 (sinh.f64 y) y) 3))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

45×	`times-frac_binary64`
42×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
32×	`cbrt-prod_binary64`
26×	`unpow-prod-down_binary64` `cube-prod_binary64`
9×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
5×	`pow1_binary64` `div-inv_binary64`
4×	`add-log-exp_binary64`
3×	`pow-unpow_binary64` `associate-/r_binary64` `associate-/l_binary64`
2×	`sinh-def_binary64` `cbrt-undiv_binary64` `sqr-pow_binary64` `cube-div_binary64` `rem-cube-cbrt_binary64` `div-exp_binary64` `pow-exp_binary64` `unpow3_binary64` `cube-mult_binary64`
1×	`cbrt-div_binary64` `pow-to-exp_binary64` `associate-/l/_binary64` `rem-cbrt-cube_binary64` `pow1/3_binary64` `pow-pow_binary64` `clear-num_binary64` `frac-2neg_binary64`

Counts

4 → 124

Calls

4 calls:

1.0ms	(sinh.f64 y)
4.0ms	(/.f64 (sinh.f64 y) y)
5.0ms	(pow.f64 (/.f64 (sinh.f64 y) y) 3)
6.0ms	(cbrt.f64 (pow.f64 (/.f64 (sinh.f64 y) y) 3))

series552.0ms

Counts

4 → 12

Calls

4 calls:

68.0ms	(sinh.f64 y)
116.0ms	(/.f64 (sinh.f64 y) y)
234.0ms	(pow.f64 (/.f64 (sinh.f64 y) y) 3)
133.0ms	(cbrt.f64 (pow.f64 (/.f64 (sinh.f64 y) y) 3))

simplify46.0ms

Algorithm

egg-herbie

Counts

136 → 136

Iterations

Useful iterations: 0 (22.0ms)

Iter	Nodes	Cost
0	5197	1809

prune68.0ms

Filtered

81 candidates to 136 candidates (-67.9%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	135	1	136
Fresh	1	1	2
Picked	0	1	1
Done	0	2	2
Total	136	5	141

Merged error: 0b

Counts

141 → 5

regimes48.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	33
1	12	33

end0.0ms

sample1.9s

Algorithm

intervals

Results

472.0ms	1986×	body	1024	valid
425.0ms	1921×	body	1024	invalid
188.0ms	4473×	body	128	valid
188.0ms	740×	body	128	invalid
144.0ms	1029×	body	512	valid
143.0ms	1054×	body	512	invalid
52.0ms	509×	body	256	valid
49.0ms	491×	body	256	invalid
2.0ms	3×	body	2048	valid

Details

analyze331.0ms

sample70.0ms

simplify55.0ms

prune1.0ms

localize10.0ms

rewrite17.0ms

series398.0ms

simplify60.0ms

prune48.0ms

localize10.0ms

rewrite23.0ms

series1.4s

simplify68.0ms

prune90.0ms

localize6.0ms

rewrite14.0ms

series370.0ms

simplify49.0ms

prune32.0ms

localize9.0ms

rewrite27.0ms

series552.0ms

simplify46.0ms

prune68.0ms

regimes48.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.9s

Profiling