Simple-Math.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">
<!-- Generated by graphviz version 2.26.3 (20100126.1600)
 -->
<!-- Title: G Pages: 1 -->
<svg width="461pt" height="562pt"
 viewBox="0.00 0.00 461.00 562.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph1" class="graph" transform="scale(1 1) rotate(0) translate(4 558)">
<title>G</title>
<polygon fill="white" stroke="white" points="-4,5 -4,-558 458,-558 458,5 -4,5"/>
<!-- 0 -->
<g id="node1" class="node"><title>0</title>
<ellipse fill="blue" stroke="black" cx="217" cy="-535" rx="45.9619" ry="18.3848"/>
<text text-anchor="middle" x="217" y="-531.4" font-family="Times Roman,serif" font-size="14.00" fill="white">&lt;exp&gt;</text>
</g>
<!-- 1 -->
<g id="node3" class="node"><title>1</title>
<ellipse fill="blue" stroke="black" cx="217" cy="-461" rx="45.9619" ry="18.3848"/>
<text text-anchor="middle" x="217" y="-457.4" font-family="Times Roman,serif" font-size="14.00" fill="white">&lt;add&gt;</text>
</g>
<!-- 0&#45;&gt;1 -->
<g id="edge2" class="edge"><title>0&#45;&gt;1</title>
<path fill="none" stroke="black" d="M217,-516.327C217,-508.264 217,-498.648 217,-489.711"/>
<polygon fill="black" stroke="black" points="220.5,-489.667 217,-479.667 213.5,-489.667 220.5,-489.667"/>
</g>
<!-- 2 -->
<g id="node5" class="node"><title>2</title>
<polygon fill="white" stroke="black" points="153,-405 99,-405 99,-369 153,-369 153,-405"/>
<text text-anchor="middle" x="126" y="-383.4" font-family="Times Roman,serif" font-size="14.00">(</text>
</g>
<!-- 1&#45;&gt;2 -->
<g id="edge4" class="edge"><title>1&#45;&gt;2</title>
<path fill="none" stroke="black" d="M196.351,-444.208C184.452,-434.532 169.282,-422.197 156.078,-411.459"/>
<polygon fill="black" stroke="black" points="158.124,-408.612 148.157,-405.018 153.708,-414.043 158.124,-408.612"/>
</g>
<!-- 3 -->
<g id="node7" class="node"><title>3</title>
<ellipse fill="blue" stroke="black" cx="217" cy="-387" rx="45.9619" ry="18.3848"/>
<text text-anchor="middle" x="217" y="-383.4" font-family="Times Roman,serif" font-size="14.00" fill="white">&lt;exp&gt;</text>
</g>
<!-- 1&#45;&gt;3 -->
<g id="edge6" class="edge"><title>1&#45;&gt;3</title>
<path fill="none" stroke="black" d="M217,-442.327C217,-434.264 217,-424.648 217,-415.711"/>
<polygon fill="black" stroke="black" points="220.5,-415.667 217,-405.667 213.5,-415.667 220.5,-415.667"/>
</g>
<!-- 17 -->
<g id="node35" class="node"><title>17</title>
<polygon fill="white" stroke="black" points="335,-405 281,-405 281,-369 335,-369 335,-405"/>
<text text-anchor="middle" x="308" y="-383.4" font-family="Times Roman,serif" font-size="14.00">)</text>
</g>
<!-- 1&#45;&gt;17 -->
<g id="edge34" class="edge"><title>1&#45;&gt;17</title>
<path fill="none" stroke="black" d="M237.649,-444.208C249.548,-434.532 264.718,-422.197 277.922,-411.459"/>
<polygon fill="black" stroke="black" points="280.292,-414.043 285.843,-405.018 275.876,-408.612 280.292,-414.043"/>
</g>
<!-- 4 -->
<g id="node9" class="node"><title>4</title>
<ellipse fill="blue" stroke="black" cx="217" cy="-313" rx="45.9619" ry="18.3848"/>
<text text-anchor="middle" x="217" y="-309.4" font-family="Times Roman,serif" font-size="14.00" fill="white">&lt;add&gt;</text>
</g>
<!-- 3&#45;&gt;4 -->
<g id="edge8" class="edge"><title>3&#45;&gt;4</title>
<path fill="none" stroke="black" d="M217,-368.327C217,-360.264 217,-350.648 217,-341.711"/>
<polygon fill="black" stroke="black" points="220.5,-341.667 217,-331.667 213.5,-341.667 220.5,-341.667"/>
</g>
<!-- 5 -->
<g id="node11" class="node"><title>5</title>
<ellipse fill="blue" stroke="black" cx="50" cy="-239" rx="50.2046" ry="18.3848"/>
<text text-anchor="middle" x="50" y="-235.4" font-family="Times Roman,serif" font-size="14.00" fill="white">&lt;num&gt;</text>
</g>
<!-- 4&#45;&gt;5 -->
<g id="edge10" class="edge"><title>4&#45;&gt;5</title>
<path fill="none" stroke="black" d="M185.98,-299.255C159.339,-287.45 120.712,-270.333 91.4293,-257.358"/>
<polygon fill="black" stroke="black" points="92.8379,-254.154 82.2774,-253.303 90.002,-260.554 92.8379,-254.154"/>
</g>
<!-- 7 -->
<g id="node15" class="node"><title>7</title>
<polygon fill="white" stroke="black" points="172,-257 118,-257 118,-221 172,-221 172,-257"/>
<text text-anchor="middle" x="145" y="-235.4" font-family="Times Roman,serif" font-size="14.00">+</text>
</g>
<!-- 4&#45;&gt;7 -->
<g id="edge14" class="edge"><title>4&#45;&gt;7</title>
<path fill="none" stroke="black" d="M199.937,-295.463C190.902,-286.177 179.643,-274.605 169.673,-264.359"/>
<polygon fill="black" stroke="black" points="172.175,-261.91 162.692,-257.184 167.157,-266.792 172.175,-261.91"/>
</g>
<!-- 8 -->
<g id="node17" class="node"><title>8</title>
<polygon fill="white" stroke="black" points="244,-257 190,-257 190,-221 244,-221 244,-257"/>
<text text-anchor="middle" x="217" y="-235.4" font-family="Times Roman,serif" font-size="14.00">(</text>
</g>
<!-- 4&#45;&gt;8 -->
<g id="edge16" class="edge"><title>4&#45;&gt;8</title>
<path fill="none" stroke="black" d="M217,-294.327C217,-286.141 217,-276.354 217,-267.303"/>
<polygon fill="black" stroke="black" points="220.5,-267.156 217,-257.156 213.5,-267.156 220.5,-267.156"/>
</g>
<!-- 9 -->
<g id="node19" class="node"><title>9</title>
<ellipse fill="blue" stroke="black" cx="308" cy="-239" rx="45.9619" ry="18.3848"/>
<text text-anchor="middle" x="308" y="-235.4" font-family="Times Roman,serif" font-size="14.00" fill="white">&lt;exp&gt;</text>
</g>
<!-- 4&#45;&gt;9 -->
<g id="edge18" class="edge"><title>4&#45;&gt;9</title>
<path fill="none" stroke="black" d="M237.649,-296.208C249.982,-286.179 265.829,-273.293 279.359,-262.29"/>
<polygon fill="black" stroke="black" points="281.882,-264.75 287.432,-255.725 277.466,-259.319 281.882,-264.75"/>
</g>
<!-- 16 -->
<g id="node33" class="node"><title>16</title>
<polygon fill="white" stroke="black" points="426,-257 372,-257 372,-221 426,-221 426,-257"/>
<text text-anchor="middle" x="399" y="-235.4" font-family="Times Roman,serif" font-size="14.00">)</text>
</g>
<!-- 4&#45;&gt;16 -->
<g id="edge32" class="edge"><title>4&#45;&gt;16</title>
<path fill="none" stroke="black" d="M252.309,-301.097C280.151,-291.404 320.033,-276.84 362.316,-258.08"/>
<polygon fill="black" stroke="black" points="363.971,-261.174 371.659,-253.883 361.102,-254.789 363.971,-261.174"/>
</g>
<!-- 6 -->
<g id="node13" class="node"><title>6</title>
<polygon fill="white" stroke="black" points="77,-183 23,-183 23,-147 77,-147 77,-183"/>
<text text-anchor="middle" x="50" y="-161.4" font-family="Times Roman,serif" font-size="14.00">10</text>
</g>
<!-- 5&#45;&gt;6 -->
<g id="edge12" class="edge"><title>5&#45;&gt;6</title>
<path fill="none" stroke="black" d="M50,-220.327C50,-212.141 50,-202.354 50,-193.303"/>
<polygon fill="black" stroke="black" points="53.5001,-193.156 50,-183.156 46.5001,-193.156 53.5001,-193.156"/>
</g>
<!-- 10 -->
<g id="node21" class="node"><title>10</title>
<ellipse fill="blue" stroke="black" cx="308" cy="-165" rx="45.9619" ry="18.3848"/>
<text text-anchor="middle" x="308" y="-161.4" font-family="Times Roman,serif" font-size="14.00" fill="white">&lt;sub&gt;</text>
</g>
<!-- 9&#45;&gt;10 -->
<g id="edge20" class="edge"><title>9&#45;&gt;10</title>
<path fill="none" stroke="black" d="M308,-220.327C308,-212.264 308,-202.648 308,-193.711"/>
<polygon fill="black" stroke="black" points="311.5,-193.667 308,-183.667 304.5,-193.667 311.5,-193.667"/>
</g>
<!-- 11 -->
<g id="node23" class="node"><title>11</title>
<ellipse fill="blue" stroke="black" cx="213" cy="-91" rx="50.2046" ry="18.3848"/>
<text text-anchor="middle" x="213" y="-87.4" font-family="Times Roman,serif" font-size="14.00" fill="white">&lt;num&gt;</text>
</g>
<!-- 10&#45;&gt;11 -->
<g id="edge22" class="edge"><title>10&#45;&gt;11</title>
<path fill="none" stroke="black" d="M286.443,-148.208C273.446,-138.085 256.712,-125.049 242.5,-113.979"/>
<polygon fill="black" stroke="black" points="244.512,-111.109 234.472,-107.725 240.21,-116.632 244.512,-111.109"/>
</g>
<!-- 13 -->
<g id="node27" class="node"><title>13</title>
<polygon fill="white" stroke="black" points="335,-109 281,-109 281,-73 335,-73 335,-109"/>
<text text-anchor="middle" x="308" y="-87.4" font-family="Times Roman,serif" font-size="14.00">&#45;</text>
</g>
<!-- 10&#45;&gt;13 -->
<g id="edge26" class="edge"><title>10&#45;&gt;13</title>
<path fill="none" stroke="black" d="M308,-146.327C308,-138.141 308,-128.354 308,-119.303"/>
<polygon fill="black" stroke="black" points="311.5,-119.156 308,-109.156 304.5,-119.156 311.5,-119.156"/>
</g>
<!-- 14 -->
<g id="node29" class="node"><title>14</title>
<ellipse fill="blue" stroke="black" cx="403" cy="-91" rx="50.2046" ry="18.3848"/>
<text text-anchor="middle" x="403" y="-87.4" font-family="Times Roman,serif" font-size="14.00" fill="white">&lt;num&gt;</text>
</g>
<!-- 10&#45;&gt;14 -->
<g id="edge28" class="edge"><title>10&#45;&gt;14</title>
<path fill="none" stroke="black" d="M329.557,-148.208C342.554,-138.085 359.288,-125.049 373.5,-113.979"/>
<polygon fill="black" stroke="black" points="375.79,-116.632 381.528,-107.725 371.488,-111.109 375.79,-116.632"/>
</g>
<!-- 12 -->
<g id="node25" class="node"><title>12</title>
<polygon fill="white" stroke="black" points="240,-36 186,-36 186,-1.06581e-14 240,-0 240,-36"/>
<text text-anchor="middle" x="213" y="-14.4" font-family="Times Roman,serif" font-size="14.00">3</text>
</g>
<!-- 11&#45;&gt;12 -->
<g id="edge24" class="edge"><title>11&#45;&gt;12</title>
<path fill="none" stroke="black" d="M213,-72.2007C213,-64.3319 213,-55.015 213,-46.345"/>
<polygon fill="black" stroke="black" points="216.5,-46.2312 213,-36.2312 209.5,-46.2312 216.5,-46.2312"/>
</g>
<!-- 15 -->
<g id="node31" class="node"><title>15</title>
<polygon fill="white" stroke="black" points="430,-36 376,-36 376,-1.06581e-14 430,-0 430,-36"/>
<text text-anchor="middle" x="403" y="-14.4" font-family="Times Roman,serif" font-size="14.00">4</text>
</g>
<!-- 14&#45;&gt;15 -->
<g id="edge30" class="edge"><title>14&#45;&gt;15</title>
<path fill="none" stroke="black" d="M403,-72.2007C403,-64.3319 403,-55.015 403,-46.345"/>
<polygon fill="black" stroke="black" points="406.5,-46.2312 403,-36.2312 399.5,-46.2312 406.5,-46.2312"/>
</g>
</g>
</svg>