Semantic Graph — Visual Examination Report

{
  "nodes": [
    {
      "id": "d0___equals_1",
      "type": "relation",
      "op": "equals",
      "subexpr": "x = 2",
      "chartScript": {
        "script": "x - 2",
        "variables": [
          "x"
        ]
      }
    },
    {
      "id": "x",
      "type": "scalar",
      "latex": "x",
      "subexpr": "x",
      "chartScript": {
        "script": "x",
        "variables": [
          "x"
        ]
      }
    },
    {
      "id": "d0___num_2",
      "type": "number",
      "label": "2",
      "subexpr": "2",
      "chartScript": {
        "script": "2",
        "variables": []
      }
    },
    {
      "id": "d1___equals_1",
      "type": "relation",
      "op": "equals",
      "subexpr": "x = 3",
      "chartScript": {
        "script": "x - 3",
        "variables": [
          "x"
        ]
      }
    },
    {
      "id": "d1___num_2",
      "type": "number",
      "label": "3",
      "subexpr": "3",
      "chartScript": {
        "script": "3",
        "variables": []
      }
    },
    {
      "id": "__disjunction_1",
      "type": "operator",
      "op": "disjunction",
      "subexpr": "x = 2 \\lor x = 3",
      "chartScript": {
        "script": "False",
        "variables": []
      }
    }
  ],
  "edges": [
    {
      "from": "x",
      "to": "d0___equals_1"
    },
    {
      "from": "d0___num_2",
      "to": "d0___equals_1"
    },
    {
      "from": "x",
      "to": "d1___equals_1"
    },
    {
      "from": "d1___num_2",
      "to": "d1___equals_1"
    },
    {
      "from": "d0___equals_1",
      "to": "__disjunction_1"
    },
    {
      "from": "d1___equals_1",
      "to": "__disjunction_1"
    }
  ],
  "classification": {
    "kind": "algebraic"
  }
}

flowchart RL
  classDef scalar fill:#1b3a1e,stroke:#66bb6a,color:#c8e6c9,font-size:15px
  classDef vector fill:#1b3a1e,stroke:#66bb6a,color:#c8e6c9,font-size:15px
  classDef constant fill:#1b3a1e,stroke:#66bb6a,color:#c8e6c9,font-size:15px
  classDef number fill:#1b3a1e,stroke:#66bb6a,color:#c8e6c9,font-size:15px
  classDef expression fill:#1b3a1e,stroke:#66bb6a,color:#c8e6c9,font-size:15px
  classDef text fill:#1b3a1e,stroke:#66bb6a,color:#c8e6c9,font-size:15px
  classDef operator fill:#1a2740,stroke:#42a5f5,color:#bbdefb,font-size:15px
  classDef function fill:#1a2740,stroke:#42a5f5,color:#bbdefb,font-size:15px
  classDef relation fill:#332a0b,stroke:#ffa726,color:#ffe0b2,font-size:15px
  classDef result fill:#332a0b,stroke:#ffa726,color:#ffe0b2,font-size:15px
  classDef annotation fill:#131a2c,stroke:#4a5580,color:#b0bcd0,font-size:15px
  d0___equals_1{"="}:::relation
  x["$x$"]:::scalar
  d0___num_2["$2$"]:::number
  d1___equals_1{"="}:::relation
  d1___num_2["$3$"]:::number
  __disjunction_1(("$\lor$")):::operator
  x --> d0___equals_1
  d0___num_2 --> d0___equals_1
  x --> d1___equals_1
  d1___num_2 --> d1___equals_1
  d0___equals_1 --> __disjunction_1
  d1___equals_1 --> __disjunction_1
  linkStyle 0 stroke:#aaa,stroke-width:2px
  linkStyle 1 stroke:#aaa,stroke-width:2px
  linkStyle 2 stroke:#aaa,stroke-width:2px
  linkStyle 3 stroke:#aaa,stroke-width:2px
  linkStyle 4 stroke:#aaa,stroke-width:2px
  linkStyle 5 stroke:#aaa,stroke-width:2px

