bernoullicharts/cos_x__bound.svg

<?xml version="1.0" encoding="utf-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
  "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Created with matplotlib (https://matplotlib.org/) -->
<svg height="345.6pt" version="1.1" viewBox="0 0 460.8 345.6" width="460.8pt" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
 <defs>
  <style type="text/css">
*{stroke-linecap:butt;stroke-linejoin:round;}
  </style>
 </defs>
 <g id="figure_1">
  <g id="patch_1">
   <path d="M 0 345.6 
L 460.8 345.6 
L 460.8 0 
L 0 0 
z
" style="fill:#ffffff;"/>
  </g>
  <g id="axes_1">
   <g id="patch_2">
    <path d="M 57.6 307.584 
L 414.72 307.584 
L 414.72 41.472 
L 57.6 41.472 
z
" style="fill:#ffffff;"/>
   </g>
   <g id="matplotlib.axis_1">
    <g id="xtick_1">
     <g id="line2d_1">
      <defs>
       <path d="M 0 0 
L 0 3.5 
" id="m19de636710" style="stroke:#000000;stroke-width:0.8;"/>
      </defs>
      <g>
       <use style="stroke:#000000;stroke-width:0.8;" x="73.800255" xlink:href="#m19de636710" y="307.584"/>
      </g>
     </g>
     <g id="text_1">
      <text style="font-family:DejaVu Sans;font-size:10px;font-style:normal;font-weight:normal;text-anchor:middle;" transform="rotate(-0, 73.800255, 322.182437)" x="73.800255" y="322.182437">0.0</text>
     </g>
    </g>
    <g id="xtick_2">
     <g id="line2d_2">
      <g>
       <use style="stroke:#000000;stroke-width:0.8;" x="138.744153" xlink:href="#m19de636710" y="307.584"/>
      </g>
     </g>
     <g id="text_2">
      <text style="font-family:DejaVu Sans;font-size:10px;font-style:normal;font-weight:normal;text-anchor:middle;" transform="rotate(-0, 138.744153, 322.182437)" x="138.744153" y="322.182437">0.2</text>
     </g>
    </g>
    <g id="xtick_3">
     <g id="line2d_3">
      <g>
       <use style="stroke:#000000;stroke-width:0.8;" x="203.688051" xlink:href="#m19de636710" y="307.584"/>
      </g>
     </g>
     <g id="text_3">
      <text style="font-family:DejaVu Sans;font-size:10px;font-style:normal;font-weight:normal;text-anchor:middle;" transform="rotate(-0, 203.688051, 322.182437)" x="203.688051" y="322.182437">0.4</text>
     </g>
    </g>
    <g id="xtick_4">
     <g id="line2d_4">
      <g>
       <use style="stroke:#000000;stroke-width:0.8;" x="268.631949" xlink:href="#m19de636710" y="307.584"/>
      </g>
     </g>
     <g id="text_4">
      <text style="font-family:DejaVu Sans;font-size:10px;font-style:normal;font-weight:normal;text-anchor:middle;" transform="rotate(-0, 268.631949, 322.182437)" x="268.631949" y="322.182437">0.6</text>
     </g>
    </g>
    <g id="xtick_5">
     <g id="line2d_5">
      <g>
       <use style="stroke:#000000;stroke-width:0.8;" x="333.575847" xlink:href="#m19de636710" y="307.584"/>
      </g>
     </g>
     <g id="text_5">
      <text style="font-family:DejaVu Sans;font-size:10px;font-style:normal;font-weight:normal;text-anchor:middle;" transform="rotate(-0, 333.575847, 322.182437)" x="333.575847" y="322.182437">0.8</text>
     </g>
    </g>
    <g id="xtick_6">
     <g id="line2d_6">
      <g>
       <use style="stroke:#000000;stroke-width:0.8;" x="398.519745" xlink:href="#m19de636710" y="307.584"/>
      </g>
     </g>
     <g id="text_6">
      <text style="font-family:DejaVu Sans;font-size:10px;font-style:normal;font-weight:normal;text-anchor:middle;" transform="rotate(-0, 398.519745, 322.182437)" x="398.519745" y="322.182437">1.0</text>
     </g>
    </g>
    <g id="text_7">
     <text style="font-family:DejaVu Sans;font-size:10px;font-style:normal;font-weight:normal;text-anchor:middle;" transform="rotate(-0, 236.16, 335.860562)" x="236.16" y="335.860562">Input Coin's Heads Probability (λ)</text>
    </g>
   </g>
   <g id="matplotlib.axis_2">
    <g id="ytick_1">
     <g id="line2d_7">
      <defs>
       <path d="M 0 0 
