tests-viz/math_powers-inlined.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 8.1.0 (20230707.0739)
 -->
<!-- Pages: 1 -->
<svg width="599pt" height="230pt"
 viewBox="0.00 0.00 599.00 230.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 226)">
<polygon fill="white" stroke="none" points="-4,4 -4,-226 595,-226 595,4 -4,4"/>
<g id="clust1" class="cluster">
<title>outer_cluster_2</title>
</g>
<g id="clust2" class="cluster">
<title>cluster_2</title>
<path fill="#ffffb3" stroke="black" stroke-dasharray="5,2" d="M116,-90C116,-90 294,-90 294,-90 300,-90 306,-96 306,-102 306,-102 306,-120 306,-120 306,-126 300,-132 294,-132 294,-132 116,-132 116,-132 110,-132 104,-126 104,-120 104,-120 104,-102 104,-102 104,-96 110,-90 116,-90"/>
</g>
<g id="clust4" class="cluster">
<title>outer_cluster_21</title>
</g>
<g id="clust5" class="cluster">
<title>cluster_21</title>
<path fill="#ffffb3" stroke="black" stroke-dasharray="5,2" d="M324,-90C324,-90 360,-90 360,-90 366,-90 372,-96 372,-102 372,-102 372,-120 372,-120 372,-126 366,-132 360,-132 360,-132 324,-132 324,-132 318,-132 312,-126 312,-120 312,-120 312,-102 312,-102 312,-96 318,-90 324,-90"/>
</g>
<g id="clust7" class="cluster">
<title>outer_cluster_1</title>
</g>
<g id="clust8" class="cluster">
<title>cluster_1</title>
<path fill="#ffffb3" stroke="black" stroke-dasharray="5,2" d="M23,-11C23,-11 193,-11 193,-11 199,-11 205,-17 205,-23 205,-23 205,-41 205,-41 205,-47 199,-53 193,-53 193,-53 23,-53 23,-53 17,-53 11,-47 11,-41 11,-41 11,-23 11,-23 11,-17 17,-11 23,-11"/>
</g>
<g id="clust10" class="cluster">
<title>outer_cluster_4</title>
</g>
<g id="clust11" class="cluster">
<title>cluster_4</title>
<path fill="#ffffb3" stroke="black" stroke-dasharray="5,2" d="M390,-90C390,-90 568,-90 568,-90 574,-90 580,-96 580,-102 580,-102 580,-120 580,-120 580,-126 574,-132 568,-132 568,-132 390,-132 390,-132 384,-132 378,-126 378,-120 378,-120 378,-102 378,-102 378,-96 384,-90 390,-90"/>
</g>
<g id="clust13" class="cluster">
<title>outer_cluster_3</title>
</g>
<g id="clust14" class="cluster">
<title>cluster_3</title>
<path fill="#ffffb3" stroke="black" stroke-dasharray="5,2" d="M260,-11C260,-11 430,-11 430,-11 436,-11 442,-17 442,-23 442,-23 442,-41 442,-41 442,-47 436,-53 430,-53 430,-53 260,-53 260,-53 254,-53 248,-47 248,-41 248,-41 248,-23 248,-23 248,-17 254,-11 260,-11"/>
</g>
<g id="clust16" class="cluster">
<title>outer_cluster_6</title>
</g>
<g id="clust17" class="cluster">
<title>cluster_6</title>
<path fill="#ffffb3" stroke="black" stroke-width="2" stroke-dasharray="5,2" d="M248,-169C248,-169 542,-169 542,-169 548,-169 554,-175 554,-181 554,-181 554,-199 554,-199 554,-205 548,-211 542,-211 542,-211 248,-211 248,-211 242,-211 236,-205 236,-199 236,-199 236,-181 236,-181 236,-175 242,-169 248,-169"/>
</g>
<!-- 2__0&#45;&gt;2__0 -->
<g id="edge1" class="edge">
<title>2__0:s&#45;&gt;2__0</title>
<path fill="none" stroke="black" d="M258,-96C268.33,-76.25 289,-76.25 289,-103.5 289,-107.92 288.46,-111.63 287.5,-114.65"/>
<polygon fill="black" stroke="black" points="285.57,-113.63 285,-118.89 288.73,-115.13 285.57,-113.63"/>
</g>
<!-- 2__1&#45;&gt;2__0 -->
<g id="edge2" class="edge">
<title>2__1:s&#45;&gt;2__0</title>
<path fill="none" stroke="black" d="M200,-95C200,-81.72 212.54,-83.98 225.85,-90.32"/>
<polygon fill="black" stroke="black" points="224.92,-92.32 230.17,-93.04 226.51,-89.21 224.92,-92.32"/>
</g>
<!-- 2__2&#45;&gt;1__0 -->
<g id="edge3" class="edge">
<title>2__2:s&#45;&gt;1__0</title>
<path fill="none" stroke="black" d="M138,-95C138,-81.46 142.2,-66.95 146.65,-55.37"/>
<polygon fill="black" stroke="black" points="147.16,-59.25 147.83,-54 144.03,-57.69 147.16,-59.25"/>
</g>
<!-- 1__0&#45;&gt;1__0 -->
<g id="edge6" class="edge">
<title>1__0:s&#45;&gt;1__0</title>
<path fill="none" stroke="black" d="M157,-17C167.33,2.75 188,2.75 188,-24.5 188,-28.92 187.46,-32.63 186.5,-35.65"/>
<polygon fill="black" stroke="black" points="184.57,-34.63 184,-39.89 187.73,-36.13 184.57,-34.63"/>
</g>
<!-- 21__0&#45;&gt;1__0 -->
<g id="edge4" class="edge">
<title>21__0:s&#45;&gt;1__0</title>
<path fill="none" stroke="black" d="M334,-95C334,-81.77 262.71,-60.36 210.61,-46.48"/>
<polygon fill="black" stroke="black" points="211.28,-44.59 206,-45 210.38,-47.97 211.28,-44.59"/>
</g>
<!-- 21__0&#45;&gt;3__0 -->
<g id="edge5" class="edge">
<title>21__0:s&#45;&gt;3__0</title>
<path fill="none" stroke="black" d="M350,-95C350,-79.39 359.4,-64.96 369.5,-53.96"/>
<polygon fill="black" stroke="black" points="367.06,-58.68 369.55,-54 364.69,-56.11 367.06,-58.68"/>
</g>
<!-- 3__0&#45;&gt;3__0 -->
<g id="edge11" class="edge">
<title>3__0:s&#45;&gt;3__0</title>
<path fill="none" stroke="black" d="M394,-17C404.33,2.75 425,2.75 425,-24.5 425,-28.92 424.46,-32.63 423.5,-35.65"/>
<polygon fill="black" stroke="black" points="421.57,-34.63 421,-39.89 424.73,-36.13 421.57,-34.63"/>
</g>
<!-- 1__1&#45;&gt;1__0 -->
<g id="edge7" class="edge">
<title>1__1:s&#45;&gt;1__0</title>
<path fill="none" stroke="black" d="M99,-16C99,-2.72 111.54,-4.98 124.85,-11.32"/>
<polygon fill="black" stroke="black" points="123.92,-13.32 129.17,-14.04 125.51,-10.21 123.92,-13.32"/>
</g>
<!-- 4__0&#45;&gt;4__0 -->
<g id="edge8" class="edge">
<title>4__0:s&#45;&gt;4__0</title>
<path fill="none" stroke="black" d="M532,-96C542.33,-76.25 563,-76.25 563,-103.5 563,-107.92 562.46,-111.63 561.5,-114.65"/>
<polygon fill="black" stroke="black" points="559.57,-113.63 559,-118.89 562.73,-115.13 559.57,-113.63"/>
</g>
<!-- 4__1&#45;&gt;4__0 -->
<g id="edge9" class="edge">
<title>4__1:s&#45;&gt;4__0</title>
<path fill="none" stroke="black" d="M474,-95C474,-81.72 486.54,-83.98 499.85,-90.32"/>
<polygon fill="black" stroke="black" points="498.92,-92.32 504.17,-93.04 500.51,-89.21 498.92,-92.32"/>
</g>
<!-- 4__2&#45;&gt;3__0 -->
<g id="edge10" class="edge">
<title>4__2:s&#45;&gt;3__0</title>
<path fill="none" stroke="black" d="M412,-95C412,-81.51 408.02,-67.01 403.81,-55.42"/>
<polygon fill="black" stroke="black" points="406.36,-57.87 402.74,-54 403.16,-59.28 406.36,-57.87"/>
</g>
<!-- 3__1&#45;&gt;3__0 -->
<g id="edge12" class="edge">
<title>3__1:s&#45;&gt;3__0</title>
<path fill="none" stroke="black" d="M336,-16C336,-2.72 348.54,-4.98 361.85,-11.32"/>
<polygon fill="black" stroke="black" points="360.92,-13.32 366.17,-14.04 362.51,-10.21 360.92,-13.32"/>
</g>
<!-- 6__0&#45;&gt;6__0 -->
<g id="edge13" class="edge">
<title>6__0:s&#45;&gt;6__0</title>
<path fill="none" stroke="black" d="M390,-175C400.33,-155.25 421,-155.25 421,-182.5 421,-186.92 420.46,-190.63 419.5,-193.65"/>
<polygon fill="black" stroke="black" points="417.57,-192.63 417,-197.89 420.73,-194.13 417.57,-192.63"/>
</g>
<!-- 6__1&#45;&gt;2__0 -->
<g id="edge14" class="edge">
<title>6__1:s&#45;&gt;2__0</title>
<path fill="none" stroke="black" d="M516,-174C516,-163.18 503.48,-168.7 493,-166 413.53,-145.56 389.65,-158.39 311,-135 309.78,-134.64 308.56,-134.26 307.33,-133.86"/>
<polygon fill="black" stroke="black" points="308.2,-131.96 302.9,-132 307.07,-135.27 308.2,-131.96"/>
</g>
<!-- 6__1&#45;&gt;4__0 -->
<g id="edge15" class="edge">
<title>6__1:s&#45;&gt;4__0</title>
<path fill="none" stroke="black" d="M532,-174C532,-160.98 532,-146.43 532,-134.7"/>
<polygon fill="black" stroke="black" points="533.75,-138 532,-133 530.25,-138 533.75,-138"/>
</g>
<!-- 6__2&#45;&gt;2__0 -->
<g id="edge17" class="edge">
<title>6__2:s&#45;&gt;2__0</title>
<path fill="none" stroke="black" d="M474,-174C474,-136.76 346.33,-146.79 311,-135 310.05,-134.68 309.09,-134.35 308.13,-134.02"/>
<polygon fill="black" stroke="black" points="308.87,-132.06 303.57,-132 307.67,-135.35 308.87,-132.06"/>
</g>
<!-- 6__2&#45;&gt;4__0 -->
<g id="edge16" class="edge">
<title>6__2:s&#45;&gt;4__0</title>
<path fill="none" stroke="black" d="M458,-174C458,-170.79 484.47,-149.24 505.75,-132.44"/>
<polygon fill="black" stroke="black" points="501.92,-135.13 506.2,-132 500.9,-131.78 501.92,-135.13"/>
</g>
<!-- 6__3&#45;&gt;6__0 -->
<g id="edge18" class="edge">
<title>6__3:s&#45;&gt;6__0</title>
<path fill="none" stroke="black" d="M332,-174C332,-160.72 344.54,-162.98 357.85,-169.32"/>
<polygon fill="black" stroke="black" points="356.92,-171.32 362.17,-172.04 358.51,-168.21 356.92,-171.32"/>
</g>
<!-- 6__4&#45;&gt;21__0 -->
<g id="edge19" class="edge">
<title>6__4:s&#45;&gt;21__0</title>
<path fill="none" stroke="black" d="M270,-174C270,-167.87 294.31,-147.93 314.68,-132.3"/>
<polygon fill="black" stroke="black" points="310.68,-135.94 314.22,-132 308.99,-132.88 310.68,-135.94"/>
</g>
<!-- 2__0 -->
<g id="node1" class="node">
<title>2__0</title>
<g id="a_node1"><a xlink:title="2: 2__0">
<path fill="white" stroke="none" d="M245.67,-95C245.67,-95 270.33,-95 270.33,-95 275.67,-95 281,-100.33 281,-105.67 281,-105.67 281,-116.33 281,-116.33 281,-121.67 275.67,-127 270.33,-127 270.33,-127 245.67,-127 245.67,-127 240.33,-127 235,-121.67 235,-116.33 235,-116.33 235,-105.67 235,-105.67 235,-100.33 240.33,-95 245.67,-95"/>
<text text-anchor="start" x="240" y="-105.2" font-family="Helvetica,sans-Serif" font-size="14.00">+(·, 0)</text>
<path fill="none" stroke="black" d="M245.67,-95C245.67,-95 270.33,-95 270.33,-95 275.67,-95 281,-100.33 281,-105.67 281,-105.67 281,-116.33 281,-116.33 281,-121.67 275.67,-127 270.33,-127 270.33,-127 245.67,-127 245.67,-127 240.33,-127 235,-121.67 235,-116.33 235,-116.33 235,-105.67 235,-105.67 235,-100.33 240.33,-95 245.67,-95"/>
</a>
</g>
</g>
<!-- 2__1 -->
<g id="node2" class="node">
<title>2__1</title>
<g id="a_node2"><a xlink:title="2: 2__1">
<path fill="white" stroke="none" d="M189.17,-95C189.17,-95 210.83,-95 210.83,-95 216.17,-95 221.5,-100.33 221.5,-105.67 221.5,-105.67 221.5,-116.33 221.5,-116.33 221.5,-121.67 216.17,-127 210.83,-127 210.83,-127 189.17,-127 189.17,-127 183.83,-127 178.5,-121.67 178.5,-116.33 178.5,-116.33 178.5,-105.67 178.5,-105.67 178.5,-100.33 183.83,-95 189.17,-95"/>
<text text-anchor="start" x="183.5" y="-105.2" font-family="Helvetica,sans-Serif" font-size="14.00">*(·, 1)</text>
<path fill="none" stroke="black" d="M189.17,-95C189.17,-95 210.83,-95 210.83,-95 216.17,-95 221.5,-100.33 221.5,-105.67 221.5,-105.67 221.5,-116.33 221.5,-116.33 221.5,-121.67 216.17,-127 210.83,-127 210.83,-127 189.17,-127 189.17,-127 183.83,-127 178.5,-121.67 178.5,-116.33 178.5,-116.33 178.5,-105.67 178.5,-105.67 178.5,-100.33 183.83,-95 189.17,-95"/>
</a>
</g>
</g>
<!-- 2__2 -->
<g id="node3" class="node">
<title>2__2</title>
<g id="a_node3"><a xlink:title="2: 2__2">
<path fill="white" stroke="none" d="M117.42,-95C117.42,-95 158.58,-95 158.58,-95 163.92,-95 169.25,-100.33 169.25,-105.67 169.25,-105.67 169.25,-116.33 169.25,-116.33 169.25,-121.67 163.92,-127 158.58,-127 158.58,-127 117.42,-127 117.42,-127 112.08,-127 106.75,-121.67 106.75,-116.33 106.75,-116.33 106.75,-105.67 106.75,-105.67 106.75,-100.33 112.08,-95 117.42,-95"/>
<text text-anchor="start" x="111.75" y="-105.2" font-family="Helvetica,sans-Serif" font-size="14.00">pow(2, ·)</text>
<path fill="none" stroke="black" d="M117.42,-95C117.42,-95 158.58,-95 158.58,-95 163.92,-95 169.25,-100.33 169.25,-105.67 169.25,-105.67 169.25,-116.33 169.25,-116.33 169.25,-121.67 163.92,-127 158.58,-127 158.58,-127 117.42,-127 117.42,-127 112.08,-127 106.75,-121.67 106.75,-116.33 106.75,-116.33 106.75,-105.67 106.75,-105.67 106.75,-100.33 112.08,-95 117.42,-95"/>
</a>
</g>
</g>
<!-- 1__0 -->
<g id="node4" class="node">
<title>1__0</title>
<g id="a_node4"><a xlink:title="1: 1__0">
<path fill="white" stroke="none" d="M144.67,-16C144.67,-16 169.33,-16 169.33,-16 174.67,-16 180,-21.33 180,-26.67 180,-26.67 180,-37.33 180,-37.33 180,-42.67 174.67,-48 169.33,-48 169.33,-48 144.67,-48 144.67,-48 139.33,-48 134,-42.67 134,-37.33 134,-37.33 134,-26.67 134,-26.67 134,-21.33 139.33,-16 144.67,-16"/>
<text text-anchor="start" x="139" y="-26.2" font-family="Helvetica,sans-Serif" font-size="14.00">+(·, 0)</text>
<path fill="none" stroke="black" d="M144.67,-16C144.67,-16 169.33,-16 169.33,-16 174.67,-16 180,-21.33 180,-26.67 180,-26.67 180,-37.33 180,-37.33 180,-42.67 174.67,-48 169.33,-48 169.33,-48 144.67,-48 144.67,-48 139.33,-48 134,-42.67 134,-37.33 134,-37.33 134,-26.67 134,-26.67 134,-21.33 139.33,-16 144.67,-16"/>
</a>
</g>
</g>
<!-- 21__0 -->
<g id="node5" class="node">
<title>21__0</title>
<g id="a_node5"><a xlink:title="21: 21__0">
<path fill="white" stroke="none" d="M336.67,-95C336.67,-95 347.33,-95 347.33,-95 352.67,-95 358,-100.33 358,-105.67 358,-105.67 358,-116.33 358,-116.33 358,-121.67 352.67,-127 347.33,-127 347.33,-127 336.67,-127 336.67,-127 331.33,-127 326,-121.67 326,-116.33 326,-116.33 326,-105.67 326,-105.67 326,-100.33 331.33,-95 336.67,-95"/>
<text text-anchor="start" x="337.88" y="-105.2" font-family="Helvetica,sans-Serif" font-size="14.00">+</text>
<path fill="none" stroke="black" d="M336.67,-95C336.67,-95 347.33,-95 347.33,-95 352.67,-95 358,-100.33 358,-105.67 358,-105.67 358,-116.33 358,-116.33 358,-121.67 352.67,-127 347.33,-127 347.33,-127 336.67,-127 336.67,-127 331.33,-127 326,-121.67 326,-116.33 326,-116.33 326,-105.67 326,-105.67 326,-100.33 331.33,-95 336.67,-95"/>
</a>
</g>
</g>
<!-- 3__0 -->
<g id="node6" class="node">
<title>3__0</title>
<g id="a_node6"><a xlink:title="3: 3__0">
<path fill="white" stroke="none" d="M381.67,-16C381.67,-16 406.33,-16 406.33,-16 411.67,-16 417,-21.33 417,-26.67 417,-26.67 417,-37.33 417,-37.33 417,-42.67 411.67,-48 406.33,-48 406.33,-48 381.67,-48 381.67,-48 376.33,-48 371,-42.67 371,-37.33 371,-37.33 371,-26.67 371,-26.67 371,-21.33 376.33,-16 381.67,-16"/>
<text text-anchor="start" x="376" y="-26.2" font-family="Helvetica,sans-Serif" font-size="14.00">+(·, 0)</text>
<path fill="none" stroke="black" d="M381.67,-16C381.67,-16 406.33,-16 406.33,-16 411.67,-16 417,-21.33 417,-26.67 417,-26.67 417,-37.33 417,-37.33 417,-42.67 411.67,-48 406.33,-48 406.33,-48 381.67,-48 381.67,-48 376.33,-48 371,-42.67 371,-37.33 371,-37.33 371,-26.67 371,-26.67 371,-21.33 376.33,-16 381.67,-16"/>
</a>
</g>
</g>
<!-- 1__1 -->
<g id="node7" class="node">
<title>1__1</title>
<g id="a_node7"><a xlink:title="1: 1__1">
<path fill="white" stroke="none" d="M88.17,-16C88.17,-16 109.83,-16 109.83,-16 115.17,-16 120.5,-21.33 120.5,-26.67 120.5,-26.67 120.5,-37.33 120.5,-37.33 120.5,-42.67 115.17,-48 109.83,-48 109.83,-48 88.17,-48 88.17,-48 82.83,-48 77.5,-42.67 77.5,-37.33 77.5,-37.33 77.5,-26.67 77.5,-26.67 77.5,-21.33 82.83,-16 88.17,-16"/>
<text text-anchor="start" x="82.5" y="-26.2" font-family="Helvetica,sans-Serif" font-size="14.00">*(·, 1)</text>
<path fill="none" stroke="black" d="M88.17,-16C88.17,-16 109.83,-16 109.83,-16 115.17,-16 120.5,-21.33 120.5,-26.67 120.5,-26.67 120.5,-37.33 120.5,-37.33 120.5,-42.67 115.17,-48 109.83,-48 109.83,-48 88.17,-48 88.17,-48 82.83,-48 77.5,-42.67 77.5,-37.33 77.5,-37.33 77.5,-26.67 77.5,-26.67 77.5,-21.33 82.83,-16 88.17,-16"/>
</a>
</g>
</g>
<!-- 1__2 -->
<g id="node8" class="node">
<title>1__2</title>
<g id="a_node8"><a xlink:title="1: 1__2">
<path fill="white" stroke="none" d="M35.67,-16C35.67,-16 46.33,-16 46.33,-16 51.67,-16 57,-21.33 57,-26.67 57,-26.67 57,-37.33 57,-37.33 57,-42.67 51.67,-48 46.33,-48 46.33,-48 35.67,-48 35.67,-48 30.33,-48 25,-42.67 25,-37.33 25,-37.33 25,-26.67 25,-26.67 25,-21.33 30.33,-16 35.67,-16"/>
<text text-anchor="start" x="37.62" y="-26.2" font-family="Helvetica,sans-Serif" font-size="14.00">x</text>
<path fill="none" stroke="black" d="M35.67,-16C35.67,-16 46.33,-16 46.33,-16 51.67,-16 57,-21.33 57,-26.67 57,-26.67 57,-37.33 57,-37.33 57,-42.67 51.67,-48 46.33,-48 46.33,-48 35.67,-48 35.67,-48 30.33,-48 25,-42.67 25,-37.33 25,-37.33 25,-26.67 25,-26.67 25,-21.33 30.33,-16 35.67,-16"/>
</a>
</g>
</g>
<!-- 4__0 -->
<g id="node9" class="node">
<title>4__0</title>
<g id="a_node9"><a xlink:title="4: 4__0">
<path fill="white" stroke="none" d="M519.67,-95C519.67,-95 544.33,-95 544.33,-95 549.67,-95 555,-100.33 555,-105.67 555,-105.67 555,-116.33 555,-116.33 555,-121.67 549.67,-127 544.33,-127 544.33,-127 519.67,-127 519.67,-127 514.33,-127 509,-121.67 509,-116.33 509,-116.33 509,-105.67 509,-105.67 509,-100.33 514.33,-95 519.67,-95"/>
<text text-anchor="start" x="514" y="-105.2" font-family="Helvetica,sans-Serif" font-size="14.00">+(·, 0)</text>
<path fill="none" stroke="black" d="M519.67,-95C519.67,-95 544.33,-95 544.33,-95 549.67,-95 555,-100.33 555,-105.67 555,-105.67 555,-116.33 555,-116.33 555,-121.67 549.67,-127 544.33,-127 544.33,-127 519.67,-127 519.67,-127 514.33,-127 509,-121.67 509,-116.33 509,-116.33 509,-105.67 509,-105.67 509,-100.33 514.33,-95 519.67,-95"/>
</a>
</g>
</g>
<!-- 4__1 -->
<g id="node10" class="node">
<title>4__1</title>
<g id="a_node10"><a xlink:title="4: 4__1">
<path fill="white" stroke="none" d="M463.17,-95C463.17,-95 484.83,-95 484.83,-95 490.17,-95 495.5,-100.33 495.5,-105.67 495.5,-105.67 495.5,-116.33 495.5,-116.33 495.5,-121.67 490.17,-127 484.83,-127 484.83,-127 463.17,-127 463.17,-127 457.83,-127 452.5,-121.67 452.5,-116.33 452.5,-116.33 452.5,-105.67 452.5,-105.67 452.5,-100.33 457.83,-95 463.17,-95"/>
<text text-anchor="start" x="457.5" y="-105.2" font-family="Helvetica,sans-Serif" font-size="14.00">*(·, 1)</text>
<path fill="none" stroke="black" d="M463.17,-95C463.17,-95 484.83,-95 484.83,-95 490.17,-95 495.5,-100.33 495.5,-105.67 495.5,-105.67 495.5,-116.33 495.5,-116.33 495.5,-121.67 490.17,-127 484.83,-127 484.83,-127 463.17,-127 463.17,-127 457.83,-127 452.5,-121.67 452.5,-116.33 452.5,-116.33 452.5,-105.67 452.5,-105.67 452.5,-100.33 457.83,-95 463.17,-95"/>
</a>
</g>
</g>
<!-- 4__2 -->
<g id="node11" class="node">
<title>4__2</title>
<g id="a_node11"><a xlink:title="4: 4__2">
<path fill="white" stroke="none" d="M391.42,-95C391.42,-95 432.58,-95 432.58,-95 437.92,-95 443.25,-100.33 443.25,-105.67 443.25,-105.67 443.25,-116.33 443.25,-116.33 443.25,-121.67 437.92,-127 432.58,-127 432.58,-127 391.42,-127 391.42,-127 386.08,-127 380.75,-121.67 380.75,-116.33 380.75,-116.33 380.75,-105.67 380.75,-105.67 380.75,-100.33 386.08,-95 391.42,-95"/>
<text text-anchor="start" x="385.75" y="-105.2" font-family="Helvetica,sans-Serif" font-size="14.00">pow(2, ·)</text>
<path fill="none" stroke="black" d="M391.42,-95C391.42,-95 432.58,-95 432.58,-95 437.92,-95 443.25,-100.33 443.25,-105.67 443.25,-105.67 443.25,-116.33 443.25,-116.33 443.25,-121.67 437.92,-127 432.58,-127 432.58,-127 391.42,-127 391.42,-127 386.08,-127 380.75,-121.67 380.75,-116.33 380.75,-116.33 380.75,-105.67 380.75,-105.67 380.75,-100.33 386.08,-95 391.42,-95"/>
</a>
</g>
</g>
<!-- 3__1 -->
<g id="node12" class="node">
<title>3__1</title>
<g id="a_node12"><a xlink:title="3: 3__1">
<path fill="white" stroke="none" d="M325.17,-16C325.17,-16 346.83,-16 346.83,-16 352.17,-16 357.5,-21.33 357.5,-26.67 357.5,-26.67 357.5,-37.33 357.5,-37.33 357.5,-42.67 352.17,-48 346.83,-48 346.83,-48 325.17,-48 325.17,-48 319.83,-48 314.5,-42.67 314.5,-37.33 314.5,-37.33 314.5,-26.67 314.5,-26.67 314.5,-21.33 319.83,-16 325.17,-16"/>
<text text-anchor="start" x="319.5" y="-26.2" font-family="Helvetica,sans-Serif" font-size="14.00">*(·, 1)</text>
<path fill="none" stroke="black" d="M325.17,-16C325.17,-16 346.83,-16 346.83,-16 352.17,-16 357.5,-21.33 357.5,-26.67 357.5,-26.67 357.5,-37.33 357.5,-37.33 357.5,-42.67 352.17,-48 346.83,-48 346.83,-48 325.17,-48 325.17,-48 319.83,-48 314.5,-42.67 314.5,-37.33 314.5,-37.33 314.5,-26.67 314.5,-26.67 314.5,-21.33 319.83,-16 325.17,-16"/>
</a>
</g>
</g>
<!-- 3__2 -->
<g id="node13" class="node">
<title>3__2</title>
<g id="a_node13"><a xlink:title="3: 3__2">
<path fill="white" stroke="none" d="M272.67,-16C272.67,-16 283.33,-16 283.33,-16 288.67,-16 294,-21.33 294,-26.67 294,-26.67 294,-37.33 294,-37.33 294,-42.67 288.67,-48 283.33,-48 283.33,-48 272.67,-48 272.67,-48 267.33,-48 262,-42.67 262,-37.33 262,-37.33 262,-26.67 262,-26.67 262,-21.33 267.33,-16 272.67,-16"/>
<text text-anchor="start" x="274.62" y="-26.2" font-family="Helvetica,sans-Serif" font-size="14.00">y</text>
<path fill="none" stroke="black" d="M272.67,-16C272.67,-16 283.33,-16 283.33,-16 288.67,-16 294,-21.33 294,-26.67 294,-26.67 294,-37.33 294,-37.33 294,-42.67 288.67,-48 283.33,-48 283.33,-48 272.67,-48 272.67,-48 267.33,-48 262,-42.67 262,-37.33 262,-37.33 262,-26.67 262,-26.67 262,-21.33 267.33,-16 272.67,-16"/>
</a>
</g>
</g>
<!-- 6__0 -->
<g id="node14" class="node">
<title>6__0</title>
<g id="a_node14"><a xlink:title="6: 6__0">
<path fill="white" stroke="none" d="M377.67,-174C377.67,-174 402.33,-174 402.33,-174 407.67,-174 413,-179.33 413,-184.67 413,-184.67 413,-195.33 413,-195.33 413,-200.67 407.67,-206 402.33,-206 402.33,-206 377.67,-206 377.67,-206 372.33,-206 367,-200.67 367,-195.33 367,-195.33 367,-184.67 367,-184.67 367,-179.33 372.33,-174 377.67,-174"/>
<text text-anchor="start" x="372" y="-184.2" font-family="Helvetica,sans-Serif" font-size="14.00">+(·, 0)</text>
<path fill="none" stroke="black" d="M377.67,-174C377.67,-174 402.33,-174 402.33,-174 407.67,-174 413,-179.33 413,-184.67 413,-184.67 413,-195.33 413,-195.33 413,-200.67 407.67,-206 402.33,-206 402.33,-206 377.67,-206 377.67,-206 372.33,-206 367,-200.67 367,-195.33 367,-195.33 367,-184.67 367,-184.67 367,-179.33 372.33,-174 377.67,-174"/>
</a>
</g>
</g>
<!-- 6__1 -->
<g id="node15" class="node">
<title>6__1</title>
<g id="a_node15"><a xlink:title="6: 6__1">
<path fill="white" stroke="none" d="M518.67,-174C518.67,-174 529.33,-174 529.33,-174 534.67,-174 540,-179.33 540,-184.67 540,-184.67 540,-195.33 540,-195.33 540,-200.67 534.67,-206 529.33,-206 529.33,-206 518.67,-206 518.67,-206 513.33,-206 508,-200.67 508,-195.33 508,-195.33 508,-184.67 508,-184.67 508,-179.33 513.33,-174 518.67,-174"/>
<text text-anchor="start" x="521.38" y="-184.2" font-family="Helvetica,sans-Serif" font-size="14.00">*</text>
<path fill="none" stroke="black" d="M518.67,-174C518.67,-174 529.33,-174 529.33,-174 534.67,-174 540,-179.33 540,-184.67 540,-184.67 540,-195.33 540,-195.33 540,-200.67 534.67,-206 529.33,-206 529.33,-206 518.67,-206 518.67,-206 513.33,-206 508,-200.67 508,-195.33 508,-195.33 508,-184.67 508,-184.67 508,-179.33 513.33,-174 518.67,-174"/>
</a>
</g>
</g>
<!-- 6__2 -->
<g id="node16" class="node">
<title>6__2</title>
<g id="a_node16"><a xlink:title="6: 6__2">
<path fill="white" stroke="none" d="M460.67,-174C460.67,-174 471.33,-174 471.33,-174 476.67,-174 482,-179.33 482,-184.67 482,-184.67 482,-195.33 482,-195.33 482,-200.67 476.67,-206 471.33,-206 471.33,-206 460.67,-206 460.67,-206 455.33,-206 450,-200.67 450,-195.33 450,-195.33 450,-184.67 450,-184.67 450,-179.33 455.33,-174 460.67,-174"/>
<text text-anchor="start" x="463.38" y="-184.2" font-family="Helvetica,sans-Serif" font-size="14.00">*</text>
<path fill="none" stroke="black" d="M460.67,-174C460.67,-174 471.33,-174 471.33,-174 476.67,-174 482,-179.33 482,-184.67 482,-184.67 482,-195.33 482,-195.33 482,-200.67 476.67,-206 471.33,-206 471.33,-206 460.67,-206 460.67,-206 455.33,-206 450,-200.67 450,-195.33 450,-195.33 450,-184.67 450,-184.67 450,-179.33 455.33,-174 460.67,-174"/>
</a>
</g>
</g>
<!-- 6__3 -->
<g id="node17" class="node">
<title>6__3</title>
<g id="a_node17"><a xlink:title="6: 6__3">
<path fill="white" stroke="none" d="M321.17,-174C321.17,-174 342.83,-174 342.83,-174 348.17,-174 353.5,-179.33 353.5,-184.67 353.5,-184.67 353.5,-195.33 353.5,-195.33 353.5,-200.67 348.17,-206 342.83,-206 342.83,-206 321.17,-206 321.17,-206 315.83,-206 310.5,-200.67 310.5,-195.33 310.5,-195.33 310.5,-184.67 310.5,-184.67 310.5,-179.33 315.83,-174 321.17,-174"/>
<text text-anchor="start" x="315.5" y="-184.2" font-family="Helvetica,sans-Serif" font-size="14.00">*(·, 1)</text>
<path fill="none" stroke="black" d="M321.17,-174C321.17,-174 342.83,-174 342.83,-174 348.17,-174 353.5,-179.33 353.5,-184.67 353.5,-184.67 353.5,-195.33 353.5,-195.33 353.5,-200.67 348.17,-206 342.83,-206 342.83,-206 321.17,-206 321.17,-206 315.83,-206 310.5,-200.67 310.5,-195.33 310.5,-195.33 310.5,-184.67 310.5,-184.67 310.5,-179.33 315.83,-174 321.17,-174"/>
</a>
</g>
</g>
<!-- 6__4 -->
<g id="node18" class="node">
<title>6__4</title>
<g id="a_node18"><a xlink:title="6: 6__4">
<path fill="white" stroke="none" d="M249.42,-174C249.42,-174 290.58,-174 290.58,-174 295.92,-174 301.25,-179.33 301.25,-184.67 301.25,-184.67 301.25,-195.33 301.25,-195.33 301.25,-200.67 295.92,-206 290.58,-206 290.58,-206 249.42,-206 249.42,-206 244.08,-206 238.75,-200.67 238.75,-195.33 238.75,-195.33 238.75,-184.67 238.75,-184.67 238.75,-179.33 244.08,-174 249.42,-174"/>
<text text-anchor="start" x="243.75" y="-184.2" font-family="Helvetica,sans-Serif" font-size="14.00">pow(2, ·)</text>
<path fill="none" stroke="black" d="M249.42,-174C249.42,-174 290.58,-174 290.58,-174 295.92,-174 301.25,-179.33 301.25,-184.67 301.25,-184.67 301.25,-195.33 301.25,-195.33 301.25,-200.67 295.92,-206 290.58,-206 290.58,-206 249.42,-206 249.42,-206 244.08,-206 238.75,-200.67 238.75,-195.33 238.75,-195.33 238.75,-184.67 238.75,-184.67 238.75,-179.33 244.08,-174 249.42,-174"/>
</a>
</g>
</g>
</g>
</svg>