samples/notebooks/hello_kotlingrad.ipynb

{
 "cells": [
  {
   "cell_type": "code",
   "execution_count": 1,
   "metadata": {},
   "outputs": [],
   "source": [
    "@file:DependsOn(\"ai.hypergraph:kotlingrad:0.4.7\")"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 2,
   "metadata": {},
   "outputs": [],
   "source": [
    "val x by SVar(DReal)\n",
    "val y by SVar(DReal)\n",
    "val z by SVar(DReal)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 3,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/html": [
       "<svg width=\"872px\" height=\"286px\"\n",
       " viewBox=\"0.00 0.00 872.00 285.50\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
       "<g id=\"graph0\" class=\"graph\" transform=\"scale(1.0 1.0) rotate(0.0) translate(4.0 281.5)\">\n",
       "<title>%3</title>\n",
       "<!-- 78f11 -->\n",
       "<g id=\"node1\" class=\"node\">\n",
       "<title>78f11</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M642,-180.5C642,-180.5 672,-180.5 672,-180.5 678,-180.5 684,-186.5 684,-192.5 684,-192.5 684,-204.5 684,-204.5 684,-210.5 678,-216.5 672,-216.5 672,-216.5 642,-216.5 642,-216.5 636,-216.5 630,-210.5 630,-204.5 630,-204.5 630,-192.5 630,-192.5 630,-186.5 636,-180.5 642,-180.5\"/>\n",
       "<text text-anchor=\"middle\" x=\"657\" y=\"-193.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">d</text>\n",
       "</g>\n",
       "<!-- 1c100 -->\n",
       "<g id=\"node2\" class=\"node\">\n",
       "<title>1c100</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M732,-143.5C732,-143.5 762,-143.5 762,-143.5 768,-143.5 774,-149.5 774,-155.5 774,-155.5 774,-167.5 774,-167.5 774,-173.5 768,-179.5 762,-179.5 762,-179.5 732,-179.5 732,-179.5 726,-179.5 720,-173.5 720,-167.5 720,-167.5 720,-155.5 720,-155.5 720,-149.5 726,-143.5 732,-143.5\"/>\n",
       "<text text-anchor=\"middle\" x=\"747\" y=\"-156.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">+</text>\n",
       "</g>\n",
       "<!-- 78f11&#45;&gt;1c100 -->\n",
       "<g id=\"edge1\" class=\"edge\">\n",
       "<title>78f11&#45;&gt;1c100</title>\n",
       "<path fill=\"none\" stroke=\"#0000ff\" stroke-width=\"4\" d=\"M684.003,-187.3988C692.2922,-183.991 701.5569,-180.1822 710.3766,-176.5563\"/>\n",
       "<polygon fill=\"#0000ff\" stroke=\"#0000ff\" stroke-width=\"4\" points=\"711.7869,-179.7608 719.705,-172.7213 709.1253,-173.2865 711.7869,-179.7608\"/>\n",
       "</g>\n",
       "<!-- f2f55 -->\n",
       "<g id=\"node3\" class=\"node\">\n",
       "<title>f2f55</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M822,-115.5C822,-115.5 852,-115.5 852,-115.5 858,-115.5 864,-121.5 864,-127.5 864,-127.5 864,-139.5 864,-139.5 864,-145.5 858,-151.5 852,-151.5 852,-151.5 822,-151.5 822,-151.5 816,-151.5 810,-145.5 810,-139.5 810,-139.5 810,-127.5 810,-127.5 810,-121.5 816,-115.5 822,-115.5\"/>\n",
       "<text text-anchor=\"middle\" x=\"837\" y=\"-128.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">+</text>\n",
       "</g>\n",
       "<!-- 1c100&#45;&gt;f2f55 -->\n",
       "<g id=\"edge2\" class=\"edge\">\n",
       "<title>1c100&#45;&gt;f2f55</title>\n",
       "<path fill=\"none\" stroke=\"#0000ff\" stroke-width=\"4\" d=\"M774.003,-153.0991C782.204,-150.5476 791.3599,-147.6991 800.095,-144.9816\"/>\n",
       "<polygon fill=\"#0000ff\" stroke=\"#0000ff\" stroke-width=\"4\" points=\"801.1962,-148.3045 809.705,-141.9918 799.1167,-141.6205 801.1962,-148.3045\"/>\n",
       "</g>\n",
       "<!-- 6e4f7 -->\n",
       "<g id=\"node4\" class=\"node\">\n",
       "<title>6e4f7</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M462,-55.5C462,-55.5 492,-55.5 492,-55.5 498,-55.5 504,-61.5 504,-67.5 504,-67.5 504,-79.5 504,-79.5 504,-85.5 498,-91.5 492,-91.5 492,-91.5 462,-91.5 462,-91.5 456,-91.5 450,-85.5 450,-79.5 450,-79.5 450,-67.5 450,-67.5 450,-61.5 456,-55.5 462,-55.5\"/>\n",
       "<text text-anchor=\"middle\" x=\"477\" y=\"-68.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">*</text>\n",
       "</g>\n",
       "<!-- 6e4f7&#45;&gt;1c100 -->\n",
       "<g id=\"edge3\" class=\"edge\">\n",
       "<title>6e4f7&#45;&gt;1c100</title>\n",
       "<path fill=\"none\" stroke=\"#ff0000\" stroke-width=\"4\" d=\"M504.1248,-82.3407C552.8449,-98.2198 655.2051,-131.5817 710.1994,-149.5057\"/>\n",
       "<polygon fill=\"#ff0000\" stroke=\"#ff0000\" stroke-width=\"4\" points=\"709.3008,-152.894 719.8932,-152.6652 711.47,-146.2386 709.3008,-152.894\"/>\n",
       "</g>\n",
       "<!-- &#45;2.0 -->\n",
       "<g id=\"node5\" class=\"node\">\n",
       "<title>&#45;2.0</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M732,-88.5C732,-88.5 762,-88.5 762,-88.5 768,-88.5 774,-94.5 774,-100.5 774,-100.5 774,-112.5 774,-112.5 774,-118.5 768,-124.5 762,-124.5 762,-124.5 732,-124.5 732,-124.5 726,-124.5 720,-118.5 720,-112.5 720,-112.5 720,-100.5 720,-100.5 720,-94.5 726,-88.5 732,-88.5\"/>\n",
       "<text text-anchor=\"middle\" x=\"747\" y=\"-101.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">&#45;2.0</text>\n",
       "</g>\n",
       "<!-- &#45;2.0&#45;&gt;f2f55 -->\n",
       "<g id=\"edge4\" class=\"edge\">\n",
       "<title>&#45;2.0&#45;&gt;f2f55</title>\n",
       "<path fill=\"none\" stroke=\"#ff0000\" stroke-width=\"4\" d=\"M774.003,-114.6009C782.204,-117.0612 791.3599,-119.808 800.095,-122.4285\"/>\n",
       "<polygon fill=\"#ff0000\" stroke=\"#ff0000\" stroke-width=\"4\" points=\"799.121,-125.7904 809.705,-125.3115 801.1325,-119.0856 799.121,-125.7904\"/>\n",
       "</g>\n",
       "<!-- 53da3 -->\n",
       "<g id=\"node6\" class=\"node\">\n",
       "<title>53da3</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M552,-180.5C552,-180.5 582,-180.5 582,-180.5 588,-180.5 594,-186.5 594,-192.5 594,-192.5 594,-204.5 594,-204.5 594,-210.5 588,-216.5 582,-216.5 582,-216.5 552,-216.5 552,-216.5 546,-216.5 540,-210.5 540,-204.5 540,-204.5 540,-192.5 540,-192.5 540,-186.5 546,-180.5 552,-180.5\"/>\n",
       "<text text-anchor=\"middle\" x=\"567\" y=\"-193.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">d</text>\n",
       "</g>\n",
       "<!-- 53da3&#45;&gt;78f11 -->\n",
       "<g id=\"edge5\" class=\"edge\">\n",
       "<title>53da3&#45;&gt;78f11</title>\n",
       "<path fill=\"none\" stroke=\"#0000ff\" stroke-width=\"4\" d=\"M594.003,-198.5C602.0277,-198.5 610.9665,-198.5 619.5309,-198.5\"/>\n",
       "<polygon fill=\"#0000ff\" stroke=\"#0000ff\" stroke-width=\"4\" points=\"619.7051,-202.0001 629.705,-198.5 619.705,-195.0001 619.7051,-202.0001\"/>\n",
       "</g>\n",
       "<!-- x -->\n",
       "<g id=\"node7\" class=\"node\">\n",
       "<title>x</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M12,-235.5C12,-235.5 42,-235.5 42,-235.5 48,-235.5 54,-241.5 54,-247.5 54,-247.5 54,-259.5 54,-259.5 54,-265.5 48,-271.5 42,-271.5 42,-271.5 12,-271.5 12,-271.5 6,-271.5 0,-265.5 0,-259.5 0,-259.5 0,-247.5 0,-247.5 0,-241.5 6,-235.5 12,-235.5\"/>\n",
       "<text text-anchor=\"middle\" x=\"27\" y=\"-248.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">x</text>\n",
       "</g>\n",
       "<!-- x&#45;&gt;78f11 -->\n",
       "<g id=\"edge6\" class=\"edge\">\n",
       "<title>x&#45;&gt;78f11</title>\n",
       "<path fill=\"none\" stroke=\"#ff0000\" stroke-width=\"4\" d=\"M54.2947,-259.4326C89.4312,-266.5397 152.4591,-277.5 207,-277.5 207,-277.5 207,-277.5 477,-277.5 532.5288,-277.5 590.1859,-245.586 624.8336,-222.3265\"/>\n",
       "<polygon fill=\"#ff0000\" stroke=\"#ff0000\" stroke-width=\"4\" points=\"626.8721,-225.1725 633.1313,-216.6242 622.9075,-219.4034 626.8721,-225.1725\"/>\n",
       "</g>\n",
       "<!-- 3ceb5 -->\n",
       "<g id=\"node8\" class=\"node\">\n",
       "<title>3ceb5</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M102,-157.5C102,-157.5 132,-157.5 132,-157.5 138,-157.5 144,-163.5 144,-169.5 144,-169.5 144,-181.5 144,-181.5 144,-187.5 138,-193.5 132,-193.5 132,-193.5 102,-193.5 102,-193.5 96,-193.5 90,-187.5 90,-181.5 90,-181.5 90,-169.5 90,-169.5 90,-163.5 96,-157.5 102,-157.5\"/>\n",
       "<text text-anchor=\"middle\" x=\"117\" y=\"-170.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">*</text>\n",
       "</g>\n",
       "<!-- x&#45;&gt;3ceb5 -->\n",
       "<g id=\"edge7\" class=\"edge\">\n",
       "<title>x&#45;&gt;3ceb5</title>\n",
       "<path fill=\"none\" stroke=\"#0000ff\" stroke-width=\"4\" d=\"M47.874,-235.4092C59.8287,-225.0484 75.0087,-211.8925 88.0964,-200.5498\"/>\n",
       "<polygon fill=\"#0000ff\" stroke=\"#0000ff\" stroke-width=\"4\" points=\"90.6628,-202.9572 95.9274,-193.7629 86.0782,-197.6673 90.6628,-202.9572\"/>\n",
       "</g>\n",
       "<!-- 4d438 -->\n",
       "<g id=\"node9\" class=\"node\">\n",
       "<title>4d438</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M192,-157.5C192,-157.5 222,-157.5 222,-157.5 228,-157.5 234,-163.5 234,-169.5 234,-169.5 234,-181.5 234,-181.5 234,-187.5 228,-193.5 222,-193.5 222,-193.5 192,-193.5 192,-193.5 186,-193.5 180,-187.5 180,-181.5 180,-181.5 180,-169.5 180,-169.5 180,-163.5 186,-157.5 192,-157.5\"/>\n",
       "<text text-anchor=\"middle\" x=\"207\" y=\"-170.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">+</text>\n",
       "</g>\n",
       "<!-- 3ceb5&#45;&gt;4d438 -->\n",
       "<g id=\"edge8\" class=\"edge\">\n",
       "<title>3ceb5&#45;&gt;4d438</title>\n",
       "<path fill=\"none\" stroke=\"#ff0000\" stroke-width=\"4\" d=\"M144.003,-175.5C152.0277,-175.5 160.9665,-175.5 169.5309,-175.5\"/>\n",
       "<polygon fill=\"#ff0000\" stroke=\"#ff0000\" stroke-width=\"4\" points=\"169.7051,-179.0001 179.705,-175.5 169.705,-172.0001 169.7051,-179.0001\"/>\n",
       "</g>\n",
       "<!-- aa768 -->\n",
       "<g id=\"node10\" class=\"node\">\n",
       "<title>aa768</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M282,-204.5C282,-204.5 312,-204.5 312,-204.5 318,-204.5 324,-210.5 324,-216.5 324,-216.5 324,-228.5 324,-228.5 324,-234.5 318,-240.5 312,-240.5 312,-240.5 282,-240.5 282,-240.5 276,-240.5 270,-234.5 270,-228.5 270,-228.5 270,-216.5 270,-216.5 270,-210.5 276,-204.5 282,-204.5\"/>\n",
       "<text text-anchor=\"middle\" x=\"297\" y=\"-217.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">+</text>\n",
       "</g>\n",
       "<!-- 4d438&#45;&gt;aa768 -->\n",
       "<g id=\"edge9\" class=\"edge\">\n",
       "<title>4d438&#45;&gt;aa768</title>\n",
       "<path fill=\"none\" stroke=\"#0000ff\" stroke-width=\"4\" d=\"M234.003,-189.6015C242.3804,-193.9764 251.7541,-198.8716 260.6579,-203.5214\"/>\n",
       "<polygon fill=\"#0000ff\" stroke=\"#0000ff\" stroke-width=\"4\" points=\"259.2207,-206.7193 269.705,-208.246 262.4611,-200.5144 259.2207,-206.7193\"/>\n",
       "</g>\n",
       "<!-- 94adf -->\n",
       "<g id=\"node11\" class=\"node\">\n",
       "<title>94adf</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M372,-204.5C372,-204.5 402,-204.5 402,-204.5 408,-204.5 414,-210.5 414,-216.5 414,-216.5 414,-228.5 414,-228.5 414,-234.5 408,-240.5 402,-240.5 402,-240.5 372,-240.5 372,-240.5 366,-240.5 360,-234.5 360,-228.5 360,-228.5 360,-216.5 360,-216.5 360,-210.5 366,-204.5 372,-204.5\"/>\n",
       "<text text-anchor=\"middle\" x=\"387\" y=\"-217.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">+</text>\n",
       "</g>\n",
       "<!-- aa768&#45;&gt;94adf -->\n",
       "<g id=\"edge10\" class=\"edge\">\n",
       "<title>aa768&#45;&gt;94adf</title>\n",
       "<path fill=\"none\" stroke=\"#0000ff\" stroke-width=\"4\" d=\"M324.003,-222.5C332.0277,-222.5 340.9665,-222.5 349.5309,-222.5\"/>\n",
       "<polygon fill=\"#0000ff\" stroke=\"#0000ff\" stroke-width=\"4\" points=\"349.7051,-226.0001 359.705,-222.5 349.705,-219.0001 349.7051,-226.0001\"/>\n",
       "</g>\n",
       "<!-- 2bd65 -->\n",
       "<g id=\"node12\" class=\"node\">\n",
       "<title>2bd65</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M462,-204.5C462,-204.5 492,-204.5 492,-204.5 498,-204.5 504,-210.5 504,-216.5 504,-216.5 504,-228.5 504,-228.5 504,-234.5 498,-240.5 492,-240.5 492,-240.5 462,-240.5 462,-240.5 456,-240.5 450,-234.5 450,-228.5 450,-228.5 450,-216.5 450,-216.5 450,-210.5 456,-204.5 462,-204.5\"/>\n",
       "<text text-anchor=\"middle\" x=\"477\" y=\"-217.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">+</text>\n",
       "</g>\n",
       "<!-- 94adf&#45;&gt;2bd65 -->\n",
       "<g id=\"edge11\" class=\"edge\">\n",
       "<title>94adf&#45;&gt;2bd65</title>\n",
       "<path fill=\"none\" stroke=\"#0000ff\" stroke-width=\"4\" d=\"M414.003,-222.5C422.0277,-222.5 430.9665,-222.5 439.5309,-222.5\"/>\n",
       "<polygon fill=\"#0000ff\" stroke=\"#0000ff\" stroke-width=\"4\" points=\"439.7051,-226.0001 449.705,-222.5 439.705,-219.0001 439.7051,-226.0001\"/>\n",
       "</g>\n",
       "<!-- 2bd65&#45;&gt;53da3 -->\n",
       "<g id=\"edge12\" class=\"edge\">\n",
       "<title>2bd65&#45;&gt;53da3</title>\n",
       "<path fill=\"none\" stroke=\"#0000ff\" stroke-width=\"4\" d=\"M504.003,-215.2992C512.1158,-213.1358 521.1631,-210.7232 529.8131,-208.4165\"/>\n",
       "<polygon fill=\"#0000ff\" stroke=\"#0000ff\" stroke-width=\"4\" points=\"530.9445,-211.7372 539.705,-205.7787 529.1408,-204.9735 530.9445,-211.7372\"/>\n",
       "</g>\n",
       "<!-- 3d9ae -->\n",
       "<g id=\"node13\" class=\"node\">\n",
       "<title>3d9ae</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M372,-55.5C372,-55.5 402,-55.5 402,-55.5 408,-55.5 414,-61.5 414,-67.5 414,-67.5 414,-79.5 414,-79.5 414,-85.5 408,-91.5 402,-91.5 402,-91.5 372,-91.5 372,-91.5 366,-91.5 360,-85.5 360,-79.5 360,-79.5 360,-67.5 360,-67.5 360,-61.5 366,-55.5 372,-55.5\"/>\n",
       "<text text-anchor=\"middle\" x=\"387\" y=\"-68.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">*</text>\n",
       "</g>\n",
       "<!-- 3d9ae&#45;&gt;6e4f7 -->\n",
       "<g id=\"edge13\" class=\"edge\">\n",
       "<title>3d9ae&#45;&gt;6e4f7</title>\n",
       "<path fill=\"none\" stroke=\"#0000ff\" stroke-width=\"4\" d=\"M414.003,-73.5C422.0277,-73.5 430.9665,-73.5 439.5309,-73.5\"/>\n",
       "<polygon fill=\"#0000ff\" stroke=\"#0000ff\" stroke-width=\"4\" points=\"439.7051,-77.0001 449.705,-73.5 439.705,-70.0001 439.7051,-77.0001\"/>\n",
       "</g>\n",
       "<!-- 3.0 -->\n",
       "<g id=\"node14\" class=\"node\">\n",
       "<title>3.0</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M372,-.5C372,-.5 402,-.5 402,-.5 408,-.5 414,-6.5 414,-12.5 414,-12.5 414,-24.5 414,-24.5 414,-30.5 408,-36.5 402,-36.5 402,-36.5 372,-36.5 372,-36.5 366,-36.5 360,-30.5 360,-24.5 360,-24.5 360,-12.5 360,-12.5 360,-6.5 366,-.5 372,-.5\"/>\n",
       "<text text-anchor=\"middle\" x=\"387\" y=\"-13.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">3.0</text>\n",
       "</g>\n",
       "<!-- 3.0&#45;&gt;6e4f7 -->\n",
       "<g id=\"edge14\" class=\"edge\">\n",
       "<title>3.0&#45;&gt;6e4f7</title>\n",
       "<path fill=\"none\" stroke=\"#ff0000\" stroke-width=\"4\" d=\"M414.003,-35.0018C422.4686,-40.1752 431.9516,-45.9704 440.9389,-51.4627\"/>\n",
       "<polygon fill=\"#ff0000\" stroke=\"#ff0000\" stroke-width=\"4\" points=\"439.3471,-54.5917 449.705,-56.8197 442.9973,-48.6187 439.3471,-54.5917\"/>\n",
       "</g>\n",
       "<!-- y -->\n",
       "<g id=\"node15\" class=\"node\">\n",
       "<title>y</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M192,-102.5C192,-102.5 222,-102.5 222,-102.5 228,-102.5 234,-108.5 234,-114.5 234,-114.5 234,-126.5 234,-126.5 234,-132.5 228,-138.5 222,-138.5 222,-138.5 192,-138.5 192,-138.5 186,-138.5 180,-132.5 180,-126.5 180,-126.5 180,-114.5 180,-114.5 180,-108.5 186,-102.5 192,-102.5\"/>\n",
       "<text text-anchor=\"middle\" x=\"207\" y=\"-115.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">y</text>\n",
       "</g>\n",
       "<!-- y&#45;&gt;53da3 -->\n",
       "<g id=\"edge15\" class=\"edge\">\n",
       "<title>y&#45;&gt;53da3</title>\n",
       "<path fill=\"none\" stroke=\"#ff0000\" stroke-width=\"4\" d=\"M232.2957,-138.7419C249.7608,-150.6235 273.9128,-165.685 297,-175.5\"/>\n",
       "<path fill=\"none\" stroke=\"#ff0000\" stroke-width=\"4\" d=\"M297,-175.5C317.8992,-184.3848 460.8729,-192.9514 529.8825,-196.6253\"/>\n",
       "<polygon fill=\"#ff0000\" stroke=\"#ff0000\" stroke-width=\"4\" points=\"529.729,-200.122 539.899,-197.1518 530.0965,-193.1317 529.729,-200.122\"/>\n",
       "</g>\n",
       "<!-- y&#45;&gt;94adf -->\n",
       "<g id=\"edge17\" class=\"edge\">\n",
       "<title>y&#45;&gt;94adf</title>\n",
       "<path fill=\"none\" stroke=\"#ff0000\" stroke-width=\"4\" d=\"M297,-175.5C315.1714,-183.2252 334.672,-193.1885 350.8594,-201.9522\"/>\n",
       "<polygon fill=\"#ff0000\" stroke=\"#ff0000\" stroke-width=\"4\" points=\"349.5211,-205.2099 359.9724,-206.9476 352.8858,-199.0716 349.5211,-205.2099\"/>\n",
       "</g>\n",
       "<!-- ec14a -->\n",
       "<g id=\"node16\" class=\"node\">\n",
       "<title>ec14a</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M282,-.5C282,-.5 312,-.5 312,-.5 318,-.5 324,-6.5 324,-12.5 324,-12.5 324,-24.5 324,-24.5 324,-30.5 318,-36.5 312,-36.5 312,-36.5 282,-36.5 282,-36.5 276,-36.5 270,-30.5 270,-24.5 270,-24.5 270,-12.5 270,-12.5 270,-6.5 276,-.5 282,-.5\"/>\n",
       "<text text-anchor=\"middle\" x=\"297\" y=\"-13.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">pow</text>\n",
       "</g>\n",
       "<!-- y&#45;&gt;ec14a -->\n",
       "<g id=\"edge16\" class=\"edge\">\n",
       "<title>y&#45;&gt;ec14a</title>\n",
       "<path fill=\"none\" stroke=\"#0000ff\" stroke-width=\"4\" d=\"M221.5928,-102.2432C234.0958,-86.8193 252.7624,-64.3016 270,-45.5 270.504,-44.9503 271.0158,-44.3967 271.5338,-43.8408\"/>\n",
       "<polygon fill=\"#0000ff\" stroke=\"#0000ff\" stroke-width=\"4\" points=\"274.0899,-46.2321 278.4811,-36.5901 269.0355,-41.3892 274.0899,-46.2321\"/>\n",
       "</g>\n",
       "<!-- ab171 -->\n",
       "<g id=\"node17\" class=\"node\">\n",
       "<title>ab171</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M282,-110.5C282,-110.5 312,-110.5 312,-110.5 318,-110.5 324,-116.5 324,-122.5 324,-122.5 324,-134.5 324,-134.5 324,-140.5 318,-146.5 312,-146.5 312,-146.5 282,-146.5 282,-146.5 276,-146.5 270,-140.5 270,-134.5 270,-134.5 270,-122.5 270,-122.5 270,-116.5 276,-110.5 282,-110.5\"/>\n",
       "<text text-anchor=\"middle\" x=\"297\" y=\"-123.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">pow</text>\n",
       "</g>\n",
       "<!-- y&#45;&gt;ab171 -->\n",
       "<g id=\"edge18\" class=\"edge\">\n",
       "<title>y&#45;&gt;ab171</title>\n",
       "<path fill=\"none\" stroke=\"#0000ff\" stroke-width=\"4\" d=\"M234.003,-122.9003C242.0277,-123.6136 250.9665,-124.4081 259.5309,-125.1694\"/>\n",
       "<polygon fill=\"#0000ff\" stroke=\"#0000ff\" stroke-width=\"4\" points=\"259.4344,-128.6745 269.705,-126.0738 260.0542,-121.702 259.4344,-128.6745\"/>\n",
       "</g>\n",
       "<!-- ec14a&#45;&gt;3d9ae -->\n",
       "<g id=\"edge19\" class=\"edge\">\n",
       "<title>ec14a&#45;&gt;3d9ae</title>\n",
       "<path fill=\"none\" stroke=\"#ff0000\" stroke-width=\"4\" d=\"M324.003,-35.0018C332.4686,-40.1752 341.9516,-45.9704 350.9389,-51.4627\"/>\n",
       "<polygon fill=\"#ff0000\" stroke=\"#ff0000\" stroke-width=\"4\" points=\"349.3471,-54.5917 359.705,-56.8197 352.9973,-48.6187 349.3471,-54.5917\"/>\n",
       "</g>\n",
       "<!-- 9cf5b -->\n",
       "<g id=\"node18\" class=\"node\">\n",
       "<title>9cf5b</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M372,-110.5C372,-110.5 402,-110.5 402,-110.5 408,-110.5 414,-116.5 414,-122.5 414,-122.5 414,-134.5 414,-134.5 414,-140.5 408,-146.5 402,-146.5 402,-146.5 372,-146.5 372,-146.5 366,-146.5 360,-140.5 360,-134.5 360,-134.5 360,-122.5 360,-122.5 360,-116.5 366,-110.5 372,-110.5\"/>\n",
       "<text text-anchor=\"middle\" x=\"387\" y=\"-123.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">*</text>\n",
       "</g>\n",
       "<!-- ab171&#45;&gt;9cf5b -->\n",
       "<g id=\"edge20\" class=\"edge\">\n",
       "<title>ab171&#45;&gt;9cf5b</title>\n",
       "<path fill=\"none\" stroke=\"#ff0000\" stroke-width=\"4\" d=\"M324.003,-128.5C332.0277,-128.5 340.9665,-128.5 349.5309,-128.5\"/>\n",
       "<polygon fill=\"#ff0000\" stroke=\"#ff0000\" stroke-width=\"4\" points=\"349.7051,-132.0001 359.705,-128.5 349.705,-125.0001 349.7051,-132.0001\"/>\n",
       "</g>\n",
       "<!-- 9cf5b&#45;&gt;2bd65 -->\n",
       "<g id=\"edge21\" class=\"edge\">\n",
       "<title>9cf5b&#45;&gt;2bd65</title>\n",
       "<path fill=\"none\" stroke=\"#ff0000\" stroke-width=\"4\" d=\"M404.3529,-146.6241C418.0487,-160.9287 437.323,-181.0595 452.577,-196.9916\"/>\n",
       "<polygon fill=\"#ff0000\" stroke=\"#ff0000\" stroke-width=\"4\" points=\"450.2565,-199.6289 459.7004,-204.4315 455.3127,-194.7879 450.2565,-199.6289\"/>\n",
       "</g>\n",
       "<!-- z -->\n",
       "<g id=\"node19\" class=\"node\">\n",
       "<title>z</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M282,-55.5C282,-55.5 312,-55.5 312,-55.5 318,-55.5 324,-61.5 324,-67.5 324,-67.5 324,-79.5 324,-79.5 324,-85.5 318,-91.5 312,-91.5 312,-91.5 282,-91.5 282,-91.5 276,-91.5 270,-85.5 270,-79.5 270,-79.5 270,-67.5 270,-67.5 270,-61.5 276,-55.5 282,-55.5\"/>\n",
       "<text text-anchor=\"middle\" x=\"297\" y=\"-68.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">z</text>\n",
       "</g>\n",
       "<!-- z&#45;&gt;3d9ae -->\n",
       "<g id=\"edge22\" class=\"edge\">\n",
       "<title>z&#45;&gt;3d9ae</title>\n",
       "<path fill=\"none\" stroke=\"#0000ff\" stroke-width=\"4\" d=\"M324.003,-73.5C332.0277,-73.5 340.9665,-73.5 349.5309,-73.5\"/>\n",
       "<polygon fill=\"#0000ff\" stroke=\"#0000ff\" stroke-width=\"4\" points=\"349.7051,-77.0001 359.705,-73.5 349.705,-70.0001 349.7051,-77.0001\"/>\n",
       "</g>\n",
       "<!-- z&#45;&gt;9cf5b -->\n",
       "<g id=\"edge23\" class=\"edge\">\n",
       "<title>z&#45;&gt;9cf5b</title>\n",
       "<path fill=\"none\" stroke=\"#0000ff\" stroke-width=\"4\" d=\"M324.003,-90.0018C332.4686,-95.1752 341.9516,-100.9704 350.9389,-106.4627\"/>\n",
       "<polygon fill=\"#0000ff\" stroke=\"#0000ff\" stroke-width=\"4\" points=\"349.3471,-109.5917 359.705,-111.8197 352.9973,-103.6187 349.3471,-109.5917\"/>\n",
       "</g>\n",
       "<!-- &#45;1.0 -->\n",
       "<g id=\"node20\" class=\"node\">\n",
       "<title>&#45;1.0</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M192,-24.5C192,-24.5 222,-24.5 222,-24.5 228,-24.5 234,-30.5 234,-36.5 234,-36.5 234,-48.5 234,-48.5 234,-54.5 228,-60.5 222,-60.5 222,-60.5 192,-60.5 192,-60.5 186,-60.5 180,-54.5 180,-48.5 180,-48.5 180,-36.5 180,-36.5 180,-30.5 186,-24.5 192,-24.5\"/>\n",
       "<text text-anchor=\"middle\" x=\"207\" y=\"-37.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">&#45;1.0</text>\n",
       "</g>\n",
       "<!-- &#45;1.0&#45;&gt;ec14a -->\n",
       "<g id=\"edge24\" class=\"edge\">\n",
       "<title>&#45;1.0&#45;&gt;ec14a</title>\n",
       "<path fill=\"none\" stroke=\"#ff0000\" stroke-width=\"4\" d=\"M234.003,-35.2992C242.1158,-33.1358 251.1631,-30.7232 259.8131,-28.4165\"/>\n",
       "<polygon fill=\"#ff0000\" stroke=\"#ff0000\" stroke-width=\"4\" points=\"260.9445,-31.7372 269.705,-25.7787 259.1408,-24.9735 260.9445,-31.7372\"/>\n",
       "</g>\n",
       "<!-- &#45;1.0&#45;&gt;ab171 -->\n",
       "<g id=\"edge25\" class=\"edge\">\n",
       "<title>&#45;1.0&#45;&gt;ab171</title>\n",
       "<path fill=\"none\" stroke=\"#ff0000\" stroke-width=\"4\" d=\"M226.0867,-60.7384C238.9735,-73.0525 256.1614,-89.4765 270.388,-103.0707\"/>\n",
       "<polygon fill=\"#ff0000\" stroke=\"#ff0000\" stroke-width=\"4\" points=\"268.2929,-105.9098 277.9408,-110.2879 273.1289,-100.8488 268.2929,-105.9098\"/>\n",
       "</g>\n",
       "<!-- &#45;3.0 -->\n",
       "<g id=\"node21\" class=\"node\">\n",
       "<title>&#45;3.0</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M192,-212.5C192,-212.5 222,-212.5 222,-212.5 228,-212.5 234,-218.5 234,-224.5 234,-224.5 234,-236.5 234,-236.5 234,-242.5 228,-248.5 222,-248.5 222,-248.5 192,-248.5 192,-248.5 186,-248.5 180,-242.5 180,-236.5 180,-236.5 180,-224.5 180,-224.5 180,-218.5 186,-212.5 192,-212.5\"/>\n",
       "<text text-anchor=\"middle\" x=\"207\" y=\"-225.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">&#45;3.0</text>\n",
       "</g>\n",
       "<!-- &#45;3.0&#45;&gt;aa768 -->\n",
       "<g id=\"edge26\" class=\"edge\">\n",
       "<title>&#45;3.0&#45;&gt;aa768</title>\n",
       "<path fill=\"none\" stroke=\"#ff0000\" stroke-width=\"4\" d=\"M234.003,-228.0997C242.0277,-227.3864 250.9665,-226.5919 259.5309,-225.8306\"/>\n",
       "<polygon fill=\"#ff0000\" stroke=\"#ff0000\" stroke-width=\"4\" points=\"260.0542,-229.298 269.705,-224.9262 259.4344,-222.3255 260.0542,-229.298\"/>\n",
       "</g>\n",
       "<!-- 1.0 -->\n",
       "<g id=\"node22\" class=\"node\">\n",
       "<title>1.0</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M102,-212.5C102,-212.5 132,-212.5 132,-212.5 138,-212.5 144,-218.5 144,-224.5 144,-224.5 144,-236.5 144,-236.5 144,-242.5 138,-248.5 132,-248.5 132,-248.5 102,-248.5 102,-248.5 96,-248.5 90,-242.5 90,-236.5 90,-236.5 90,-224.5 90,-224.5 90,-218.5 96,-212.5 102,-212.5\"/>\n",
       "<text text-anchor=\"middle\" x=\"117\" y=\"-225.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">1.0</text>\n",
       "</g>\n",
       "<!-- 1.0&#45;&gt;4d438 -->\n",
       "<g id=\"edge27\" class=\"edge\">\n",
       "<title>1.0&#45;&gt;4d438</title>\n",
       "<path fill=\"none\" stroke=\"#0000ff\" stroke-width=\"4\" d=\"M144.003,-213.9982C152.4686,-208.8248 161.9516,-203.0296 170.9389,-197.5373\"/>\n",
       "<polygon fill=\"#0000ff\" stroke=\"#0000ff\" stroke-width=\"4\" points=\"172.9973,-200.3813 179.705,-192.1803 169.3471,-194.4083 172.9973,-200.3813\"/>\n",
       "</g>\n",
       "<!-- 2.0 -->\n",
       "<g id=\"node23\" class=\"node\">\n",
       "<title>2.0</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M12,-157.5C12,-157.5 42,-157.5 42,-157.5 48,-157.5 54,-163.5 54,-169.5 54,-169.5 54,-181.5 54,-181.5 54,-187.5 48,-193.5 42,-193.5 42,-193.5 12,-193.5 12,-193.5 6,-193.5 0,-187.5 0,-181.5 0,-181.5 0,-169.5 0,-169.5 0,-163.5 6,-157.5 12,-157.5\"/>\n",
       "<text text-anchor=\"middle\" x=\"27\" y=\"-170.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">2.0</text>\n",
       "</g>\n",
       "<!-- 2.0&#45;&gt;3ceb5 -->\n",
       "<g id=\"edge28\" class=\"edge\">\n",
       "<title>2.0&#45;&gt;3ceb5</title>\n",
       "<path fill=\"none\" stroke=\"#ff0000\" stroke-width=\"4\" d=\"M54.003,-175.5C62.0277,-175.5 70.9665,-175.5 79.5309,-175.5\"/>\n",
       "<polygon fill=\"#ff0000\" stroke=\"#ff0000\" stroke-width=\"4\" points=\"79.7051,-179.0001 89.705,-175.5 79.705,-172.0001 79.7051,-179.0001\"/>\n",
       "</g>\n",
       "</g>\n",
       "</svg>\n"
      ]
     },
     "execution_count": 3,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "val t = (1 + x * 2 - 3 + y + z / y).d(y).d(x) + z / y * 3 - 2; t"
   ]
  }
 ],
 "metadata": {
  "kernelspec": {
   "display_name": "Kotlin",
   "language": "kotlin",
   "name": "kotlin"
  },
  "language_info": {
   "codemirror_mode": "text/x-kotlin",
   "file_extension": ".kt",
   "mimetype": "text/x-kotlin",
   "name": "kotlin",
   "nbconvert_exporter": "",
   "pygments_lexer": "kotlin",
   "version": "1.4.30"
  }
 },
 "nbformat": 4,
 "nbformat_minor": 4
}