L -3.5 0 
" id="m5a57c40a56" style="stroke:#000000;stroke-width:0.8;"/>
      </defs>
      <g>
       <use style="stroke:#000000;stroke-width:0.8;" x="57.6" xlink:href="#m5a57c40a56" y="295.50335"/>
      </g>
     </g>
     <g id="text_8">
      <text style="font-family:DejaVu Sans;font-size:10px;font-style:normal;font-weight:normal;text-anchor:end;" transform="rotate(-0, 50.6, 299.302568)" x="50.6" y="299.302568">0.0</text>
     </g>
    </g>
    <g id="ytick_2">
     <g id="line2d_8">
      <g>
       <use style="stroke:#000000;stroke-width:0.8;" x="57.6" xlink:href="#m5a57c40a56" y="257.12528"/>
      </g>
     </g>
     <g id="text_9">
      <text style="font-family:DejaVu Sans;font-size:10px;font-style:normal;font-weight:normal;text-anchor:end;" transform="rotate(-0, 50.6, 260.924499)" x="50.6" y="260.924499">0.5</text>
     </g>
    </g>
    <g id="ytick_3">
     <g id="line2d_9">
      <g>
       <use style="stroke:#000000;stroke-width:0.8;" x="57.6" xlink:href="#m5a57c40a56" y="218.747211"/>
      </g>
     </g>
     <g id="text_10">
      <text style="font-family:DejaVu Sans;font-size:10px;font-style:normal;font-weight:normal;text-anchor:end;" transform="rotate(-0, 50.6, 222.54643)" x="50.6" y="222.54643">1.0</text>
     </g>
    </g>
    <g id="ytick_4">
     <g id="line2d_10">
      <g>
       <use style="stroke:#000000;stroke-width:0.8;" x="57.6" xlink:href="#m5a57c40a56" y="180.369141"/>
      </g>
     </g>
     <g id="text_11">
      <text style="font-family:DejaVu Sans;font-size:10px;font-style:normal;font-weight:normal;text-anchor:end;" transform="rotate(-0, 50.6, 184.16836)" x="50.6" y="184.16836">1.5</text>
     </g>
    </g>
    <g id="ytick_5">
     <g id="line2d_11">
      <g>
       <use style="stroke:#000000;stroke-width:0.8;" x="57.6" xlink:href="#m5a57c40a56" y="141.991072"/>
      </g>
     </g>
     <g id="text_12">
      <text style="font-family:DejaVu Sans;font-size:10px;font-style:normal;font-weight:normal;text-anchor:end;" transform="rotate(-0, 50.6, 145.790291)" x="50.6" y="145.790291">2.0</text>
     </g>
    </g>
    <g id="ytick_6">
     <g id="line2d_12">
      <g>
       <use style="stroke:#000000;stroke-width:0.8;" x="57.6" xlink:href="#m5a57c40a56" y="103.613003"/>
      </g>
     </g>
     <g id="text_13">
      <text style="font-family:DejaVu Sans;font-size:10px;font-style:normal;font-weight:normal;text-anchor:end;" transform="rotate(-0, 50.6, 107.412221)" x="50.6" y="107.412221">2.5</text>
     </g>
    </g>
    <g id="ytick_7">
     <g id="line2d_13">
      <g>
       <use style="stroke:#000000;stroke-width:0.8;" x="57.6" xlink:href="#m5a57c40a56" y="65.234933"/>
      </g>
     </g>
     <g id="text_14">
      <text style="font-family:DejaVu Sans;font-size:10px;font-style:normal;font-weight:normal;text-anchor:end;" transform="rotate(-0, 50.6, 69.034152)" x="50.6" y="69.034152">3.0</text>
     </g>
    </g>
    <g id="text_15">
     <text style="font-family:DejaVu Sans;font-size:10px;font-style:normal;font-weight:normal;text-anchor:middle;" transform="rotate(-90, 28.617187, 174.528)" x="28.617187" y="174.528">Coin Flips Needed</text>
    </g>
   </g>
   <g id="line2d_14">
    <path clip-path="url(#p914563fd8b)" d="M 73.832727 295.488 