{
  "nodes": [
    {
      "id": "d0___equals_1",
      "type": "relation",
      "op": "equals",
      "subexpr": "x = 2",
      "chartScript": {
        "script": "x - 2",
        "variables": [
          "x"
        ]
      }
    },
    {
      "id": "x",
      "type": "scalar",
      "latex": "x",
      "subexpr": "x",
      "chartScript": {
        "script": "x",
        "variables": [
          "x"
        ]
      }
    },
    {
      "id": "d0___num_2",
      "type": "number",
      "label": "2",
      "subexpr": "2",
      "chartScript": {
        "script": "2",
        "variables": []
      }
    },
    {
      "id": "d1___equals_1",
      "type": "relation",
      "op": "equals",
      "subexpr": "x = 3",
      "chartScript": {
        "script": "x - 3",
        "variables": [
          "x"
        ]
      }
    },
    {
      "id": "d1___num_2",
      "type": "number",
      "label": "3",
      "subexpr": "3",
      "chartScript": {
        "script": "3",
        "variables": []
      }
    },
    {
      "id": "__disjunction_1",
      "type": "operator",
      "op": "disjunction",
      "subexpr": "x = 2 \\lor x = 3",
      "chartScript": {
        "script": "False",
        "variables": []
      }
    }
  ],
  "edges": [
    {
      "from": "x",
      "to": "d0___equals_1"
    },
    {
      "from": "d0___num_2",
      "to": "d0___equals_1"
    },
    {
      "from": "x",
      "to": "d1___equals_1"
    },
    {
      "from": "d1___num_2",
      "to": "d1___equals_1"
    },
    {
      "from": "d0___equals_1",
      "to": "__disjunction_1"
    },
    {
      "from": "d1___equals_1",
      "to": "__disjunction_1"
    }
  ],
  "classification": {
    "kind": "algebraic"
  }
}

flowchart RL
  classDef scalar fill:#1b3a1e,stroke:#66bb6a,color:#c8e6c9,font-size:15px
  classDef vector fill:#1b3a1e,stroke:#66bb6a,color:#c8e6c9,font-size:15px
  classDef constant fill:#1b3a1e,stroke:#66bb6a,color:#c8e6c9,font-size:15px
  classDef number fill:#1b3a1e,stroke:#66bb6a,color:#c8e6c9,font-size:15px
  classDef expression fill:#1b3a1e,stroke:#66bb6a,color:#c8e6c9,font-size:15px
  classDef text fill:#1b3a1e,stroke:#66bb6a,color:#c8e6c9,font-size:15px
  classDef operator fill:#1a2740,stroke:#42a5f5,color:#bbdefb,font-size:15px
  classDef function fill:#1a2740,stroke:#42a5f5,color:#bbdefb,font-size:15px
  classDef relation fill:#332a0b,stroke:#ffa726,color:#ffe0b2,font-size:15px
  classDef result fill:#332a0b,stroke:#ffa726,color:#ffe0b2,font-size:15px
  classDef annotation fill:#131a2c,stroke:#4a5580,color:#b0bcd0,font-size:15px
  d0___equals_1{"="}:::relation
  x["$x$"]:::scalar
  d0___num_2["$2$"]:::number
  d1___equals_1{"="}:::relation
  d1___num_2["$3$"]:::number
  __disjunction_1(("$\lor$")):::operator
  x --> d0___equals_1
  d0___num_2 --> d0___equals_1
  x --> d1___equals_1
  d1___num_2 --> d1___equals_1
  d0___equals_1 --> __disjunction_1
  d1___equals_1 --> __disjunction_1
  linkStyle 0 stroke:#aaa,stroke-width:2px
  linkStyle 1 stroke:#aaa,stroke-width:2px
  linkStyle 2 stroke:#aaa,stroke-width:2px
  linkStyle 3 stroke:#aaa,stroke-width:2px
  linkStyle 4 stroke:#aaa,stroke-width:2px
  linkStyle 5 stroke:#aaa,stroke-width:2px

