Gist of expression: sqrt(x + 1) - sqrt(x)

Example_sqrt(x + 1) - sqrt(x)_.txt

{
  "serverUrl": "https://herbie.uwplse.org/demo",
  "fptaylorServerUrl": "https://herbie.uwplse.org/fptaylor",
  "fpbenchServerUrl": "https://herbie.uwplse.org/fpbench",
  "spec": {
    "expression": "sqrt(x + 1) - sqrt(x)",
    "id": 1
  },
  "specRanges": [
    {
      "variable": "x",
      "lowerBound": -1e+308,
      "upperBound": 1e+308,
      "minAbsValue": 0
    }
  ],
  "expressions": [
    {
      "text": "sqrt(x + 1) - sqrt(x)",
      "id": 0,
      "specId": 1,
      "tex": " \\sqrt{x + 1} - \\sqrt{x}\n"
    }
  ],
  "derivations": [
    {
      "history": "<p>Original Spec Expression</p>",
      "id": 0
    }
  ],
  "selectedExprId": 0,
  "compareExprIds": [
    0
  ],
  "expandedExpressions": [
    0
  ]
}