L 77.112066 293.953607 
L 80.391405 292.450294 
L 83.670744 290.977838 
L 86.950083 289.536024 
L 90.229421 288.124648 
L 93.50876 286.743514 
L 96.788099 285.392435 
L 100.067438 284.071233 
L 103.346777 282.779737 
L 106.626116 281.517786 
L 109.905455 280.285225 
L 113.184793 279.081911 
L 116.464132 277.907704 
L 119.743471 276.762477 
L 123.02281 275.646106 
L 126.302149 274.55848 
L 129.581488 273.499491 
L 132.860826 272.469042 
L 136.140165 271.467042 
L 139.419504 270.493409 
L 142.698843 269.548067 
L 145.978182 268.63095 
L 149.257521 267.741997 
L 152.53686 266.881157 
L 155.816198 266.048385 
L 159.095537 265.243646 
L 162.374876 264.46691 
L 165.654215 263.718158 
L 168.933554 262.997377 
L 172.212893 262.304562 
L 175.492231 261.639717 
L 178.77157 261.002854 
L 182.050909 260.393994 
L 185.330248 259.813165 
L 188.609587 259.260405 
L 191.888926 258.73576 
L 195.168264 258.239287 
L 198.447603 257.77105 
L 201.726942 257.331124 
L 205.006281 256.919592 
L 208.28562 256.536549 
L 211.564959 256.182099 
L 214.844298 255.856356 
L 218.123636 255.559446 
L 221.402975 255.291505 
L 224.682314 255.052682 
L 227.961653 254.843137 
L 231.240992 254.663042 
L 234.520331 254.512582 
L 237.799669 254.391955 
L 241.079008 254.301373 
L 244.358347 254.241062 
L 247.637686 254.211262 
L 250.917025 254.21223 
L 254.196364 254.244238 
L 257.475702 254.307575 
L 260.755041 254.402545 
L 264.03438 254.529475 
L 267.313719 254.688706 
L 270.593058 254.880603 
L 273.872397 255.105548 
L 277.151736 255.363948 
L 280.431074 255.656231 
L 283.710413 255.98285 
L 286.989752 256.344282 
L 290.269091 256.741033 
L 293.54843 257.173633 
L 296.827769 257.642646 
L 300.107107 258.148663 
L 303.386446 258.692311 
L 306.665785 259.274251 
L 309.945124 259.895178 
L 313.224463 260.555829 
L 316.503802 261.256981 
L 319.78314 261.999454 
L 323.062479 262.784115 
L 326.341818 263.611879 
L 329.621157 264.483715 
L 332.900496 265.400645 
L 336.179835 266.363753 
L 339.459174 267.374183 
L 342.738512 268.433148 
L 346.017851 269.541933 
L 349.29719 270.701899 
L 352.576529 271.914488 
L 355.855868 273.181233 
L 359.135207 274.503759 
L 362.414545 275.883791 
L 365.693884 277.323167 
L 368.973223 278.823837 
L 372.252562 280.387881 
L 375.531901 282.017514 
L 378.81124 283.715095 
L 382.090579 285.483145 
L 385.369917 287.324355 
L 388.649256 289.241602 
L 391.928595 291.237965 
L 395.207934 293.316743 
L 398.487273 295.481472 
" style="fill:none;stroke:#1f77b4;stroke-linecap:square;stroke-width:1.5;"/>
   </g>
   <g id="line2d_15">
    <path clip-path="url(#p914563fd8b)" d="M 73.832727 218.747211 
L 77.112066 218.286674 
L 80.391405 216.905063 
L 83.670744 216.291014 
L 86.950083 216.751551 
L 90.229421 215.369941 
L 93.50876 212.760232 
L 96.788099 214.909404 
L 100.067438 212.60672 
L 103.346777 211.225109 
L 106.626116 208.001351 
L 109.905455 209.382962 
L 113.184793 209.843499 
L 116.464132 205.85218 
L 119.743471 206.619741 
L 123.02281 204.777594 
L 126.302149 204.624081 
L 129.581488 204.624081 
L 132.860826 203.088959 
L 136.140165 203.549495 
L 139.419504 201.400323 
L 142.698843 196.334418 
L 145.978182 198.330078 
L 149.257521 200.786274 
L 152.53686 197.409004 
L 155.816198 193.417685 
L 159.095537 195.10632 
L 162.374876 196.487931 
L 165.654215 191.882562 
L 168.933554 192.803636 
L 172.212893 193.878222 
L 175.492231 187.737731 
L 178.77157 186.509633 
L 182.050909 186.35612 
L 185.330248 191.575538 
L 188.609587 186.970169 
L 191.888926 182.97885 
L 195.168264 181.443727 
L 198.447603 180.522654 
L 201.726942 178.680506 
L 205.006281 179.294555 
L 208.28562 178.834019 
L 211.564959 175.763773 
L 214.844298 173.461089 
L 218.123636 168.548696 
L 221.402975 171.772454 
L 224.682314 166.399524 
L 227.961653 172.232991 
L 231.240992 167.934647 
L 234.520331 163.789815 
L 237.799669 164.710889 
L 241.079008 159.644984 
L 244.358347 157.495812 
L 247.637686 161.180107 
L 250.917025 160.105521 
L 254.196364 157.035275 
L 257.475702 154.118542 
L 260.755041 151.662345 
L 264.03438 147.056977 
L 267.313719 153.350981 
L 270.593058 149.666686 
L 273.872397 148.899124 
L 277.151736 142.144584 
L 280.431074 143.526195 
L 283.710413 138.613802 
L 286.989752 137.078679 
L 290.269091 136.311118 
L 293.54843 140.302437 
L 296.827769 132.166286 
L 300.107107 127.71443 
L 303.386446 135.697069 
L 306.665785 133.547897 
L 309.945124 127.253893 
L 313.224463 130.631163 
L 316.503802 122.95555 
L 319.78314 124.183648 
L 323.062479 115.433448 
L 326.341818 110.674567 
L 329.621157 117.429108 
L 332.900496 114.051837 
L 336.179835 111.442129 
L 339.459174 104.994613 
L 342.738512 104.073539 
L 346.017851 103.920027 
L 349.29719 98.240073 
L 352.576529 97.011975 
L 355.855868 88.568799 
L 359.135207 97.472511 
L 362.414545 89.95041 
L 365.693884 87.647726 
L 368.973223 84.116943 
L 372.252562 76.594842 
L 375.531901 80.279136 
L 378.81124 71.682449 
L 382.090579 66.309519 
L 385.369917 68.305179 
L 388.649256 66.309519 
L 391.928595 61.397126 
L 395.207934 66.309519 
L 398.487273 53.568 
" style="fill:none;stroke:#ff7f0e;stroke-linecap:square;stroke-width:1.5;"/>
   </g>
   <g id="patch_3">
    <path d="M 57.6 307.584 