{
  "nodes": [
    {
      "id": "d0___equals_1",
      "type": "relation",
      "op": "equals",
      "subexpr": "x = \\frac{-b + \\sqrt{b^2 - 4ac}}{2a}",
      "chartScript": {
        "script": "x - 1/2*(-b + sqrt(-4*a*c + pow(b, 2)))/a",
        "variables": [
          "a",
          "b",
          "c",
          "x"
        ]
      }
    },
    {
      "id": "x",
      "type": "scalar",
      "latex": "x",
      "subexpr": "x",
      "chartScript": {
        "script": "x",
        "variables": [
          "x"
        ]
      }
    },
    {
      "id": "d0___multiply_2",
      "type": "operator",
      "op": "multiply",
      "subexpr": "\\left(-b + \\sqrt{b^{2} - 4 a c}\\right) \\frac{1}{2 a}",
      "chartScript": {
        "script": "(1/2)*(-b + sqrt(-4*a*c + pow(b, 2)))/a",
        "variables": [
          "a",
          "b",
          "c"
        ]
      }
    },
    {
      "id": "d0___add_3",
      "type": "operator",
      "op": "add",
      "subexpr": "-b + \\sqrt{b^{2} - 4 a c}",
      "chartScript": {
        "script": "-b + sqrt(-4*a*c + pow(b, 2))",
        "variables": [
          "a",
          "b",
          "c"
        ]
      }
    },
    {
      "id": "d0___negation_4",
      "type": "operator",
      "op": "negation",
      "subexpr": "-b",
      "chartScript": {
        "script": "-b",
        "variables": [
          "b"
        ]
      }
    },
    {
      "id": "b",
      "type": "scalar",
      "latex": "b",
      "subexpr": "b",
      "chartScript": {
        "script": "b",
        "variables": [
          "b"
        ]
      }
    },
    {
      "id": "d0___power_5",
      "type": "operator",
      "op": "power",
      "exponent": "1/2",
      "subexpr": "\\sqrt{b^{2} - 4 a c}",
      "chartScript": {
        "script": "sqrt(-4*a*c + pow(b, 2))",
        "variables": [
          "a",
          "b",
          "c"
        ]
      }
    },
    {
      "id": "d0___add_6",
      "type": "operator",
      "op": "add",
      "subexpr": "b^{2} - 4 a c",
      "chartScript": {
        "script": "-4*a*c + pow(b, 2)",
        "variables": [
          "a",
          "b",
          "c"
        ]
      }
    },
    {
      "id": "d0___power_7",
      "type": "operator",
      "op": "power",
      "exponent": "2",
      "subexpr": "b^{2}",
      "chartScript": {
        "script": "pow(b, 2)",
        "variables": [
          "b"
        ]
      }
    },
    {
      "id": "d0___negation_8",
      "type": "operator",
      "op": "negation",
      "subexpr": "-4 a c",
      "chartScript": {
        "script": "-4*a*c",
        "variables": [
          "a",
          "c"
        ]
      }
    },
    {
      "id": "d0___multiply_9",
      "type": "operator",
      "op": "multiply",
      "subexpr": "4 a c",
      "chartScript": {
        "script": "4*a*c",
        "variables": [
          "a",
          "c"
        ]
      }
    },
    {
      "id": "d0___num_10",
      "type": "number",
      "label": "4",
      "subexpr": "4",
      "chartScript": {
        "script": "4",
        "variables": []
      }
    },
    {
      "id": "d0___multiply_11",
      "type": "operator",
      "op": "multiply",
      "subexpr": "a c",
      "chartScript": {
        "script": "a*c",
        "variables": [
          "a",
          "c"
        ]
      }
    },
    {
      "id": "a",
      "type": "scalar",
      "latex": "a",
      "subexpr": "a",
      "chartScript": {
        "script": "a",
        "variables": [
          "a"
        ]
      }
    },
    {
      "id": "c",
      "type": "scalar",
      "latex": "c",
      "subexpr": "c",
      "chartScript": {
        "script": "c",
        "variables": [
          "c"
        ]
      }
    },
    {
      "id": "d0___power_12",
      "type": "operator",
      "latex": "\\dfrac{1}{(\\cdot)}",
      "op": "power",
      "exponent": "-1",
      "subexpr": "\\frac{1}{2 a}",
      "chartScript": {
        "script": "(1/2)/a",
        "variables": [
          "a"
        ]
      }
    },
    {
      "id": "d0___multiply_13",
      "type": "operator",
      "op": "multiply",
      "subexpr": "a 2",
      "chartScript": {
        "script": "2*a",
        "variables": [
          "a"
        ]
      }
    },
    {
      "id": "d0___num_14",
      "type": "number",
      "label": "2",
      "subexpr": "2",
      "chartScript": {
        "script": "2",
        "variables": []
      }
    },
    {
      "id": "d1___equals_1",
      "type": "relation",
      "op": "equals",
      "subexpr": "x = \\frac{-b - \\sqrt{b^2 - 4ac}}{2a}",
      "chartScript": {
        "script": "x - 1/2*(-b - sqrt(-4*a*c + pow(b, 2)))/a",
        "variables": [
          "a",
          "b",
          "c",
          "x"
        ]
      }
    },
    {
      "id": "d1___multiply_2",
      "type": "operator",
      "op": "multiply",
      "subexpr": "\\left(-b - \\sqrt{b^{2} - 4 a c}\\right) \\frac{1}{2 a}",
      "chartScript": {
        "script": "(1/2)*(-b - sqrt(-4*a*c + pow(b, 2)))/a",
        "variables": [
          "a",
          "b",
          "c"
        ]
      }
    },
    {
      "id": "d1___add_3",
      "type": "operator",
      "op": "add",
      "subexpr": "-b - \\sqrt{b^{2} - 4 a c}",
      "chartScript": {
        "script": "-b - sqrt(-4*a*c + pow(b, 2))",
        "variables": [
          "a",
          "b",
          "c"
        ]
      }
    },
    {
      "id": "d1___negation_4",
      "type": "operator",
      "op": "negation",
      "subexpr": "-b",
      "chartScript": {
        "script": "-b",
        "variables": [
          "b"
        ]
      }
    },
    {
      "id": "d1___negation_5",
      "type": "operator",
      "op": "negation",
      "subexpr": "-\\sqrt{b^{2} - 4 a c}",
      "chartScript": {
        "script": "-sqrt(-4*a*c + pow(b, 2))",
        "variables": [
          "a",
          "b",
          "c"
        ]
      }
    },
    {
      "id": "d1___power_6",
      "type": "operator",
      "op": "power",
      "exponent": "1/2",
      "subexpr": "\\sqrt{b^{2} - 4 a c}",
      "chartScript": {
        "script": "sqrt(-4*a*c + pow(b, 2))",
        "variables": [
          "a",
          "b",
          "c"
        ]
      }
    },
    {
      "id": "d1___add_7",
      "type": "operator",
      "op": "add",
      "subexpr": "b^{2} - 4 a c",
      "chartScript": {
        "script": "-4*a*c + pow(b, 2)",
        "variables": [
          "a",
          "b",
          "c"
        ]
      }
    },
    {
      "id": "d1___power_8",
      "type": "operator",
      "op": "power",
      "exponent": "2",
      "subexpr": "b^{2}",
      "chartScript": {
        "script": "pow(b, 2)",
        "variables": [
          "b"
        ]
      }
    },
    {
      "id": "d1___negation_9",
      "type": "operator",
      "op": "negation",
      "subexpr": "-4 a c",
      "chartScript": {
        "script": "-4*a*c",
        "variables": [
          "a",
          "c"
        ]
      }
    },
    {
      "id": "d1___multiply_10",
      "type": "operator",
      "op": "multiply",
      "subexpr": "4 a c",
      "chartScript": {
        "script": "4*a*c",
        "variables": [
          "a",
          "c"
        ]
      }
    },
    {
      "id": "d1___num_11",
      "type": "number",
      "label": "4",
      "subexpr": "4",
      "chartScript": {
        "script": "4",
        "variables": []
      }
    },
    {
      "id": "d1___multiply_12",
      "type": "operator",
      "op": "multiply",
      "subexpr": "a c",
      "chartScript": {
        "script": "a*c",
        "variables": [
          "a",
          "c"
        ]
      }
    },
    {
      "id": "d1___power_13",
      "type": "operator",
      "latex": "\\dfrac{1}{(\\cdot)}",
      "op": "power",
      "exponent": "-1",
      "subexpr": "\\frac{1}{2 a}",
      "chartScript": {
        "script": "(1/2)/a",
        "variables": [
          "a"
        ]
      }
    },
    {
      "id": "d1___multiply_14",
      "type": "operator",
      "op": "multiply",
      "subexpr": "a 2",
      "chartScript": {
        "script": "2*a",
        "variables": [
          "a"
        ]
      }
    },
    {
      "id": "d1___num_15",
      "type": "number",
      "label": "2",
      "subexpr": "2",
      "chartScript": {
        "script": "2",
        "variables": []
      }
    },
    {
      "id": "__disjunction_1",
      "type": "operator",
      "op": "disjunction",
      "subexpr": "x = \\frac{-b + \\sqrt{b^2 - 4ac}}{2a} \\lor x = \\frac{-b - \\sqrt{b^2 - 4ac}}{2a}",
      "chartScript": {
        "script": "False",
        "variables": []
      }
    }
  ],
  "edges": [
    {
      "from": "x",
      "to": "d0___equals_1"
    },
    {
      "from": "b",
      "to": "d0___negation_4"
    },
    {
      "from": "d0___negation_4",
      "to": "d0___add_3"
    },
    {
      "from": "b",
      "to": "d0___power_7"
    },
    {
      "from": "d0___power_7",
      "to": "d0___add_6"
    },
    {
      "from": "d0___num_10",
      "to": "d0___multiply_9"
    },
    {
      "from": "a",
      "to": "d0___multiply_11"
    },
    {
      "from": "c",
      "to": "d0___multiply_11"
    },
    {
      "from": "d0___multiply_11",
      "to": "d0___multiply_9"
    },
    {
      "from": "d0___multiply_9",
      "to": "d0___negation_8"
    },
    {
      "from": "d0___negation_8",
      "to": "d0___add_6"
    },
    {
      "from": "d0___add_6",
      "to": "d0___power_5"
    },
    {
      "from": "d0___power_5",
      "to": "d0___add_3"
    },
    {
      "from": "d0___add_3",
      "to": "d0___multiply_2"
    },
    {
      "from": "d0___num_14",
      "to": "d0___multiply_13"
    },
    {
      "from": "a",
      "to": "d0___multiply_13"
    },
    {
      "from": "d0___multiply_13",
      "to": "d0___power_12"
    },
    {
      "from": "d0___power_12",
      "to": "d0___multiply_2"
    },
    {
      "from": "d0___multiply_2",
      "to": "d0___equals_1"
    },
    {
      "from": "x",
      "to": "d1___equals_1"
    },
    {
      "from": "b",
      "to": "d1___negation_4"
    },
    {
      "from": "d1___negation_4",
      "to": "d1___add_3"
    },
    {
      "from": "b",
      "to": "d1___power_8"
    },
    {
      "from": "d1___power_8",
      "to": "d1___add_7"
    },
    {
      "from": "d1___num_11",
      "to": "d1___multiply_10"
    },
    {
      "from": "a",
      "to": "d1___multiply_12"
    },
    {
      "from": "c",
      "to": "d1___multiply_12"
    },
    {
      "from": "d1___multiply_12",
      "to": "d1___multiply_10"
    },
    {
      "from": "d1___multiply_10",
      "to": "d1___negation_9"
    },
    {
      "from": "d1___negation_9",
      "to": "d1___add_7"
    },
    {
      "from": "d1___add_7",
      "to": "d1___power_6"
    },
    {
      "from": "d1___power_6",
      "to": "d1___negation_5"
    },
    {
      "from": "d1___negation_5",
      "to": "d1___add_3"
    },
    {
      "from": "d1___add_3",
      "to": "d1___multiply_2"
    },
    {
      "from": "d1___num_15",
      "to": "d1___multiply_14"
    },
    {
      "from": "a",
      "to": "d1___multiply_14"
    },
    {
      "from": "d1___multiply_14",
      "to": "d1___power_13"
    },
    {
      "from": "d1___power_13",
      "to": "d1___multiply_2"
    },
    {
      "from": "d1___multiply_2",
      "to": "d1___equals_1"
    },
    {
      "from": "d0___equals_1",
      "to": "__disjunction_1"
    },
    {
      "from": "d1___equals_1",
      "to": "__disjunction_1"
    }
  ],
  "classification": {
    "kind": "algebraic"
  }
}

