tests-viz/math_powers-inlined-saturated.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_3</title>
</g>
<g id="clust2" 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="clust4" class="cluster">
<title>outer_cluster_6</title>
</g>
<g id="clust5" class="cluster">
<title>cluster_6</title>
<path fill="#ffffb3" stroke="black" stroke-width="2" stroke-dasharray="5,2" d="M232,-169C232,-169 526,-169 526,-169 532,-169 538,-175 538,-181 538,-181 538,-199 538,-199 538,-205 532,-211 526,-211 526,-211 232,-211 232,-211 226,-211 220,-205 220,-199 220,-199 220,-181 220,-181 220,-175 226,-169 232,-169"/>
</g>
<g id="clust7" class="cluster">
<title>outer_cluster_2</title>
</g>
<g id="clust8" class="cluster">
<title>cluster_2</title>
<path fill="#ffffb3" stroke="black" stroke-width="2" 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="clust10" class="cluster">
<title>outer_cluster_1</title>
</g>
<g id="clust11" class="cluster">
<title>cluster_1</title>
<path fill="#ffffb3" stroke="black" stroke-width="2" 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="clust13" class="cluster">
<title>outer_cluster_21</title>
</g>
<g id="clust14" class="cluster">
<title>cluster_21</title>
<path fill="#ffffb3" stroke="black" stroke-width="2" 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="clust16" class="cluster">
<title>outer_cluster_4</title>
</g>
<g id="clust17" class="cluster">
<title>cluster_4</title>
<path fill="#ffffb3" stroke="black" stroke-width="2" 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>
<!-- 3__0&#45;&gt;3__0 -->
<g id="edge1" 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>
<!-- 3__1&#45;&gt;3__0 -->
<g id="edge2" 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="edge3" class="edge">
<title>6__0:s&#45;&gt;6__0</title>
<path fill="none" stroke="black" d="M366,-175C376.33,-155.25 397,-155.25 397,-182.5 397,-186.92 396.46,-190.63 395.5,-193.65"/>
<polygon fill="black" stroke="black" points="393.57,-192.63 393,-197.89 396.73,-194.13 393.57,-192.63"/>
</g>
<!-- 6__1&#45;&gt;2__0 -->
<g id="edge4" class="edge">
<title>6__1:s&#45;&gt;2__0</title>
<path fill="none" stroke="black" d="M434,-174C434,-163.18 421.28,-169.38 411,-166 366.8,-151.47 354.63,-151.17 311,-135 310.2,-134.7 309.39,-134.4 308.58,-134.09"/>
<polygon fill="black" stroke="black" points="309.48,-132.18 304.19,-132 308.22,-135.44 309.48,-132.18"/>
</g>
<!-- 6__1&#45;&gt;4__0 -->
<g id="edge5" class="edge">
<title>6__1:s&#45;&gt;4__0</title>
<path fill="none" stroke="black" d="M450,-174C450,-173.13 480.67,-150.13 504.5,-132.4"/>
<polygon fill="black" stroke="black" points="500.79,-136.08 504.16,-132 498.97,-133.09 500.79,-136.08"/>
</g>
<!-- 2__0&#45;&gt;2__0 -->
<g id="edge10" 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>
<!-- 4__0&#45;&gt;4__0 -->
<g id="edge17" 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>
<!-- 6__2&#45;&gt;2__0 -->
<g id="edge7" class="edge">
<title>6__2:s&#45;&gt;2__0</title>
<path fill="none" stroke="black" d="M258,-174C258,-160.98 258,-146.43 258,-134.7"/>
<polygon fill="black" stroke="black" points="259.75,-138 258,-133 256.25,-138 259.75,-138"/>
</g>
<!-- 6__2&#45;&gt;4__0 -->
<g id="edge6" class="edge">
<title>6__2:s&#45;&gt;4__0</title>
<path fill="none" stroke="black" d="M242,-174C242,-115.8 447.15,-157.08 501,-135 501.39,-134.84 501.78,-134.68 502.16,-134.5"/>
<polygon fill="black" stroke="black" points="502.47,-135.81 506.15,-132 500.9,-132.68 502.47,-135.81"/>
</g>
<!-- 6__3&#45;&gt;6__0 -->
<g id="edge8" class="edge">
<title>6__3:s&#45;&gt;6__0</title>
<path fill="none" stroke="black" d="M308,-174C308,-160.72 320.54,-162.98 333.85,-169.32"/>
<polygon fill="black" stroke="black" points="332.92,-171.32 338.17,-172.04 334.51,-168.21 332.92,-171.32"/>
</g>
<!-- 6__4&#45;&gt;21__0 -->
<g id="edge9" class="edge">
<title>6__4:s&#45;&gt;21__0</title>
<path fill="none" stroke="black" d="M504,-174C504,-114.95 430.43,-160.13 377,-135 376.76,-134.89 376.51,-134.77 376.27,-134.65"/>
<polygon fill="black" stroke="black" points="377.37,-132.74 372.13,-132 375.77,-135.85 377.37,-132.74"/>
</g>
<!-- 21__0&#45;&gt;3__0 -->
<g id="edge16" 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>
<!-- 21__0&#45;&gt;1__0 -->
<g id="edge15" 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>
<!-- 2__1&#45;&gt;2__0 -->
<g id="edge11" 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="edge12" 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="edge13" 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>
<!-- 1__1&#45;&gt;1__0 -->
<g id="edge14" 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__1&#45;&gt;4__0 -->
<g id="edge18" 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="edge19" 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__0 -->
<g id="node1" class="node">
<title>3__0</title>
<g id="a_node1"><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>
<!-- 3__1 -->
<g id="node2" class="node">
<title>3__1</title>
<g id="a_node2"><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="node3" class="node">
<title>3__2</title>
<g id="a_node3"><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="node4" class="node">
<title>6__0</title>
<g id="a_node4"><a xlink:title="6: 6__0">
<path fill="white" stroke="none" d="M353.67,-174C353.67,-174 378.33,-174 378.33,-174 383.67,-174 389,-179.33 389,-184.67 389,-184.67 389,-195.33 389,-195.33 389,-200.67 383.67,-206 378.33,-206 378.33,-206 353.67,-206 353.67,-206 348.33,-206 343,-200.67 343,-195.33 343,-195.33 343,-184.67 343,-184.67 343,-179.33 348.33,-174 353.67,-174"/>
<text text-anchor="start" x="348" y="-184.2" font-family="Helvetica,sans-Serif" font-size="14.00">+(·, 0)</text>
<path fill="none" stroke="black" d="M353.67,-174C353.67,-174 378.33,-174 378.33,-174 383.67,-174 389,-179.33 389,-184.67 389,-184.67 389,-195.33 389,-195.33 389,-200.67 383.67,-206 378.33,-206 378.33,-206 353.67,-206 353.67,-206 348.33,-206 343,-200.67 343,-195.33 343,-195.33 343,-184.67 343,-184.67 343,-179.33 348.33,-174 353.67,-174"/>
</a>
</g>
</g>
<!-- 6__1 -->
<g id="node5" class="node">
<title>6__1</title>
<g id="a_node5"><a xlink:title="6: 6__1">
<path fill="white" stroke="none" d="M436.67,-174C436.67,-174 447.33,-174 447.33,-174 452.67,-174 458,-179.33 458,-184.67 458,-184.67 458,-195.33 458,-195.33 458,-200.67 452.67,-206 447.33,-206 447.33,-206 436.67,-206 436.67,-206 431.33,-206 426,-200.67 426,-195.33 426,-195.33 426,-184.67 426,-184.67 426,-179.33 431.33,-174 436.67,-174"/>
<text text-anchor="start" x="439.38" y="-184.2" font-family="Helvetica,sans-Serif" font-size="14.00">*</text>
<path fill="none" stroke="black" d="M436.67,-174C436.67,-174 447.33,-174 447.33,-174 452.67,-174 458,-179.33 458,-184.67 458,-184.67 458,-195.33 458,-195.33 458,-200.67 452.67,-206 447.33,-206 447.33,-206 436.67,-206 436.67,-206 431.33,-206 426,-200.67 426,-195.33 426,-195.33 426,-184.67 426,-184.67 426,-179.33 431.33,-174 436.67,-174"/>
</a>
</g>
</g>
<!-- 2__0 -->
<g id="node6" class="node">
<title>2__0</title>
<g id="a_node6"><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>
<!-- 4__0 -->
<g id="node7" class="node">
<title>4__0</title>
<g id="a_node7"><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>
<!-- 6__2 -->
<g id="node8" class="node">
<title>6__2</title>
<g id="a_node8"><a xlink:title="6: 6__2">
<path fill="white" stroke="none" d="M244.67,-174C244.67,-174 255.33,-174 255.33,-174 260.67,-174 266,-179.33 266,-184.67 266,-184.67 266,-195.33 266,-195.33 266,-200.67 260.67,-206 255.33,-206 255.33,-206 244.67,-206 244.67,-206 239.33,-206 234,-200.67 234,-195.33 234,-195.33 234,-184.67 234,-184.67 234,-179.33 239.33,-174 244.67,-174"/>
<text text-anchor="start" x="247.38" y="-184.2" font-family="Helvetica,sans-Serif" font-size="14.00">*</text>
<path fill="none" stroke="black" d="M244.67,-174C244.67,-174 255.33,-174 255.33,-174 260.67,-174 266,-179.33 266,-184.67 266,-184.67 266,-195.33 266,-195.33 266,-200.67 260.67,-206 255.33,-206 255.33,-206 244.67,-206 244.67,-206 239.33,-206 234,-200.67 234,-195.33 234,-195.33 234,-184.67 234,-184.67 234,-179.33 239.33,-174 244.67,-174"/>
</a>
</g>
</g>
<!-- 6__3 -->
<g id="node9" class="node">
<title>6__3</title>
<g id="a_node9"><a xlink:title="6: 6__3">
<path fill="white" stroke="none" d="M297.17,-174C297.17,-174 318.83,-174 318.83,-174 324.17,-174 329.5,-179.33 329.5,-184.67 329.5,-184.67 329.5,-195.33 329.5,-195.33 329.5,-200.67 324.17,-206 318.83,-206 318.83,-206 297.17,-206 297.17,-206 291.83,-206 286.5,-200.67 286.5,-195.33 286.5,-195.33 286.5,-184.67 286.5,-184.67 286.5,-179.33 291.83,-174 297.17,-174"/>
<text text-anchor="start" x="291.5" y="-184.2" font-family="Helvetica,sans-Serif" font-size="14.00">*(·, 1)</text>
<path fill="none" stroke="black" d="M297.17,-174C297.17,-174 318.83,-174 318.83,-174 324.17,-174 329.5,-179.33 329.5,-184.67 329.5,-184.67 329.5,-195.33 329.5,-195.33 329.5,-200.67 324.17,-206 318.83,-206 318.83,-206 297.17,-206 297.17,-206 291.83,-206 286.5,-200.67 286.5,-195.33 286.5,-195.33 286.5,-184.67 286.5,-184.67 286.5,-179.33 291.83,-174 297.17,-174"/>
</a>
</g>
</g>
<!-- 6__4 -->
<g id="node10" class="node">
<title>6__4</title>
<g id="a_node10"><a xlink:title="6: 6__4">
<path fill="white" stroke="none" d="M483.42,-174C483.42,-174 524.58,-174 524.58,-174 529.92,-174 535.25,-179.33 535.25,-184.67 535.25,-184.67 535.25,-195.33 535.25,-195.33 535.25,-200.67 529.92,-206 524.58,-206 524.58,-206 483.42,-206 483.42,-206 478.08,-206 472.75,-200.67 472.75,-195.33 472.75,-195.33 472.75,-184.67 472.75,-184.67 472.75,-179.33 478.08,-174 483.42,-174"/>
<text text-anchor="start" x="477.75" y="-184.2" font-family="Helvetica,sans-Serif" font-size="14.00">pow(2, ·)</text>
<path fill="none" stroke="black" d="M483.42,-174C483.42,-174 524.58,-174 524.58,-174 529.92,-174 535.25,-179.33 535.25,-184.67 535.25,-184.67 535.25,-195.33 535.25,-195.33 535.25,-200.67 529.92,-206 524.58,-206 524.58,-206 483.42,-206 483.42,-206 478.08,-206 472.75,-200.67 472.75,-195.33 472.75,-195.33 472.75,-184.67 472.75,-184.67 472.75,-179.33 478.08,-174 483.42,-174"/>
</a>
</g>
</g>
<!-- 21__0 -->
<g id="node11" class="node">
<title>21__0</title>
<g id="a_node11"><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>
<!-- 2__1 -->
<g id="node12" class="node">
<title>2__1</title>
<g id="a_node12"><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="node13" class="node">
<title>2__2</title>
<g id="a_node13"><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="node14" class="node">
<title>1__0</title>
<g id="a_node14"><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>
<!-- 1__1 -->
<g id="node15" class="node">
<title>1__1</title>
<g id="a_node15"><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="node16" class="node">
<title>1__2</title>
<g id="a_node16"><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__1 -->
<g id="node17" class="node">
<title>4__1</title>
<g id="a_node17"><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="node18" class="node">
<title>4__2</title>
<g id="a_node18"><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>
</g>
</svg>