L 57.6 41.472 
" style="fill:none;stroke:#000000;stroke-linecap:square;stroke-linejoin:miter;stroke-width:0.8;"/>
   </g>
   <g id="patch_4">
    <path d="M 414.72 307.584 
L 414.72 41.472 
" style="fill:none;stroke:#000000;stroke-linecap:square;stroke-linejoin:miter;stroke-width:0.8;"/>
   </g>
   <g id="patch_5">
    <path d="M 57.6 307.584 
L 414.72 307.584 
" style="fill:none;stroke:#000000;stroke-linecap:square;stroke-linejoin:miter;stroke-width:0.8;"/>
   </g>
   <g id="patch_6">
    <path d="M 57.6 41.472 
L 414.72 41.472 
" style="fill:none;stroke:#000000;stroke-linecap:square;stroke-linejoin:miter;stroke-width:0.8;"/>
   </g>
   <g id="text_16">
    <text style="font-family:DejaVu Sans;font-size:12px;font-style:normal;font-weight:normal;text-anchor:middle;" transform="rotate(-0, 236.16, 35.472)" x="236.16" y="35.472">Coin Flips for cos(x)</text>
   </g>
   <g id="legend_1">
    <g id="patch_7">
     <path d="M 64.6 78.82825 
L 252.535938 78.82825 
Q 254.535938 78.82825 254.535938 76.82825 
L 254.535938 48.472 
Q 254.535938 46.472 252.535938 46.472 
L 64.6 46.472 
Q 62.6 46.472 62.6 48.472 
L 62.6 76.82825 
Q 62.6 78.82825 64.6 78.82825 
z
" style="fill:#ffffff;opacity:0.8;stroke:#cccccc;stroke-linejoin:miter;"/>
    </g>
    <g id="line2d_16">
     <path d="M 66.6 54.570437 
L 86.6 54.570437 
" style="fill:none;stroke:#1f77b4;stroke-linecap:square;stroke-width:1.5;"/>
    </g>
    <g id="line2d_17"/>
    <g id="text_17">
     <text style="font-family:DejaVu Sans;font-size:10px;font-style:normal;font-weight:normal;text-anchor:start;" transform="rotate(-0, 94.6, 58.070437)" x="94.6" y="58.070437">Coin Flip Lower Bound (Mendo)</text>
    </g>
    <g id="line2d_18">
     <path d="M 66.6 69.248562 
L 86.6 69.248562 
" style="fill:none;stroke:#ff7f0e;stroke-linecap:square;stroke-width:1.5;"/>
    </g>
    <g id="line2d_19"/>
    <g id="text_18">
     <text style="font-family:DejaVu Sans;font-size:10px;font-style:normal;font-weight:normal;text-anchor:start;" transform="rotate(-0, 94.6, 72.748562)" x="94.6" y="72.748562">Avg. Coins Flipped cos(x)</text>
    </g>
   </g>
  </g>
 </g>
 <defs>
  <clipPath id="p914563fd8b">
   <rect height="266.112" width="357.12" x="57.6" y="41.472"/>
  </clipPath>
 </defs>
</svg>