flowchart RL
  classDef scalar fill:#1b3a1e,stroke:#66bb6a,color:#c8e6c9,font-size:15px
  classDef vector fill:#1b3a1e,stroke:#66bb6a,color:#c8e6c9,font-size:15px
  classDef constant fill:#1b3a1e,stroke:#66bb6a,color:#c8e6c9,font-size:15px
  classDef number fill:#1b3a1e,stroke:#66bb6a,color:#c8e6c9,font-size:15px
  classDef expression fill:#1b3a1e,stroke:#66bb6a,color:#c8e6c9,font-size:15px
  classDef text fill:#1b3a1e,stroke:#66bb6a,color:#c8e6c9,font-size:15px
  classDef operator fill:#1a2740,stroke:#42a5f5,color:#bbdefb,font-size:15px
  classDef function fill:#1a2740,stroke:#42a5f5,color:#bbdefb,font-size:15px
  classDef relation fill:#332a0b,stroke:#ffa726,color:#ffe0b2,font-size:15px
  classDef result fill:#332a0b,stroke:#ffa726,color:#ffe0b2,font-size:15px
  classDef annotation fill:#131a2c,stroke:#4a5580,color:#b0bcd0,font-size:15px
  d0___equals_1{"="}:::relation
  x["$x$"]:::scalar
  d0___multiply_2(("$\times$")):::operator
  d0___add_3(("$+$")):::operator
  d0___negation_4@{ shape: "flip-tri", label: "$-$" }
  b["$b$"]:::scalar
  d0___power_5(("${(\cdot)}^{1/2}$")):::operator
  d0___add_6(("$+$")):::operator
  d0___power_7(("${(\cdot)}^{2}$")):::operator
  d0___negation_8@{ shape: "flip-tri", label: "$-$" }
  d0___multiply_9(("$\times$")):::operator
  d0___num_10["$4$"]:::number
  d0___multiply_11(("$\times$")):::operator
  a["$a$"]:::scalar
  c["$c$"]:::scalar
  d0___power_12(("$\dfrac{1}{(\cdot)}$")):::operator
  d0___multiply_13(("$\times$")):::operator
  d0___num_14["$2$"]:::number
  d1___equals_1{"="}:::relation
  d1___multiply_2(("$\times$")):::operator
  d1___add_3(("$+$")):::operator
  d1___negation_4@{ shape: "flip-tri", label: "$-$" }
  d1___negation_5@{ shape: "flip-tri", label: "$-$" }
  d1___power_6(("${(\cdot)}^{1/2}$")):::operator
  d1___add_7(("$+$")):::operator
  d1___power_8(("${(\cdot)}^{2}$")):::operator
  d1___negation_9@{ shape: "flip-tri", label: "$-$" }
  d1___multiply_10(("$\times$")):::operator
  d1___num_11["$4$"]:::number
  d1___multiply_12(("$\times$")):::operator
  d1___power_13(("$\dfrac{1}{(\cdot)}$")):::operator
  d1___multiply_14(("$\times$")):::operator
  d1___num_15["$2$"]:::number
  __disjunction_1(("$\lor$")):::operator
  class d0___negation_4 operator
  class d0___negation_8 operator
  class d1___negation_4 operator
  class d1___negation_5 operator
  class d1___negation_9 operator
  x --> d0___equals_1
  b --> d0___negation_4
  d0___negation_4 --> d0___add_3
  b --> d0___power_7
  d0___power_7 --> d0___add_6
  d0___num_10 --> d0___multiply_9
  a --> d0___multiply_11
  c --> d0___multiply_11
  d0___multiply_11 --> d0___multiply_9
  d0___multiply_9 --> d0___negation_8
  d0___negation_8 --> d0___add_6
  d0___add_6 --> d0___power_5
  d0___power_5 --> d0___add_3
  d0___add_3 --> d0___multiply_2
  d0___num_14 --> d0___multiply_13
  a --> d0___multiply_13
  d0___multiply_13 --> d0___power_12
  d0___power_12 -.-> d0___multiply_2
  d0___multiply_2 --> d0___equals_1
  x --> d1___equals_1
  b --> d1___negation_4
  d1___negation_4 --> d1___add_3
  b --> d1___power_8
  d1___power_8 --> d1___add_7
  d1___num_11 --> d1___multiply_10
  a --> d1___multiply_12
  c --> d1___multiply_12
  d1___multiply_12 --> d1___multiply_10
  d1___multiply_10 --> d1___negation_9
  d1___negation_9 --> d1___add_7
  d1___add_7 --> d1___power_6
  d1___power_6 --> d1___negation_5
  d1___negation_5 --> d1___add_3
  d1___add_3 --> d1___multiply_2
  d1___num_15 --> d1___multiply_14
  a --> d1___multiply_14
  d1___multiply_14 --> d1___power_13
  d1___power_13 -.-> d1___multiply_2
  d1___multiply_2 --> d1___equals_1
  d0___equals_1 --> __disjunction_1
  d1___equals_1 --> __disjunction_1
  linkStyle 0 stroke:#aaa,stroke-width:2px
  linkStyle 1 stroke:#aaa,stroke-width:2px
  linkStyle 2 stroke:#aaa,stroke-width:2px
  linkStyle 3 stroke:#aaa,stroke-width:2px
  linkStyle 4 stroke:#ef5350,stroke-width:6px
  linkStyle 5 stroke:#ef5350,stroke-width:3px
  linkStyle 6 stroke:#ef5350,stroke-width:3px
  linkStyle 7 stroke:#ef5350,stroke-width:3px
  linkStyle 8 stroke:#ef5350,stroke-width:3px
  linkStyle 9 stroke:#aaa,stroke-width:2px
  linkStyle 10 stroke:#aaa,stroke-width:2px
  linkStyle 11 stroke:#aaa,stroke-width:2px
  linkStyle 12 stroke:#aaa,stroke-width:2px
  linkStyle 13 stroke:#ef5350,stroke-width:3px
  linkStyle 14 stroke:#ef5350,stroke-width:3px
  linkStyle 15 stroke:#ef5350,stroke-width:3px
  linkStyle 16 stroke:#aaa,stroke-width:2px
  linkStyle 17 stroke:#42a5f5,stroke-width:1px
  linkStyle 18 stroke:#aaa,stroke-width:2px
  linkStyle 19 stroke:#aaa,stroke-width:2px
  linkStyle 20 stroke:#aaa,stroke-width:2px
  linkStyle 21 stroke:#aaa,stroke-width:2px
  linkStyle 22 stroke:#aaa,stroke-width:2px
  linkStyle 23 stroke:#ef5350,stroke-width:6px
  linkStyle 24 stroke:#ef5350,stroke-width:3px
  linkStyle 25 stroke:#ef5350,stroke-width:3px
  linkStyle 26 stroke:#ef5350,stroke-width:3px
  linkStyle 27 stroke:#ef5350,stroke-width:3px
  linkStyle 28 stroke:#aaa,stroke-width:2px
  linkStyle 29 stroke:#aaa,stroke-width:2px
  linkStyle 30 stroke:#aaa,stroke-width:2px
  linkStyle 31 stroke:#aaa,stroke-width:2px
  linkStyle 32 stroke:#aaa,stroke-width:2px
  linkStyle 33 stroke:#ef5350,stroke-width:3px
  linkStyle 34 stroke:#ef5350,stroke-width:3px
  linkStyle 35 stroke:#ef5350,stroke-width:3px
  linkStyle 36 stroke:#aaa,stroke-width:2px
  linkStyle 37 stroke:#42a5f5,stroke-width:1px
  linkStyle 38 stroke:#aaa,stroke-width:2px
  linkStyle 39 stroke:#aaa,stroke-width:2px
  linkStyle 40 stroke:#aaa,stroke-width:2px