[
  "^",
  4,
  [
    "number",
    [
      "get",
      "x"
    ]
  ]
]