Semantic Graph — Visual Examination Report

{
  "nodes": [
    {
      "id": "__equals_1",
      "type": "relation",
      "op": "equals",
      "subexpr": "x + y = z",
      "chartScript": {
        "script": "x + y - z",
        "variables": [
          "x",
          "y",
          "z"
        ]
      }
    },
    {
      "id": "__add_2",
      "type": "operator",
      "op": "add",
      "subexpr": "x + y",
      "chartScript": {
        "script": "x + y",
        "variables": [
          "x",
          "y"
        ]
      }
    },
    {
      "id": "x",
      "type": "scalar",
      "latex": "x",
      "subexpr": "x",
      "chartScript": {
        "script": "x",
        "variables": [
          "x"
        ]
      }
    },
    {
      "id": "y",
      "type": "scalar",
      "latex": "y",
      "subexpr": "y",
      "chartScript": {
        "script": "y",
        "variables": [
          "y"
        ]
      }
    },
    {
      "id": "z",
      "type": "scalar",
      "latex": "z",
      "subexpr": "z",
      "chartScript": {
        "script": "z",
        "variables": [
          "z"
        ]
      }
    }
  ],
  "edges": [
    {
      "from": "x",
      "to": "__add_2"
    },
    {
      "from": "y",
      "to": "__add_2"
    },
    {
      "from": "__add_2",
      "to": "__equals_1"
    },
    {
      "from": "z",
      "to": "__equals_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
  __equals_1{"="}:::relation
  __add_2(("$+$")):::operator
  x["$x$"]:::scalar
  y["$y$"]:::scalar
  z["$z$"]:::scalar
  x --> __add_2
  y --> __add_2
  __add_2 --> __equals_1
  z --> __equals_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

{
  "nodes": [
    {
      "id": "__equals_1",
      "type": "relation",
      "op": "equals",
      "subexpr": "a - b = c",
      "chartScript": {
        "script": "a - b - c",
        "variables": [
          "a",
          "b",
          "c"
        ]
      }
    },
    {
      "id": "__add_2",
      "type": "operator",
      "op": "add",
      "subexpr": "a - b",
      "chartScript": {
        "script": "a - b",
        "variables": [
          "a",
          "b"
        ]
      }
    },
    {
      "id": "a",
      "type": "scalar",
      "latex": "a",
      "subexpr": "a",
      "chartScript": {
        "script": "a",
        "variables": [
          "a"
        ]
      }
    },
    {
      "id": "__negation_3",
      "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": "c",
      "type": "scalar",
      "latex": "c",
      "subexpr": "c",
      "chartScript": {
        "script": "c",
        "variables": [
          "c"
        ]
      }
    }
  ],
  "edges": [
    {
      "from": "a",
      "to": "__add_2"
    },
    {
      "from": "b",
      "to": "__negation_3"
    },
    {
      "from": "__negation_3",
      "to": "__add_2"
    },
    {
      "from": "__add_2",
      "to": "__equals_1"
    },
    {
      "from": "c",
      "to": "__equals_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
  __equals_1{"="}:::relation
  __add_2(("$+$")):::operator
  a["$a$"]:::scalar
  __negation_3@{ shape: "flip-tri", label: "$-$" }
  b["$b$"]:::scalar
  c["$c$"]:::scalar
  class __negation_3 operator
  a --> __add_2
  b --> __negation_3
  __negation_3 --> __add_2
  __add_2 --> __equals_1
  c --> __equals_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

{
  "nodes": [
    {
      "id": "__equals_1",
      "type": "relation",
      "op": "equals",
      "subexpr": "a \\cdot b = c",
      "chartScript": {
        "script": "a*b - c",
        "variables": [
          "a",
          "b",
          "c"
        ]
      }
    },
    {
      "id": "__multiply_2",
      "type": "operator",
      "op": "multiply",
      "subexpr": "a b",
      "chartScript": {
        "script": "a*b",
        "variables": [
          "a",
          "b"
        ]
      }
    },
    {
      "id": "a",
      "type": "scalar",
      "latex": "a",
      "subexpr": "a",
      "chartScript": {
        "script": "a",
        "variables": [
          "a"
        ]
      }
    },
    {
      "id": "b",
      "type": "scalar",
      "latex": "b",
      "subexpr": "b",
      "chartScript": {
        "script": "b",
        "variables": [
          "b"
        ]
      }
    },
    {
      "id": "c",
      "type": "scalar",
      "latex": "c",
      "subexpr": "c",
      "chartScript": {
        "script": "c",
        "variables": [
          "c"
        ]
      }
    }
  ],
  "edges": [
    {
      "from": "a",
      "to": "__multiply_2",
      "semantic": "direct",
      "weight": 1.0
    },
    {
      "from": "b",
      "to": "__multiply_2",
      "semantic": "direct",
      "weight": 1.0
    },
    {
      "from": "__multiply_2",
      "to": "__equals_1"
    },
    {
      "from": "c",
      "to": "__equals_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
  __equals_1{"="}:::relation
  __multiply_2(("$\times$")):::operator
  a["$a$"]:::scalar
  b["$b$"]:::scalar
  c["$c$"]:::scalar
  a --> __multiply_2
  b --> __multiply_2
  __multiply_2 --> __equals_1
  c --> __equals_1
  linkStyle 0 stroke:#ef5350,stroke-width:3px
  linkStyle 1 stroke:#ef5350,stroke-width:3px
  linkStyle 2 stroke:#aaa,stroke-width:2px
  linkStyle 3 stroke:#aaa,stroke-width:2px

{
  "nodes": [
    {
      "id": "__equals_1",
      "type": "relation",
      "op": "equals",
      "subexpr": "a \\times b = c",
      "chartScript": {
        "script": "a*b - c",
        "variables": [
          "a",
          "b",
          "c"
        ]
      }
    },
    {
      "id": "__multiply_2",
      "type": "operator",
      "op": "multiply",
      "subexpr": "a b",
      "chartScript": {
        "script": "a*b",
        "variables": [
          "a",
          "b"
        ]
      }
    },
    {
      "id": "a",
      "type": "scalar",
      "latex": "a",
      "subexpr": "a",
      "chartScript": {
        "script": "a",
        "variables": [
          "a"
        ]
      }
    },
    {
      "id": "b",
      "type": "scalar",
      "latex": "b",
      "subexpr": "b",
      "chartScript": {
        "script": "b",
        "variables": [
          "b"
        ]
      }
    },
    {
      "id": "c",
      "type": "scalar",
      "latex": "c",
      "subexpr": "c",
      "chartScript": {
        "script": "c",
        "variables": [
          "c"
        ]
      }
    }
  ],
  "edges": [
    {
      "from": "a",
      "to": "__multiply_2",
      "semantic": "direct",
      "weight": 1.0
    },
    {
      "from": "b",
      "to": "__multiply_2",
      "semantic": "direct",
      "weight": 1.0
    },
    {
      "from": "__multiply_2",
      "to": "__equals_1"
    },
    {
      "from": "c",
      "to": "__equals_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
  __equals_1{"="}:::relation
  __multiply_2(("$\times$")):::operator
  a["$a$"]:::scalar
  b["$b$"]:::scalar
  c["$c$"]:::scalar
  a --> __multiply_2
  b --> __multiply_2
  __multiply_2 --> __equals_1
  c --> __equals_1
  linkStyle 0 stroke:#ef5350,stroke-width:3px
  linkStyle 1 stroke:#ef5350,stroke-width:3px
  linkStyle 2 stroke:#aaa,stroke-width:2px
  linkStyle 3 stroke:#aaa,stroke-width:2px

{
  "nodes": [
    {
      "id": "__equals_1",
      "type": "relation",
      "op": "equals",
      "subexpr": "\\frac{a}{b} = c",
      "chartScript": {
        "script": "a/b - c",
        "variables": [
          "a",
          "b",
          "c"
        ]
      }
    },
    {
      "id": "__multiply_2",
      "type": "operator",
      "op": "multiply",
      "subexpr": "a \\frac{1}{b}",
      "chartScript": {
        "script": "a/b",
        "variables": [
          "a",
          "b"
        ]
      }
    },
    {
      "id": "a",
      "type": "scalar",
      "latex": "a",
      "subexpr": "a",
      "chartScript": {
        "script": "a",
        "variables": [
          "a"
        ]
      }
    },
    {
      "id": "__power_3",
      "type": "operator",
      "latex": "\\dfrac{1}{(\\cdot)}",
      "op": "power",
      "exponent": "-1",
      "subexpr": "\\frac{1}{b}",
      "chartScript": {
        "script": "1/b",
        "variables": [
          "b"
        ]
      }
    },
    {
      "id": "b",
      "type": "scalar",
      "latex": "b",
      "subexpr": "b",
      "chartScript": {
        "script": "b",
        "variables": [
          "b"
        ]
      }
    },
    {
      "id": "c",
      "type": "scalar",
      "latex": "c",
      "subexpr": "c",
      "chartScript": {
        "script": "c",
        "variables": [
          "c"
        ]
      }
    }
  ],
  "edges": [
    {
      "from": "a",
      "to": "__multiply_2",
      "semantic": "direct",
      "weight": 1.0
    },
    {
      "from": "b",
      "to": "__power_3"
    },
    {
      "from": "__power_3",
      "to": "__multiply_2"
    },
    {
      "from": "__multiply_2",
      "to": "__equals_1"
    },
    {
      "from": "c",
      "to": "__equals_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
  __equals_1{"="}:::relation
  __multiply_2(("$\times$")):::operator
  a["$a$"]:::scalar
  __power_3(("$\dfrac{1}{(\cdot)}$")):::operator
  b["$b$"]:::scalar
  c["$c$"]:::scalar
  a --> __multiply_2
  b --> __power_3
  __power_3 -.-> __multiply_2
  __multiply_2 --> __equals_1
  c --> __equals_1
  linkStyle 0 stroke:#ef5350,stroke-width:3px
  linkStyle 1 stroke:#aaa,stroke-width:2px
  linkStyle 2 stroke:#42a5f5,stroke-width:1px
  linkStyle 3 stroke:#aaa,stroke-width:2px
  linkStyle 4 stroke:#aaa,stroke-width:2px

{
  "nodes": [
    {
      "id": "__equals_1",
      "type": "relation",
      "op": "equals",
      "subexpr": "x^2 + y^2 = z^2",
      "chartScript": {
        "script": "pow(x, 2) + pow(y, 2) - pow(z, 2)",
        "variables": [
          "x",
          "y",
          "z"
        ]
      }
    },
    {
      "id": "__add_2",
      "type": "operator",
      "op": "add",
      "subexpr": "x^{2} + y^{2}",
      "chartScript": {
        "script": "pow(x, 2) + pow(y, 2)",
        "variables": [
          "x",
          "y"
        ]
      }
    },
    {
      "id": "__power_3",
      "type": "operator",
      "op": "power",
      "exponent": "2",
      "subexpr": "x^{2}",
      "chartScript": {
        "script": "pow(x, 2)",
        "variables": [
          "x"
        ]
      }
    },
    {
      "id": "x",
      "type": "scalar",
      "latex": "x",
      "subexpr": "x",
      "chartScript": {
        "script": "x",
        "variables": [
          "x"
        ]
      }
    },
    {
      "id": "__power_4",
      "type": "operator",
      "op": "power",
      "exponent": "2",
      "subexpr": "y^{2}",
      "chartScript": {
        "script": "pow(y, 2)",
        "variables": [
          "y"
        ]
      }
    },
    {
      "id": "y",
      "type": "scalar",
      "latex": "y",
      "subexpr": "y",
      "chartScript": {
        "script": "y",
        "variables": [
          "y"
        ]
      }
    },
    {
      "id": "__power_5",
      "type": "operator",
      "op": "power",
      "exponent": "2",
      "subexpr": "z^{2}",
      "chartScript": {
        "script": "pow(z, 2)",
        "variables": [
          "z"
        ]
      }
    },
    {
      "id": "z",
      "type": "scalar",
      "latex": "z",
      "subexpr": "z",
      "chartScript": {
        "script": "z",
        "variables": [
          "z"
        ]
      }
    }
  ],
  "edges": [
    {
      "from": "x",
      "to": "__power_3"
    },
    {
      "from": "__power_3",
      "to": "__add_2"
    },
    {
      "from": "y",
      "to": "__power_4"
    },
    {
      "from": "__power_4",
      "to": "__add_2"
    },
    {
      "from": "__add_2",
      "to": "__equals_1"
    },
    {
      "from": "z",
      "to": "__power_5"
    },
    {
      "from": "__power_5",
      "to": "__equals_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
  __equals_1{"="}:::relation
  __add_2(("$+$")):::operator
  __power_3(("${(\cdot)}^{2}$")):::operator
  x["$x$"]:::scalar
  __power_4(("${(\cdot)}^{2}$")):::operator
  y["$y$"]:::scalar
  __power_5(("${(\cdot)}^{2}$")):::operator
  z["$z$"]:::scalar
  x --> __power_3
  __power_3 --> __add_2
  y --> __power_4
  __power_4 --> __add_2
  __add_2 --> __equals_1
  z --> __power_5
  __power_5 --> __equals_1
  linkStyle 0 stroke:#aaa,stroke-width:2px
  linkStyle 1 stroke:#ef5350,stroke-width:6px
  linkStyle 2 stroke:#aaa,stroke-width:2px
  linkStyle 3 stroke:#ef5350,stroke-width:6px
  linkStyle 4 stroke:#aaa,stroke-width:2px
  linkStyle 5 stroke:#aaa,stroke-width:2px
  linkStyle 6 stroke:#ef5350,stroke-width:6px

{
  "nodes": [
    {
      "id": "__equals_1",
      "type": "relation",
      "op": "equals",
      "subexpr": "((a + b) \\cdot c) = ac + bc",
      "chartScript": {
        "script": "-a*c - b*c + c*(a + b)",
        "variables": [
          "a",
          "b",
          "c"
        ]
      }
    },
    {
      "id": "__multiply_2",
      "type": "operator",
      "op": "multiply",
      "subexpr": "c \\left(a + b\\right)",
      "chartScript": {
        "script": "c(a + b)",
        "variables": [
          "a",
          "b"
        ]
      }
    },
    {
      "id": "__add_3",
      "type": "operator",
      "op": "add",
      "subexpr": "a + b",
      "chartScript": {
        "script": "a + b",
        "variables": [
          "a",
          "b"
        ]
      }
    },
    {
      "id": "a",
      "type": "scalar",
      "latex": "a",
      "subexpr": "a",
      "chartScript": {
        "script": "a",
        "variables": [
          "a"
        ]
      }
    },
    {
      "id": "b",
      "type": "scalar",
      "latex": "b",
      "subexpr": "b",
      "chartScript": {
        "script": "b",
        "variables": [
          "b"
        ]
      }
    },
    {
      "id": "c",
      "type": "scalar",
      "latex": "c",
      "subexpr": "c",
      "chartScript": {
        "script": "c",
        "variables": [
          "c"
        ]
      }
    },
    {
      "id": "__add_4",
      "type": "operator",
      "op": "add",
      "subexpr": "a c + b c",
      "chartScript": {
        "script": "a*c + b*c",
        "variables": [
          "a",
          "b",
          "c"
        ]
      }
    },
    {
      "id": "__multiply_5",
      "type": "operator",
      "op": "multiply",
      "subexpr": "a c",
      "chartScript": {
        "script": "a*c",
        "variables": [
          "a",
          "c"
        ]
      }
    },
    {
      "id": "__multiply_6",
      "type": "operator",
      "op": "multiply",
      "subexpr": "b c",
      "chartScript": {
        "script": "b*c",
        "variables": [
          "b",
          "c"
        ]
      }
    }
  ],
  "edges": [
    {
      "from": "a",
      "to": "__add_3"
    },
    {
      "from": "b",
      "to": "__add_3"
    },
    {
      "from": "__add_3",
      "to": "__multiply_2",
      "semantic": "direct",
      "weight": 1.0
    },
    {
      "from": "c",
      "to": "__multiply_2",
      "semantic": "direct",
      "weight": 1.0
    },
    {
      "from": "__multiply_2",
      "to": "__equals_1"
    },
    {
      "from": "a",
      "to": "__multiply_5",
      "semantic": "direct",
      "weight": 1.0
    },
    {
      "from": "c",
      "to": "__multiply_5",
      "semantic": "direct",
      "weight": 1.0
    },
    {
      "from": "__multiply_5",
      "to": "__add_4"
    },
    {
      "from": "b",
      "to": "__multiply_6",
      "semantic": "direct",
      "weight": 1.0
    },
    {
      "from": "c",
      "to": "__multiply_6",
      "semantic": "direct",
      "weight": 1.0
    },
    {
      "from": "__multiply_6",
      "to": "__add_4"
    },
    {
      "from": "__add_4",
      "to": "__equals_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
  __equals_1{"="}:::relation
  __multiply_2(("$\times$")):::operator
  __add_3(("$+$")):::operator
  a["$a$"]:::scalar
  b["$b$"]:::scalar
  c["$c$"]:::scalar
  __add_4(("$+$")):::operator
  __multiply_5(("$\times$")):::operator
  __multiply_6(("$\times$")):::operator
  a --> __add_3
  b --> __add_3
  __add_3 --> __multiply_2
  c --> __multiply_2
  __multiply_2 --> __equals_1
  a --> __multiply_5
  c --> __multiply_5
  __multiply_5 --> __add_4
  b --> __multiply_6
  c --> __multiply_6
  __multiply_6 --> __add_4
  __add_4 --> __equals_1
  linkStyle 0 stroke:#aaa,stroke-width:2px
  linkStyle 1 stroke:#aaa,stroke-width:2px
  linkStyle 2 stroke:#ef5350,stroke-width:3px
  linkStyle 3 stroke:#ef5350,stroke-width:3px
  linkStyle 4 stroke:#aaa,stroke-width:2px
  linkStyle 5 stroke:#ef5350,stroke-width:3px
  linkStyle 6 stroke:#ef5350,stroke-width:3px
  linkStyle 7 stroke:#aaa,stroke-width:2px
  linkStyle 8 stroke:#ef5350,stroke-width:3px
  linkStyle 9 stroke:#ef5350,stroke-width:3px
  linkStyle 10 stroke:#aaa,stroke-width:2px
  linkStyle 11 stroke:#aaa,stroke-width:2px

{
  "nodes": [
    {
      "id": "__equals_1",
      "type": "relation",
      "op": "equals",
      "subexpr": "-x = y",
      "chartScript": {
        "script": "-x - y",
        "variables": [
          "x",
          "y"
        ]
      }
    },
    {
      "id": "__negation_2",
      "type": "operator",
      "op": "negation",
      "subexpr": "-x",
      "chartScript": {
        "script": "-x",
        "variables": [
          "x"
        ]
      }
    },
    {
      "id": "x",
      "type": "scalar",
      "latex": "x",
      "subexpr": "x",
      "chartScript": {
        "script": "x",
        "variables": [
          "x"
        ]
      }
    },
    {
      "id": "y",
      "type": "scalar",
      "latex": "y",
      "subexpr": "y",
      "chartScript": {
        "script": "y",
        "variables": [
          "y"
        ]
      }
    }
  ],
  "edges": [
    {
      "from": "x",
      "to": "__negation_2"
    },
    {
      "from": "__negation_2",
      "to": "__equals_1"
    },
    {
      "from": "y",
      "to": "__equals_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
  __equals_1{"="}:::relation
  __negation_2@{ shape: "flip-tri", label: "$-$" }
  x["$x$"]:::scalar
  y["$y$"]:::scalar
  class __negation_2 operator
  x --> __negation_2
  __negation_2 --> __equals_1
  y --> __equals_1
  linkStyle 0 stroke:#aaa,stroke-width:2px
  linkStyle 1 stroke:#aaa,stroke-width:2px
  linkStyle 2 stroke:#aaa,stroke-width:2px

{
  "nodes": [
    {
      "id": "x",
      "type": "scalar",
      "latex": "x",
      "subexpr": "-(-x)",
      "chartScript": {
        "script": "x",
        "variables": [
          "x"
        ]
      }
    },
    {
      "id": "__equals_1",
      "type": "relation",
      "op": "equals",
      "subexpr": "-(-x) = x",
      "chartScript": {
        "script": "True",
        "variables": []
      }
    }
  ],
  "edges": [
    {
      "from": "x",
      "to": "__equals_1"
    },
    {
      "from": "x",
      "to": "__equals_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
  x["$x$"]:::scalar
  __equals_1{"="}:::relation
  x --> __equals_1
  x --> __equals_1
  linkStyle 0 stroke:#aaa,stroke-width:2px
  linkStyle 1 stroke:#aaa,stroke-width:2px

{
  "nodes": [
    {
      "id": "__equals_1",
      "type": "relation",
      "op": "equals",
      "subexpr": "\\sqrt{x} = y",
      "chartScript": {
        "script": "sqrt(x) - y",
        "variables": [
          "x",
          "y"
        ]
      }
    },
    {
      "id": "__power_2",
      "type": "operator",
      "op": "power",
      "exponent": "1/2",
      "subexpr": "\\sqrt{x}",
      "chartScript": {
        "script": "sqrt(x)",
        "variables": [
          "x"
        ]
      }
    },
    {
      "id": "x",
      "type": "scalar",
      "latex": "x",
      "subexpr": "x",
      "chartScript": {
        "script": "x",
        "variables": [
          "x"
        ]
      }
    },
    {
      "id": "y",
      "type": "scalar",
      "latex": "y",
      "subexpr": "y",
      "chartScript": {
        "script": "y",
        "variables": [
          "y"
        ]
      }
    }
  ],
  "edges": [
    {
      "from": "x",
      "to": "__power_2"
    },
    {
      "from": "__power_2",
      "to": "__equals_1"
    },
    {
      "from": "y",
      "to": "__equals_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
  __equals_1{"="}:::relation
  __power_2(("${(\cdot)}^{1/2}$")):::operator
  x["$x$"]:::scalar
  y["$y$"]:::scalar
  x --> __power_2
  __power_2 --> __equals_1
  y --> __equals_1
  linkStyle 0 stroke:#aaa,stroke-width:2px
  linkStyle 1 stroke:#aaa,stroke-width:2px
  linkStyle 2 stroke:#aaa,stroke-width:2px

{
  "nodes": [
    {
      "id": "__equals_1",
      "type": "relation",
      "op": "equals",
      "subexpr": "a + b \\cdot c = d",
      "chartScript": {
        "script": "a + b*c - d",
        "variables": [
          "a",
          "b",
          "c",
          "d"
        ]
      }
    },
    {
      "id": "__add_2",
      "type": "operator",
      "op": "add",
      "subexpr": "a + b c",
      "chartScript": {
        "script": "a + b*c",
        "variables": [
          "a",
          "b",
          "c"
        ]
      }
    },
    {
      "id": "a",
      "type": "scalar",
      "latex": "a",
      "subexpr": "a",
      "chartScript": {
        "script": "a",
        "variables": [
          "a"
        ]
      }
    },
    {
      "id": "__multiply_3",
      "type": "operator",
      "op": "multiply",
      "subexpr": "b c",
      "chartScript": {
        "script": "b*c",
        "variables": [
          "b",
          "c"
        ]
      }
    },
    {
      "id": "b",
      "type": "scalar",
      "latex": "b",
      "subexpr": "b",
      "chartScript": {
        "script": "b",
        "variables": [
          "b"
        ]
      }
    },
    {
      "id": "c",
      "type": "scalar",
      "latex": "c",
      "subexpr": "c",
      "chartScript": {
        "script": "c",
        "variables": [
          "c"
        ]
      }
    },
    {
      "id": "d",
      "type": "scalar",
      "latex": "d",
      "subexpr": "d",
      "chartScript": {
        "script": "d",
        "variables": [
          "d"
        ]
      }
    }
  ],
  "edges": [
    {
      "from": "a",
      "to": "__add_2"
    },
    {
      "from": "b",
      "to": "__multiply_3",
      "semantic": "direct",
      "weight": 1.0
    },
    {
      "from": "c",
      "to": "__multiply_3",
      "semantic": "direct",
      "weight": 1.0
    },
    {
      "from": "__multiply_3",
      "to": "__add_2"
    },
    {
      "from": "__add_2",
      "to": "__equals_1"
    },
    {
      "from": "d",
      "to": "__equals_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
  __equals_1{"="}:::relation
  __add_2(("$+$")):::operator
  a["$a$"]:::scalar
  __multiply_3(("$\times$")):::operator
  b["$b$"]:::scalar
  c["$c$"]:::scalar
  d["$d$"]:::scalar
  a --> __add_2
  b --> __multiply_3
  c --> __multiply_3
  __multiply_3 --> __add_2
  __add_2 --> __equals_1
  d --> __equals_1
  linkStyle 0 stroke:#aaa,stroke-width:2px
  linkStyle 1 stroke:#ef5350,stroke-width:3px
  linkStyle 2 stroke:#ef5350,stroke-width:3px
  linkStyle 3 stroke:#aaa,stroke-width:2px
  linkStyle 4 stroke:#aaa,stroke-width:2px
  linkStyle 5 stroke:#aaa,stroke-width:2px

{
  "nodes": [
    {
      "id": "__equals_1",
      "type": "relation",
      "op": "equals",
      "subexpr": "a + b + c = d",
      "chartScript": {
        "script": "a + b + c - d",
        "variables": [
          "a",
          "b",
          "c",
          "d"
        ]
      }
    },
    {
      "id": "__add_2",
      "type": "operator",
      "op": "add",
      "subexpr": "c + a + b",
      "chartScript": {
        "script": "a + b + c",
        "variables": [
          "a",
          "b",
          "c"
        ]
      }
    },
    {
      "id": "__add_3",
      "type": "operator",
      "op": "add",
      "subexpr": "a + b",
      "chartScript": {
        "script": "a + b",
        "variables": [
          "a",
          "b"
        ]
      }
    },
    {
      "id": "a",
      "type": "scalar",
      "latex": "a",
      "subexpr": "a",
      "chartScript": {
        "script": "a",
        "variables": [
          "a"
        ]
      }
    },
    {
      "id": "b",
      "type": "scalar",
      "latex": "b",
      "subexpr": "b",
      "chartScript": {
        "script": "b",
        "variables": [
          "b"
        ]
      }
    },
    {
      "id": "c",
      "type": "scalar",
      "latex": "c",
      "subexpr": "c",
      "chartScript": {
        "script": "c",
        "variables": [
          "c"
        ]
      }
    },
    {
      "id": "d",
      "type": "scalar",
      "latex": "d",
      "subexpr": "d",
      "chartScript": {
        "script": "d",
        "variables": [
          "d"
        ]
      }
    }
  ],
  "edges": [
    {
      "from": "a",
      "to": "__add_3"
    },
    {
      "from": "b",
      "to": "__add_3"
    },
    {
      "from": "__add_3",
      "to": "__add_2"
    },
    {
      "from": "c",
      "to": "__add_2"
    },
    {
      "from": "__add_2",
      "to": "__equals_1"
    },
    {
      "from": "d",
      "to": "__equals_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
  __equals_1{"="}:::relation
  __add_2(("$+$")):::operator
  __add_3(("$+$")):::operator
  a["$a$"]:::scalar
  b["$b$"]:::scalar
  c["$c$"]:::scalar
  d["$d$"]:::scalar
  a --> __add_3
  b --> __add_3
  __add_3 --> __add_2
  c --> __add_2
  __add_2 --> __equals_1
  d --> __equals_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": "__equals_1",
      "type": "relation",
      "op": "equals",
      "subexpr": "x^{-1} = y",
      "chartScript": {
        "script": "-y + 1/x",
        "variables": [
          "x",
          "y"
        ]
      }
    },
    {
      "id": "__power_2",
      "type": "operator",
      "latex": "\\dfrac{1}{(\\cdot)}",
      "op": "power",
      "exponent": "-1",
      "subexpr": "\\frac{1}{x}",
      "chartScript": {
        "script": "1/x",
        "variables": [
          "x"
        ]
      }
    },
    {
      "id": "x",
      "type": "scalar",
      "latex": "x",
      "subexpr": "x",
      "chartScript": {
        "script": "x",
        "variables": [
          "x"
        ]
      }
    },
    {
      "id": "y",
      "type": "scalar",
      "latex": "y",
      "subexpr": "y",
      "chartScript": {
        "script": "y",
        "variables": [
          "y"
        ]
      }
    }
  ],
  "edges": [
    {
      "from": "x",
      "to": "__power_2"
    },
    {
      "from": "__power_2",
      "to": "__equals_1"
    },
    {
      "from": "y",
      "to": "__equals_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
  __equals_1{"="}:::relation
  __power_2(("$\dfrac{1}{(\cdot)}$")):::operator
  x["$x$"]:::scalar
  y["$y$"]:::scalar
  x --> __power_2
  __power_2 -.-> __equals_1
  y --> __equals_1
  linkStyle 0 stroke:#aaa,stroke-width:2px
  linkStyle 1 stroke:#42a5f5,stroke-width:1px
  linkStyle 2 stroke:#aaa,stroke-width:2px

{
  "nodes": [
    {
      "id": "__equals_1",
      "type": "relation",
      "op": "equals",
      "subexpr": "\\frac{x + y}{z} = w",
      "chartScript": {
        "script": "-w + (x + y)/z",
        "variables": [
          "w",
          "x",
          "y",
          "z"
        ]
      }
    },
    {
      "id": "__multiply_2",
      "type": "operator",
      "op": "multiply",
      "subexpr": "\\frac{1}{z} \\left(x + y\\right)",
      "chartScript": {
        "script": "(x + y)/z",
        "variables": [
          "x",
          "y",
          "z"
        ]
      }
    },
    {
      "id": "__add_3",
      "type": "operator",
      "op": "add",
      "subexpr": "x + y",
      "chartScript": {
        "script": "x + y",
        "variables": [
          "x",
          "y"
        ]
      }
    },
    {
      "id": "x",
      "type": "scalar",
      "latex": "x",
      "subexpr": "x",
      "chartScript": {
        "script": "x",
        "variables": [
          "x"
        ]
      }
    },
    {
      "id": "y",
      "type": "scalar",
      "latex": "y",
      "subexpr": "y",
      "chartScript": {
        "script": "y",
        "variables": [
          "y"
        ]
      }
    },
    {
      "id": "__power_4",
      "type": "operator",
      "latex": "\\dfrac{1}{(\\cdot)}",
      "op": "power",
      "exponent": "-1",
      "subexpr": "\\frac{1}{z}",
      "chartScript": {
        "script": "1/z",
        "variables": [
          "z"
        ]
      }
    },
    {
      "id": "z",
      "type": "scalar",
      "latex": "z",
      "subexpr": "z",
      "chartScript": {
        "script": "z",
        "variables": [
          "z"
        ]
      }
    },
    {
      "id": "w",
      "type": "scalar",
      "latex": "w",
      "subexpr": "w",
      "chartScript": {
        "script": "w",
        "variables": [
          "w"
        ]
      }
    }
  ],
  "edges": [
    {
      "from": "x",
      "to": "__add_3"
    },
    {
      "from": "y",
      "to": "__add_3"
    },
    {
      "from": "__add_3",
      "to": "__multiply_2",
      "semantic": "direct",
      "weight": 1.0
    },
    {
      "from": "z",
      "to": "__power_4"
    },
    {
      "from": "__power_4",
      "to": "__multiply_2"
    },
    {
      "from": "__multiply_2",
      "to": "__equals_1"
    },
    {
      "from": "w",
      "to": "__equals_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
  __equals_1{"="}:::relation
  __multiply_2(("$\times$")):::operator
  __add_3(("$+$")):::operator
  x["$x$"]:::scalar
  y["$y$"]:::scalar
  __power_4(("$\dfrac{1}{(\cdot)}$")):::operator
  z["$z$"]:::scalar
  w["$w$"]:::scalar
  x --> __add_3
  y --> __add_3
  __add_3 --> __multiply_2
  z --> __power_4
  __power_4 -.-> __multiply_2
  __multiply_2 --> __equals_1
  w --> __equals_1
  linkStyle 0 stroke:#aaa,stroke-width:2px
  linkStyle 1 stroke:#aaa,stroke-width:2px
  linkStyle 2 stroke:#ef5350,stroke-width:3px
  linkStyle 3 stroke:#aaa,stroke-width:2px
  linkStyle 4 stroke:#42a5f5,stroke-width:1px
  linkStyle 5 stroke:#aaa,stroke-width:2px
  linkStyle 6 stroke:#aaa,stroke-width:2px

{
  "nodes": [
    {
      "id": "__equals_1",
      "type": "relation",
      "op": "equals",
      "subexpr": "\\frac{\\frac{a}{b}}{c} = d",
      "chartScript": {
        "script": "a/(b*c) - d",
        "variables": [
          "a",
          "b",
          "c",
          "d"
        ]
      }
    },
    {
      "id": "__multiply_2",
      "type": "operator",
      "op": "multiply",
      "subexpr": "\\frac{1}{c} a \\frac{1}{b}",
      "chartScript": {
        "script": "a/(b*c)",
        "variables": [
          "a",
          "b",
          "c"
        ]
      }
    },
    {
      "id": "__multiply_3",
      "type": "operator",
      "op": "multiply",
      "subexpr": "a \\frac{1}{b}",
      "chartScript": {
        "script": "a/b",
        "variables": [
          "a",
          "b"
        ]
      }
    },
    {
      "id": "a",
      "type": "scalar",
      "latex": "a",
      "subexpr": "a",
      "chartScript": {
        "script": "a",
        "variables": [
          "a"
        ]
      }
    },
    {
      "id": "__power_4",
      "type": "operator",
      "latex": "\\dfrac{1}{(\\cdot)}",
      "op": "power",
      "exponent": "-1",
      "subexpr": "\\frac{1}{b}",
      "chartScript": {
        "script": "1/b",
        "variables": [
          "b"
        ]
      }
    },
    {
      "id": "b",
      "type": "scalar",
      "latex": "b",
      "subexpr": "b",
      "chartScript": {
        "script": "b",
        "variables": [
          "b"
        ]
      }
    },
    {
      "id": "__power_5",
      "type": "operator",
      "latex": "\\dfrac{1}{(\\cdot)}",
      "op": "power",
      "exponent": "-1",
      "subexpr": "\\frac{1}{c}",
      "chartScript": {
        "script": "1/c",
        "variables": [
          "c"
        ]
      }
    },
    {
      "id": "c",
      "type": "scalar",
      "latex": "c",
      "subexpr": "c",
      "chartScript": {
        "script": "c",
        "variables": [
          "c"
        ]
      }
    },
    {
      "id": "d",
      "type": "scalar",
      "latex": "d",
      "subexpr": "d",
      "chartScript": {
        "script": "d",
        "variables": [
          "d"
        ]
      }
    }
  ],
  "edges": [
    {
      "from": "a",
      "to": "__multiply_3",
      "semantic": "direct",
      "weight": 1.0
    },
    {
      "from": "b",
      "to": "__power_4"
    },
    {
      "from": "__power_4",
      "to": "__multiply_3"
    },
    {
      "from": "__multiply_3",
      "to": "__multiply_2",
      "semantic": "direct",
      "weight": 1.0
    },
    {
      "from": "c",
      "to": "__power_5"
    },
    {
      "from": "__power_5",
      "to": "__multiply_2"
    },
    {
      "from": "__multiply_2",
      "to": "__equals_1"
    },
    {
      "from": "d",
      "to": "__equals_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
  __equals_1{"="}:::relation
  __multiply_2(("$\times$")):::operator
  __multiply_3(("$\times$")):::operator
  a["$a$"]:::scalar
  __power_4(("$\dfrac{1}{(\cdot)}$")):::operator
  b["$b$"]:::scalar
  __power_5(("$\dfrac{1}{(\cdot)}$")):::operator
  c["$c$"]:::scalar
  d["$d$"]:::scalar
  a --> __multiply_3
  b --> __power_4
  __power_4 -.-> __multiply_3
  __multiply_3 --> __multiply_2
  c --> __power_5
  __power_5 -.-> __multiply_2
  __multiply_2 --> __equals_1
  d --> __equals_1
  linkStyle 0 stroke:#ef5350,stroke-width:3px
  linkStyle 1 stroke:#aaa,stroke-width:2px
  linkStyle 2 stroke:#42a5f5,stroke-width:1px
  linkStyle 3 stroke:#ef5350,stroke-width:3px
  linkStyle 4 stroke:#aaa,stroke-width:2px
  linkStyle 5 stroke:#42a5f5,stroke-width:1px
  linkStyle 6 stroke:#aaa,stroke-width:2px
  linkStyle 7 stroke:#aaa,stroke-width:2px

{
  "nodes": [
    {
      "id": "__add_1",
      "type": "operator",
      "op": "add",
      "subexpr": "2 + 3",
      "chartScript": {
        "script": "5",
        "variables": []
      }
    },
    {
      "id": "__num_2",
      "type": "number",
      "label": "2",
      "subexpr": "2",
      "chartScript": {
        "script": "2",
        "variables": []
      }
    },
    {
      "id": "__num_3",
      "type": "number",
      "label": "3",
      "subexpr": "3",
      "chartScript": {
        "script": "3",
        "variables": []
      }
    },
    {
      "id": "__num_4",
      "type": "number",
      "label": "5",
      "subexpr": "5",
      "chartScript": {
        "script": "5",
        "variables": []
      }
    },
    {
      "id": "__equals_5",
      "type": "relation",
      "op": "equals",
      "subexpr": "2 + 3 = 5",
      "chartScript": {
        "script": "True",
        "variables": []
      }
    }
  ],
  "edges": [
    {
      "from": "__num_2",
      "to": "__add_1"
    },
    {
      "from": "__num_3",
      "to": "__add_1"
    },
    {
      "from": "__add_1",
      "to": "__equals_5"
    },
    {
      "from": "__num_4",
      "to": "__equals_5"
    }
  ],
  "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
  __add_1(("$+$")):::operator
  __num_2["$2$"]:::number
  __num_3["$3$"]:::number
  __num_4["$5$"]:::number
  __equals_5{"="}:::relation
  __num_2 --> __add_1
  __num_3 --> __add_1
  __add_1 --> __equals_5
  __num_4 --> __equals_5
  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

{
  "nodes": [
    {
      "id": "__add_1",
      "type": "operator",
      "op": "add",
      "subexpr": "7 - 4",
      "chartScript": {
        "script": "3",
        "variables": []
      }
    },
    {
      "id": "__num_2",
      "type": "number",
      "label": "7",
      "subexpr": "7",
      "chartScript": {
        "script": "7",
        "variables": []
      }
    },
    {
      "id": "__num_3",
      "type": "number",
      "label": "-4",
      "subexpr": "-4",
      "chartScript": {
        "script": "-4",
        "variables": []
      }
    },
    {
      "id": "__num_4",
      "type": "number",
      "label": "3",
      "subexpr": "3",
      "chartScript": {
        "script": "3",
        "variables": []
      }
    },
    {
      "id": "__equals_5",
      "type": "relation",
      "op": "equals",
      "subexpr": "7 - 4 = 3",
      "chartScript": {
        "script": "True",
        "variables": []
      }
    }
  ],
  "edges": [
    {
      "from": "__num_2",
      "to": "__add_1"
    },
    {
      "from": "__num_3",
      "to": "__add_1"
    },
    {
      "from": "__add_1",
      "to": "__equals_5"
    },
    {
      "from": "__num_4",
      "to": "__equals_5"
    }
  ],
  "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
  __add_1(("$+$")):::operator
  __num_2["$7$"]:::number
  __num_3["$-4$"]:::number
  __num_4["$3$"]:::number
  __equals_5{"="}:::relation
  __num_2 --> __add_1
  __num_3 --> __add_1
  __add_1 --> __equals_5
  __num_4 --> __equals_5
  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

{
  "nodes": [
    {
      "id": "__multiply_1",
      "type": "operator",
      "op": "multiply",
      "subexpr": "3 \\times 4",
      "chartScript": {
        "script": "12",
        "variables": []
      }
    },
    {
      "id": "__num_2",
      "type": "number",
      "label": "3",
      "subexpr": "3",
      "chartScript": {
        "script": "3",
        "variables": []
      }
    },
    {
      "id": "__num_3",
      "type": "number",
      "label": "4",
      "subexpr": "4",
      "chartScript": {
        "script": "4",
        "variables": []
      }
    },
    {
      "id": "__num_4",
      "type": "number",
      "label": "12",
      "subexpr": "12",
      "chartScript": {
        "script": "12",
        "variables": []
      }
    },
    {
      "id": "__equals_5",
      "type": "relation",
      "op": "equals",
      "subexpr": "3 \\times 4 = 12",
      "chartScript": {
        "script": "True",
        "variables": []
      }
    }
  ],
  "edges": [
    {
      "from": "__num_2",
      "to": "__multiply_1",
      "semantic": "direct",
      "weight": 1.0
    },
    {
      "from": "__num_3",
      "to": "__multiply_1",
      "semantic": "direct",
      "weight": 1.0
    },
    {
      "from": "__multiply_1",
      "to": "__equals_5"
    },
    {
      "from": "__num_4",
      "to": "__equals_5"
    }
  ],
  "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
  __multiply_1(("$\times$")):::operator
  __num_2["$3$"]:::number
  __num_3["$4$"]:::number
  __num_4["$12$"]:::number
  __equals_5{"="}:::relation
  __num_2 --> __multiply_1
  __num_3 --> __multiply_1
  __multiply_1 --> __equals_5
  __num_4 --> __equals_5
  linkStyle 0 stroke:#ef5350,stroke-width:3px
  linkStyle 1 stroke:#ef5350,stroke-width:3px
  linkStyle 2 stroke:#aaa,stroke-width:2px
  linkStyle 3 stroke:#aaa,stroke-width:2px

{
  "nodes": [
    {
      "id": "__multiply_1",
      "type": "operator",
      "op": "multiply",
      "subexpr": "\\frac{10}{2}",
      "chartScript": {
        "script": "5",
        "variables": []
      }
    },
    {
      "id": "__num_2",
      "type": "number",
      "label": "10",
      "subexpr": "10",
      "chartScript": {
        "script": "10",
        "variables": []
      }
    },
    {
      "id": "__power_3",
      "type": "operator",
      "latex": "\\dfrac{1}{(\\cdot)}",
      "op": "power",
      "exponent": "-1",
      "subexpr": "\\frac{1}{2}",
      "chartScript": {
        "script": "1/2",
        "variables": []
      }
    },
    {
      "id": "__num_4",
      "type": "number",
      "label": "2",
      "subexpr": "2",
      "chartScript": {
        "script": "2",
        "variables": []
      }
    },
    {
      "id": "__num_5",
      "type": "number",
      "label": "5",
      "subexpr": "5",
      "chartScript": {
        "script": "5",
        "variables": []
      }
    },
    {
      "id": "__equals_6",
      "type": "relation",
      "op": "equals",
      "subexpr": "\\frac{10}{2} = 5",
      "chartScript": {
        "script": "True",
        "variables": []
      }
    }
  ],
  "edges": [
    {
      "from": "__num_2",
      "to": "__multiply_1",
      "semantic": "direct",
      "weight": 1.0
    },
    {
      "from": "__num_4",
      "to": "__power_3"
    },
    {
      "from": "__power_3",
      "to": "__multiply_1"
    },
    {
      "from": "__multiply_1",
      "to": "__equals_6"
    },
    {
      "from": "__num_5",
      "to": "__equals_6"
    }
  ],
  "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
  __multiply_1(("$\times$")):::operator
  __num_2["$10$"]:::number
  __power_3(("$\dfrac{1}{(\cdot)}$")):::operator
  __num_4["$2$"]:::number
  __num_5["$5$"]:::number
  __equals_6{"="}:::relation
  __num_2 --> __multiply_1
  __num_4 --> __power_3
  __power_3 -.-> __multiply_1
  __multiply_1 --> __equals_6
  __num_5 --> __equals_6
  linkStyle 0 stroke:#ef5350,stroke-width:3px
  linkStyle 1 stroke:#aaa,stroke-width:2px
  linkStyle 2 stroke:#42a5f5,stroke-width:1px
  linkStyle 3 stroke:#aaa,stroke-width:2px
  linkStyle 4 stroke:#aaa,stroke-width:2px

{
  "nodes": [
    {
      "id": "__add_1",
      "type": "operator",
      "op": "add",
      "subexpr": "2 + 3 \\times 4",
      "chartScript": {
        "script": "14",
        "variables": []
      }
    },
    {
      "id": "__num_2",
      "type": "number",
      "label": "2",
      "subexpr": "2",
      "chartScript": {
        "script": "2",
        "variables": []
      }
    },
    {
      "id": "__multiply_3",
      "type": "operator",
      "op": "multiply",
      "subexpr": "3 4",
      "chartScript": {
        "script": "34",
        "variables": []
      }
    },
    {
      "id": "__num_4",
      "type": "number",
      "label": "3",
      "subexpr": "3",
      "chartScript": {
        "script": "3",
        "variables": []
      }
    },
    {
      "id": "__num_5",
      "type": "number",
      "label": "4",
      "subexpr": "4",
      "chartScript": {
        "script": "4",
        "variables": []
      }
    },
    {
      "id": "__num_6",
      "type": "number",
      "label": "14",
      "subexpr": "14",
      "chartScript": {
        "script": "14",
        "variables": []
      }
    },
    {
      "id": "__equals_7",
      "type": "relation",
      "op": "equals",
      "subexpr": "2 + 3 \\times 4 = 14",
      "chartScript": {
        "script": "True",
        "variables": []
      }
    }
  ],
  "edges": [
    {
      "from": "__num_2",
      "to": "__add_1"
    },
    {
      "from": "__num_4",
      "to": "__multiply_3",
      "semantic": "direct",
      "weight": 1.0
    },
    {
      "from": "__num_5",
      "to": "__multiply_3",
      "semantic": "direct",
      "weight": 1.0
    },
    {
      "from": "__multiply_3",
      "to": "__add_1"
    },
    {
      "from": "__add_1",
      "to": "__equals_7"
    },
    {
      "from": "__num_6",
      "to": "__equals_7"
    }
  ],
  "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
  __add_1(("$+$")):::operator
  __num_2["$2$"]:::number
  __multiply_3(("$\times$")):::operator
  __num_4["$3$"]:::number
  __num_5["$4$"]:::number
  __num_6["$14$"]:::number
  __equals_7{"="}:::relation
  __num_2 --> __add_1
  __num_4 --> __multiply_3
  __num_5 --> __multiply_3
  __multiply_3 --> __add_1
  __add_1 --> __equals_7
  __num_6 --> __equals_7
  linkStyle 0 stroke:#aaa,stroke-width:2px
  linkStyle 1 stroke:#ef5350,stroke-width:3px
  linkStyle 2 stroke:#ef5350,stroke-width:3px
  linkStyle 3 stroke:#aaa,stroke-width:2px
  linkStyle 4 stroke:#aaa,stroke-width:2px
  linkStyle 5 stroke:#aaa,stroke-width:2px

{
  "nodes": [
    {
      "id": "__power_1",
      "type": "operator",
      "op": "power",
      "exponent": "3",
      "subexpr": "2^3",
      "chartScript": {
        "script": "8",
        "variables": []
      }
    },
    {
      "id": "__num_2",
      "type": "number",
      "label": "2",
      "subexpr": "2",
      "chartScript": {
        "script": "2",
        "variables": []
      }
    },
    {
      "id": "__num_3",
      "type": "number",
      "label": "8",
      "subexpr": "8",
      "chartScript": {
        "script": "8",
        "variables": []
      }
    },
    {
      "id": "__equals_4",
      "type": "relation",
      "op": "equals",
      "subexpr": "2^3 = 8",
      "chartScript": {
        "script": "True",
        "variables": []
      }
    }
  ],
  "edges": [
    {
      "from": "__num_2",
      "to": "__power_1"
    },
    {
      "from": "__power_1",
      "to": "__equals_4"
    },
    {
      "from": "__num_3",
      "to": "__equals_4"
    }
  ],
  "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
  __power_1(("${(\cdot)}^{3}$")):::operator
  __num_2["$2$"]:::number
  __num_3["$8$"]:::number
  __equals_4{"="}:::relation
  __num_2 --> __power_1
  __power_1 --> __equals_4
  __num_3 --> __equals_4
  linkStyle 0 stroke:#aaa,stroke-width:2px
  linkStyle 1 stroke:#ef5350,stroke-width:8px
  linkStyle 2 stroke:#aaa,stroke-width:2px

{
  "nodes": [
    {
      "id": "__add_1",
      "type": "operator",
      "op": "add",
      "subexpr": "\\frac{1}{2} + \\frac{3}{4}",
      "chartScript": {
        "script": "5/4",
        "variables": []
      }
    },
    {
      "id": "__power_2",
      "type": "operator",
      "latex": "\\dfrac{1}{(\\cdot)}",
      "op": "power",
      "exponent": "-1",
      "subexpr": "\\frac{1}{2}",
      "chartScript": {
        "script": "1/2",
        "variables": []
      }
    },
    {
      "id": "__num_3",
      "type": "number",
      "label": "2",
      "subexpr": "2",
      "chartScript": {
        "script": "2",
        "variables": []
      }
    },
    {
      "id": "__multiply_4",
      "type": "operator",
      "op": "multiply",
      "subexpr": "3 \\frac{1}{4}",
      "chartScript": {
        "script": "3/4",
        "variables": []
      }
    },
    {
      "id": "__num_5",
      "type": "number",
      "label": "3",
      "subexpr": "3",
      "chartScript": {
        "script": "3",
        "variables": []
      }
    },
    {
      "id": "__power_6",
      "type": "operator",
      "latex": "\\dfrac{1}{(\\cdot)}",
      "op": "power",
      "exponent": "-1",
      "subexpr": "\\frac{1}{4}",
      "chartScript": {
        "script": "1/4",
        "variables": []
      }
    },
    {
      "id": "__num_7",
      "type": "number",
      "label": "4",
      "subexpr": "4",
      "chartScript": {
        "script": "4",
        "variables": []
      }
    },
    {
      "id": "__multiply_8",
      "type": "operator",
      "op": "multiply",
      "subexpr": "\\frac{5}{4}",
      "chartScript": {
        "script": "5/4",
        "variables": []
      }
    },
    {
      "id": "__num_9",
      "type": "number",
      "label": "5",
      "subexpr": "5",
      "chartScript": {
        "script": "5",
        "variables": []
      }
    },
    {
      "id": "__power_10",
      "type": "operator",
      "latex": "\\dfrac{1}{(\\cdot)}",
      "op": "power",
      "exponent": "-1",
      "subexpr": "\\frac{1}{4}",
      "chartScript": {
        "script": "1/4",
        "variables": []
      }
    },
    {
      "id": "__num_11",
      "type": "number",
      "label": "4",
      "subexpr": "4",
      "chartScript": {
        "script": "4",
        "variables": []
      }
    },
    {
      "id": "__equals_12",
      "type": "relation",
      "op": "equals",
      "subexpr": "\\frac{1}{2} + \\frac{3}{4} = \\frac{5}{4}",
      "chartScript": {
        "script": "True",
        "variables": []
      }
    }
  ],
  "edges": [
    {
      "from": "__num_3",
      "to": "__power_2"
    },
    {
      "from": "__power_2",
      "to": "__add_1"
    },
    {
      "from": "__num_5",
      "to": "__multiply_4",
      "semantic": "direct",
      "weight": 1.0
    },
    {
      "from": "__num_7",
      "to": "__power_6"
    },
    {
      "from": "__power_6",
      "to": "__multiply_4"
    },
    {
      "from": "__multiply_4",
      "to": "__add_1"
    },
    {
      "from": "__num_9",
      "to": "__multiply_8",
      "semantic": "direct",
      "weight": 1.0
    },
    {
      "from": "__num_11",
      "to": "__power_10"
    },
    {
      "from": "__power_10",
      "to": "__multiply_8"
    },
    {
      "from": "__add_1",
      "to": "__equals_12"
    },
    {
      "from": "__multiply_8",
      "to": "__equals_12"
    }
  ],
  "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
  __add_1(("$+$")):::operator
  __power_2(("$\dfrac{1}{(\cdot)}$")):::operator
  __num_3["$2$"]:::number
  __multiply_4(("$\times$")):::operator
  __num_5["$3$"]:::number
  __power_6(("$\dfrac{1}{(\cdot)}$")):::operator
  __num_7["$4$"]:::number
  __multiply_8(("$\times$")):::operator
  __num_9["$5$"]:::number
  __power_10(("$\dfrac{1}{(\cdot)}$")):::operator
  __num_11["$4$"]:::number
  __equals_12{"="}:::relation
  __num_3 --> __power_2
  __power_2 -.-> __add_1
  __num_5 --> __multiply_4
  __num_7 --> __power_6
  __power_6 -.-> __multiply_4
  __multiply_4 --> __add_1
  __num_9 --> __multiply_8
  __num_11 --> __power_10
  __power_10 -.-> __multiply_8
  __add_1 --> __equals_12
  __multiply_8 --> __equals_12
  linkStyle 0 stroke:#aaa,stroke-width:2px
  linkStyle 1 stroke:#42a5f5,stroke-width:1px
  linkStyle 2 stroke:#ef5350,stroke-width:3px
  linkStyle 3 stroke:#aaa,stroke-width:2px
  linkStyle 4 stroke:#42a5f5,stroke-width:1px
  linkStyle 5 stroke:#aaa,stroke-width:2px
  linkStyle 6 stroke:#ef5350,stroke-width:3px
  linkStyle 7 stroke:#aaa,stroke-width:2px
  linkStyle 8 stroke:#42a5f5,stroke-width:1px
  linkStyle 9 stroke:#aaa,stroke-width:2px
  linkStyle 10 stroke:#aaa,stroke-width:2px

{
  "nodes": [
    {
      "id": "__equals_1",
      "type": "relation",
      "op": "equals",
      "subexpr": "|x - 3| = 5",
      "chartScript": {
        "script": "abs(x - 3) - 5",
        "variables": [
          "x"
        ]
      }
    },
    {
      "id": "__abs_2",
      "type": "function",
      "op": "abs",
      "subexpr": "\\left|{x - 3}\\right|"
    },
    {
      "id": "__add_3",
      "type": "operator",
      "op": "add",
      "subexpr": "x - 3",
      "chartScript": {
        "script": "x - 3",
        "variables": [
          "x"
        ]
      }
    },
    {
      "id": "x",
      "type": "scalar",
      "latex": "x",
      "subexpr": "x",
      "chartScript": {
        "script": "x",
        "variables": [
          "x"
        ]
      }
    },
    {
      "id": "__num_4",
      "type": "number",
      "label": "-3",
      "subexpr": "-3",
      "chartScript": {
        "script": "-3",
        "variables": []
      }
    },
    {
      "id": "__num_5",
      "type": "number",
      "label": "5",
      "subexpr": "5",
      "chartScript": {
        "script": "5",
        "variables": []
      }
    }
  ],
  "edges": [
    {
      "from": "x",
      "to": "__add_3"
    },
    {
      "from": "__num_4",
      "to": "__add_3"
    },
    {
      "from": "__add_3",
      "to": "__abs_2"
    },
    {
      "from": "__abs_2",
      "to": "__equals_1"
    },
    {
      "from": "__num_5",
      "to": "__equals_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
  __equals_1{"="}:::relation
  __abs_2{{"$|\cdot|$"}}:::function
  __add_3(("$+$")):::operator
  x["$x$"]:::scalar
  __num_4["$-3$"]:::number
  __num_5["$5$"]:::number
  x --> __add_3
  __num_4 --> __add_3
  __add_3 --> __abs_2
  __abs_2 --> __equals_1
  __num_5 --> __equals_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

{
  "nodes": [
    {
      "id": "__equals_1",
      "type": "relation",
      "op": "equals",
      "subexpr": "|x| = y",
      "chartScript": {
        "script": "-y + abs(x)",
        "variables": [
          "x",
          "y"
        ]
      }
    },
    {
      "id": "__abs_2",
      "type": "function",
      "op": "abs",
      "subexpr": "\\left|{x}\\right|"
    },
    {
      "id": "x",
      "type": "scalar",
      "latex": "x",
      "subexpr": "x",
      "chartScript": {
        "script": "x",
        "variables": [
          "x"
        ]
      }
    },
    {
      "id": "y",
      "type": "scalar",
      "latex": "y",
      "subexpr": "y",
      "chartScript": {
        "script": "y",
        "variables": [
          "y"
        ]
      }
    }
  ],
  "edges": [
    {
      "from": "x",
      "to": "__abs_2"
    },
    {
      "from": "__abs_2",
      "to": "__equals_1"
    },
    {
      "from": "y",
      "to": "__equals_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
  __equals_1{"="}:::relation
  __abs_2{{"$|\cdot|$"}}:::function
  x["$x$"]:::scalar
  y["$y$"]:::scalar
  x --> __abs_2
  __abs_2 --> __equals_1
  y --> __equals_1
  linkStyle 0 stroke:#aaa,stroke-width:2px
  linkStyle 1 stroke:#aaa,stroke-width:2px
  linkStyle 2 stroke:#aaa,stroke-width:2px