{
  "schema": "AN02-L156-independent-checks181/v1",
  "status": "PASS",
  "checks": 127,
  "records": [
    {
      "name": "actual-naive-real-Hessian-(mpf('0.0078125'), mpf('1.0'), mpf('-2.0'), mpf('0.0999999999999999999999999999999999999999999999999999999999999961'))",
      "absolute_error": 4.861730685829017e-63,
      "relative_error": 4.861730685829017e-63,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-naive-strict-negative-sign-(mpf('0.0078125'), mpf('1.0'), mpf('-2.0'), mpf('0.0999999999999999999999999999999999999999999999999999999999999961'))",
      "actual": -0.01384848425759652,
      "bound": 0.0,
      "lower_bound": false,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-naive-real-Hessian-(mpf('0.0078125'), mpf('1.0'), mpf('-2.0'), mpf('1.0'))",
      "absolute_error": 1.2154326714572542e-63,
      "relative_error": 1.2154326714572542e-63,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-naive-strict-negative-sign-(mpf('0.0078125'), mpf('1.0'), mpf('-2.0'), mpf('1.0'))",
      "actual": -0.010676274578121057,
      "bound": 0.0,
      "lower_bound": false,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-naive-real-Hessian-(mpf('0.0078125'), mpf('1.0'), mpf('-2.0'), mpf('4.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-naive-strict-negative-sign-(mpf('0.0078125'), mpf('1.0'), mpf('-2.0'), mpf('4.0'))",
      "actual": -0.0018668578620149297,
      "bound": 0.0,
      "lower_bound": false,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-naive-real-Hessian-(mpf('0.0078125'), mpf('1.0'), mpf('0.0'), mpf('0.0999999999999999999999999999999999999999999999999999999999999961'))",
      "absolute_error": 3.111507638930571e-61,
      "relative_error": 1.5059696972423964e-61,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-naive-strict-negative-sign-(mpf('0.0078125'), mpf('1.0'), mpf('0.0'), mpf('0.0999999999999999999999999999999999999999999999999999999999999961'))",
      "actual": -2.0661157024793386,
      "bound": 0.0,
      "lower_bound": false,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-naive-real-Hessian-(mpf('0.0078125'), mpf('1.0'), mpf('0.0'), mpf('1.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-naive-strict-negative-sign-(mpf('0.0078125'), mpf('1.0'), mpf('0.0'), mpf('1.0'))",
      "actual": -0.0625,
      "bound": 0.0,
      "lower_bound": false,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-naive-real-Hessian-(mpf('0.0078125'), mpf('1.0'), mpf('0.0'), mpf('4.0'))",
      "absolute_error": 3.0385816786431356e-64,
      "relative_error": 3.0385816786431356e-64,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-naive-strict-negative-sign-(mpf('0.0078125'), mpf('1.0'), mpf('0.0'), mpf('4.0'))",
      "actual": -0.0025,
      "bound": 0.0,
      "lower_bound": false,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-naive-real-Hessian-(mpf('0.0078125'), mpf('1.0'), mpf('1.0'), mpf('0.0999999999999999999999999999999999999999999999999999999999999961'))",
      "absolute_error": 4.861730685829017e-63,
      "relative_error": 4.861730685829017e-63,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-naive-strict-negative-sign-(mpf('0.0078125'), mpf('1.0'), mpf('1.0'), mpf('0.0999999999999999999999999999999999999999999999999999999999999961'))",
      "actual": -0.061880805195406716,
      "bound": 0.0,
      "lower_bound": false,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-naive-real-Hessian-(mpf('0.0078125'), mpf('1.0'), mpf('1.0'), mpf('1.0'))",
      "absolute_error": 4.861730685829017e-63,
      "relative_error": 4.861730685829017e-63,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-naive-strict-negative-sign-(mpf('0.0078125'), mpf('1.0'), mpf('1.0'), mpf('1.0'))",
      "actual": -0.030330085889910645,
      "bound": 0.0,
      "lower_bound": false,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-naive-real-Hessian-(mpf('0.0078125'), mpf('1.0'), mpf('1.0'), mpf('4.0'))",
      "absolute_error": 9.115745035929407e-64,
      "relative_error": 9.115745035929407e-64,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-naive-strict-negative-sign-(mpf('0.0078125'), mpf('1.0'), mpf('1.0'), mpf('4.0'))",
      "actual": -0.0023101965338417907,
      "bound": 0.0,
      "lower_bound": false,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-naive-real-Hessian-(mpf('0.0078125'), mpf('4.0'), mpf('-2.0'), mpf('0.0999999999999999999999999999999999999999999999999999999999999961'))",
      "absolute_error": 1.9446922743316068e-62,
      "relative_error": 1.9446922743316068e-62,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-naive-strict-negative-sign-(mpf('0.0078125'), mpf('4.0'), mpf('-2.0'), mpf('0.0999999999999999999999999999999999999999999999999999999999999961'))",
      "actual": -0.05539393703038608,
      "bound": 0.0,
      "lower_bound": false,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-naive-real-Hessian-(mpf('0.0078125'), mpf('4.0'), mpf('-2.0'), mpf('1.0'))",
      "absolute_error": 4.861730685829017e-63,
      "relative_error": 4.861730685829017e-63,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-naive-strict-negative-sign-(mpf('0.0078125'), mpf('4.0'), mpf('-2.0'), mpf('1.0'))",
      "actual": -0.04270509831248423,
      "bound": 0.0,
      "lower_bound": false,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-naive-real-Hessian-(mpf('0.0078125'), mpf('4.0'), mpf('-2.0'), mpf('4.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-naive-strict-negative-sign-(mpf('0.0078125'), mpf('4.0'), mpf('-2.0'), mpf('4.0'))",
      "actual": -0.007467431448059719,
      "bound": 0.0,
      "lower_bound": false,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-naive-real-Hessian-(mpf('0.0078125'), mpf('4.0'), mpf('0.0'), mpf('0.0999999999999999999999999999999999999999999999999999999999999961'))",
      "absolute_error": 1.2446030555722283e-60,
      "relative_error": 1.5059696972423964e-61,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-naive-strict-negative-sign-(mpf('0.0078125'), mpf('4.0'), mpf('0.0'), mpf('0.0999999999999999999999999999999999999999999999999999999999999961'))",
      "actual": -8.264462809917354,
      "bound": 0.0,
      "lower_bound": false,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-naive-real-Hessian-(mpf('0.0078125'), mpf('4.0'), mpf('0.0'), mpf('1.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-naive-strict-negative-sign-(mpf('0.0078125'), mpf('4.0'), mpf('0.0'), mpf('1.0'))",
      "actual": -0.25,
      "bound": 0.0,
      "lower_bound": false,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-naive-real-Hessian-(mpf('0.0078125'), mpf('4.0'), mpf('0.0'), mpf('4.0'))",
      "absolute_error": 1.2154326714572542e-63,
      "relative_error": 1.2154326714572542e-63,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-naive-strict-negative-sign-(mpf('0.0078125'), mpf('4.0'), mpf('0.0'), mpf('4.0'))",
      "actual": -0.01,
      "bound": 0.0,
      "lower_bound": false,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-naive-real-Hessian-(mpf('0.0078125'), mpf('4.0'), mpf('1.0'), mpf('0.0999999999999999999999999999999999999999999999999999999999999961'))",
      "absolute_error": 1.9446922743316068e-62,
      "relative_error": 1.9446922743316068e-62,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-naive-strict-negative-sign-(mpf('0.0078125'), mpf('4.0'), mpf('1.0'), mpf('0.0999999999999999999999999999999999999999999999999999999999999961'))",
      "actual": -0.24752322078162686,
      "bound": 0.0,
      "lower_bound": false,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-naive-real-Hessian-(mpf('0.0078125'), mpf('4.0'), mpf('1.0'), mpf('1.0'))",
      "absolute_error": 1.9446922743316068e-62,
      "relative_error": 1.9446922743316068e-62,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-naive-strict-negative-sign-(mpf('0.0078125'), mpf('4.0'), mpf('1.0'), mpf('1.0'))",
      "actual": -0.12132034355964258,
      "bound": 0.0,
      "lower_bound": false,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-naive-real-Hessian-(mpf('0.0078125'), mpf('4.0'), mpf('1.0'), mpf('4.0'))",
      "absolute_error": 3.6462980143717627e-63,
      "relative_error": 3.6462980143717627e-63,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-naive-strict-negative-sign-(mpf('0.0078125'), mpf('4.0'), mpf('1.0'), mpf('4.0'))",
      "actual": -0.009240786135367163,
      "bound": 0.0,
      "lower_bound": false,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-naive-real-Hessian-(mpf('0.399999999999999999999999999999999999999999999999999999999999984'), mpf('1.0'), mpf('-2.0'), mpf('0.0999999999999999999999999999999999999999999999999999999999999961'))",
      "absolute_error": 4.861730685829017e-63,
      "relative_error": 4.861730685829017e-63,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-naive-strict-negative-sign-(mpf('0.399999999999999999999999999999999999999999999999999999999999984'), mpf('1.0'), mpf('-2.0'), mpf('0.0999999999999999999999999999999999999999999999999999999999999961'))",
      "actual": -0.01384848425759652,
      "bound": 0.0,
      "lower_bound": false,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-naive-real-Hessian-(mpf('0.399999999999999999999999999999999999999999999999999999999999984'), mpf('1.0'), mpf('-2.0'), mpf('1.0'))",
      "absolute_error": 1.2154326714572542e-63,
      "relative_error": 1.2154326714572542e-63,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-naive-strict-negative-sign-(mpf('0.399999999999999999999999999999999999999999999999999999999999984'), mpf('1.0'), mpf('-2.0'), mpf('1.0'))",
      "actual": -0.010676274578121057,
      "bound": 0.0,
      "lower_bound": false,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-naive-real-Hessian-(mpf('0.399999999999999999999999999999999999999999999999999999999999984'), mpf('1.0'), mpf('-2.0'), mpf('4.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-naive-strict-negative-sign-(mpf('0.399999999999999999999999999999999999999999999999999999999999984'), mpf('1.0'), mpf('-2.0'), mpf('4.0'))",
      "actual": -0.0018668578620149297,
      "bound": 0.0,
      "lower_bound": false,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-naive-real-Hessian-(mpf('0.399999999999999999999999999999999999999999999999999999999999984'), mpf('1.0'), mpf('0.0'), mpf('0.0999999999999999999999999999999999999999999999999999999999999961'))",
      "absolute_error": 3.111507638930571e-61,
      "relative_error": 1.5059696972423964e-61,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-naive-strict-negative-sign-(mpf('0.399999999999999999999999999999999999999999999999999999999999984'), mpf('1.0'), mpf('0.0'), mpf('0.0999999999999999999999999999999999999999999999999999999999999961'))",
      "actual": -2.0661157024793386,
      "bound": 0.0,
      "lower_bound": false,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-naive-real-Hessian-(mpf('0.399999999999999999999999999999999999999999999999999999999999984'), mpf('1.0'), mpf('0.0'), mpf('1.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-naive-strict-negative-sign-(mpf('0.399999999999999999999999999999999999999999999999999999999999984'), mpf('1.0'), mpf('0.0'), mpf('1.0'))",
      "actual": -0.0625,
      "bound": 0.0,
      "lower_bound": false,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-naive-real-Hessian-(mpf('0.399999999999999999999999999999999999999999999999999999999999984'), mpf('1.0'), mpf('0.0'), mpf('4.0'))",
      "absolute_error": 3.0385816786431356e-64,
      "relative_error": 3.0385816786431356e-64,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-naive-strict-negative-sign-(mpf('0.399999999999999999999999999999999999999999999999999999999999984'), mpf('1.0'), mpf('0.0'), mpf('4.0'))",
      "actual": -0.0025,
      "bound": 0.0,
      "lower_bound": false,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-naive-real-Hessian-(mpf('0.399999999999999999999999999999999999999999999999999999999999984'), mpf('1.0'), mpf('1.0'), mpf('0.0999999999999999999999999999999999999999999999999999999999999961'))",
      "absolute_error": 4.861730685829017e-63,
      "relative_error": 4.861730685829017e-63,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-naive-strict-negative-sign-(mpf('0.399999999999999999999999999999999999999999999999999999999999984'), mpf('1.0'), mpf('1.0'), mpf('0.0999999999999999999999999999999999999999999999999999999999999961'))",
      "actual": -0.061880805195406716,
      "bound": 0.0,
      "lower_bound": false,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-naive-real-Hessian-(mpf('0.399999999999999999999999999999999999999999999999999999999999984'), mpf('1.0'), mpf('1.0'), mpf('1.0'))",
      "absolute_error": 4.861730685829017e-63,
      "relative_error": 4.861730685829017e-63,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-naive-strict-negative-sign-(mpf('0.399999999999999999999999999999999999999999999999999999999999984'), mpf('1.0'), mpf('1.0'), mpf('1.0'))",
      "actual": -0.030330085889910645,
      "bound": 0.0,
      "lower_bound": false,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-naive-real-Hessian-(mpf('0.399999999999999999999999999999999999999999999999999999999999984'), mpf('1.0'), mpf('1.0'), mpf('4.0'))",
      "absolute_error": 9.115745035929407e-64,
      "relative_error": 9.115745035929407e-64,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-naive-strict-negative-sign-(mpf('0.399999999999999999999999999999999999999999999999999999999999984'), mpf('1.0'), mpf('1.0'), mpf('4.0'))",
      "actual": -0.0023101965338417907,
      "bound": 0.0,
      "lower_bound": false,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-naive-real-Hessian-(mpf('0.399999999999999999999999999999999999999999999999999999999999984'), mpf('4.0'), mpf('-2.0'), mpf('0.0999999999999999999999999999999999999999999999999999999999999961'))",
      "absolute_error": 1.9446922743316068e-62,
      "relative_error": 1.9446922743316068e-62,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-naive-strict-negative-sign-(mpf('0.399999999999999999999999999999999999999999999999999999999999984'), mpf('4.0'), mpf('-2.0'), mpf('0.0999999999999999999999999999999999999999999999999999999999999961'))",
      "actual": -0.05539393703038608,
      "bound": 0.0,
      "lower_bound": false,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-naive-real-Hessian-(mpf('0.399999999999999999999999999999999999999999999999999999999999984'), mpf('4.0'), mpf('-2.0'), mpf('1.0'))",
      "absolute_error": 4.861730685829017e-63,
      "relative_error": 4.861730685829017e-63,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-naive-strict-negative-sign-(mpf('0.399999999999999999999999999999999999999999999999999999999999984'), mpf('4.0'), mpf('-2.0'), mpf('1.0'))",
      "actual": -0.04270509831248423,
      "bound": 0.0,
      "lower_bound": false,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-naive-real-Hessian-(mpf('0.399999999999999999999999999999999999999999999999999999999999984'), mpf('4.0'), mpf('-2.0'), mpf('4.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-naive-strict-negative-sign-(mpf('0.399999999999999999999999999999999999999999999999999999999999984'), mpf('4.0'), mpf('-2.0'), mpf('4.0'))",
      "actual": -0.007467431448059719,
      "bound": 0.0,
      "lower_bound": false,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-naive-real-Hessian-(mpf('0.399999999999999999999999999999999999999999999999999999999999984'), mpf('4.0'), mpf('0.0'), mpf('0.0999999999999999999999999999999999999999999999999999999999999961'))",
      "absolute_error": 1.2446030555722283e-60,
      "relative_error": 1.5059696972423964e-61,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-naive-strict-negative-sign-(mpf('0.399999999999999999999999999999999999999999999999999999999999984'), mpf('4.0'), mpf('0.0'), mpf('0.0999999999999999999999999999999999999999999999999999999999999961'))",
      "actual": -8.264462809917354,
      "bound": 0.0,
      "lower_bound": false,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-naive-real-Hessian-(mpf('0.399999999999999999999999999999999999999999999999999999999999984'), mpf('4.0'), mpf('0.0'), mpf('1.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-naive-strict-negative-sign-(mpf('0.399999999999999999999999999999999999999999999999999999999999984'), mpf('4.0'), mpf('0.0'), mpf('1.0'))",
      "actual": -0.25,
      "bound": 0.0,
      "lower_bound": false,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-naive-real-Hessian-(mpf('0.399999999999999999999999999999999999999999999999999999999999984'), mpf('4.0'), mpf('0.0'), mpf('4.0'))",
      "absolute_error": 1.2154326714572542e-63,
      "relative_error": 1.2154326714572542e-63,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-naive-strict-negative-sign-(mpf('0.399999999999999999999999999999999999999999999999999999999999984'), mpf('4.0'), mpf('0.0'), mpf('4.0'))",
      "actual": -0.01,
      "bound": 0.0,
      "lower_bound": false,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-naive-real-Hessian-(mpf('0.399999999999999999999999999999999999999999999999999999999999984'), mpf('4.0'), mpf('1.0'), mpf('0.0999999999999999999999999999999999999999999999999999999999999961'))",
      "absolute_error": 1.9446922743316068e-62,
      "relative_error": 1.9446922743316068e-62,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-naive-strict-negative-sign-(mpf('0.399999999999999999999999999999999999999999999999999999999999984'), mpf('4.0'), mpf('1.0'), mpf('0.0999999999999999999999999999999999999999999999999999999999999961'))",
      "actual": -0.24752322078162686,
      "bound": 0.0,
      "lower_bound": false,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-naive-real-Hessian-(mpf('0.399999999999999999999999999999999999999999999999999999999999984'), mpf('4.0'), mpf('1.0'), mpf('1.0'))",
      "absolute_error": 1.9446922743316068e-62,
      "relative_error": 1.9446922743316068e-62,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-naive-strict-negative-sign-(mpf('0.399999999999999999999999999999999999999999999999999999999999984'), mpf('4.0'), mpf('1.0'), mpf('1.0'))",
      "actual": -0.12132034355964258,
      "bound": 0.0,
      "lower_bound": false,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-naive-real-Hessian-(mpf('0.399999999999999999999999999999999999999999999999999999999999984'), mpf('4.0'), mpf('1.0'), mpf('4.0'))",
      "absolute_error": 3.6462980143717627e-63,
      "relative_error": 3.6462980143717627e-63,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-naive-strict-negative-sign-(mpf('0.399999999999999999999999999999999999999999999999999999999999984'), mpf('4.0'), mpf('1.0'), mpf('4.0'))",
      "actual": -0.009240786135367163,
      "bound": 0.0,
      "lower_bound": false,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-circle-mean-violation-0.02",
      "actual": -0.00010000875108350485,
      "bound": 0.0,
      "lower_bound": false,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-circle-mean-violation-0.05",
      "actual": -0.0006253420616226545,
      "bound": 0.0,
      "lower_bound": false,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-circle-mean-violation-0.1",
      "actual": -0.0025054857443913173,
      "bound": 0.0,
      "lower_bound": false,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-circle-mean-violation-0.2",
      "actual": -0.010088600816971029,
      "bound": 0.0,
      "lower_bound": false,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-circle-mean-violation-0.00001",
      "actual": -2.5000000000546874e-11,
      "bound": 0.0,
      "lower_bound": false,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-small-circle-leading-Levi-coefficient",
      "absolute_error": 5.468750000169271e-12,
      "relative_error": 5.468750000169271e-12,
      "tolerance": 1e-09,
      "passed": true
    },
    {
      "name": "actual-strict-seed-real-Hessian-(mpf('0.0'), mpf('81.9199999999999999999999999999999999999999999999999999999999988'))",
      "absolute_error": 3.8893845486632136e-62,
      "relative_error": 3.8893845486632136e-62,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-strict-Levi-lower-bound-(mpf('0.0'), mpf('81.9199999999999999999999999999999999999999999999999999999999988'))",
      "actual": 3.57580163504345e-07,
      "bound": 1.1917353927630358e-07,
      "lower_bound": true,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-strict-gradient-bound-(mpf('0.0'), mpf('81.9199999999999999999999999999999999999999999999999999999999988'))",
      "actual": 0.007949210936719764,
      "bound": 0.02392578125,
      "lower_bound": false,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-strict-seed-real-Hessian-(mpf('0.0'), mpf('409.599999999999999999999999999999999999999999999999999999999984'))",
      "absolute_error": 9.723461371658034e-63,
      "relative_error": 9.723461371658034e-63,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-strict-Levi-lower-bound-(mpf('0.0'), mpf('409.599999999999999999999999999999999999999999999999999999999984'))",
      "actual": 3.5642275671712044e-07,
      "bound": 1.1832297194291118e-07,
      "lower_bound": true,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-strict-gradient-bound-(mpf('0.0'), mpf('409.599999999999999999999999999999999999999999999999999999999984'))",
      "actual": 0.008495114824342401,
      "bound": 0.02392578125,
      "lower_bound": false,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-strict-seed-real-Hessian-(mpf('0.0'), mpf('4096.0'))",
      "absolute_error": 9.723461371658034e-63,
      "relative_error": 9.723461371658034e-63,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-strict-Levi-lower-bound-(mpf('0.0'), mpf('4096.0'))",
      "actual": 2.3649019804535266e-07,
      "bound": 7.08822676541043e-08,
      "lower_bound": true,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-strict-gradient-bound-(mpf('0.0'), mpf('4096.0'))",
      "actual": 0.013727421913060426,
      "bound": 0.02392578125,
      "lower_bound": false,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-strict-seed-real-Hessian-(mpf('0.0'), mpf('16384.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-strict-Levi-lower-bound-(mpf('0.0'), mpf('16384.0'))",
      "actual": 3.6645535441530347e-08,
      "bound": 1.423880061590623e-08,
      "lower_bound": true,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-strict-gradient-bound-(mpf('0.0'), mpf('16384.0'))",
      "actual": 0.019008581004349982,
      "bound": 0.02392578125,
      "lower_bound": false,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-strict-seed-real-Hessian-(mpf('4096.0'), mpf('81.9199999999999999999999999999999999999999999999999999999999988'))",
      "absolute_error": 1.9446922743316068e-62,
      "relative_error": 1.9446922743316068e-62,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-strict-Levi-lower-bound-(mpf('4096.0'), mpf('81.9199999999999999999999999999999999999999999999999999999999988'))",
      "actual": 4.469037377793768e-07,
      "bound": 1.1917353927630358e-07,
      "lower_bound": true,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-strict-gradient-bound-(mpf('4096.0'), mpf('81.9199999999999999999999999999999999999999999999999999999999988'))",
      "actual": 0.007973928638040462,
      "bound": 0.02392578125,
      "lower_bound": false,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-strict-seed-real-Hessian-(mpf('4096.0'), mpf('409.599999999999999999999999999999999999999999999999999999999984'))",
      "absolute_error": 1.9446922743316068e-62,
      "relative_error": 1.9446922743316068e-62,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-strict-Levi-lower-bound-(mpf('4096.0'), mpf('409.599999999999999999999999999999999999999999999999999999999984'))",
      "actual": 4.437766327869441e-07,
      "bound": 1.1832297194291118e-07,
      "lower_bound": true,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-strict-gradient-bound-(mpf('4096.0'), mpf('409.599999999999999999999999999999999999999999999999999999999984'))",
      "actual": 0.008557023006090552,
      "bound": 0.02392578125,
      "lower_bound": false,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-strict-seed-real-Hessian-(mpf('4096.0'), mpf('4096.0'))",
      "absolute_error": 9.723461371658034e-63,
      "relative_error": 9.723461371658034e-63,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-strict-Levi-lower-bound-(mpf('4096.0'), mpf('4096.0'))",
      "actual": 2.5304704381629447e-07,
      "bound": 7.08822676541043e-08,
      "lower_bound": true,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-strict-gradient-bound-(mpf('4096.0'), mpf('4096.0'))",
      "actual": 0.013893996148192816,
      "bound": 0.02392578125,
      "lower_bound": false,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-strict-seed-real-Hessian-(mpf('4096.0'), mpf('16384.0'))",
      "absolute_error": 1.2154326714572542e-63,
      "relative_error": 1.2154326714572542e-63,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-strict-Levi-lower-bound-(mpf('4096.0'), mpf('16384.0'))",
      "actual": 3.669009442668859e-08,
      "bound": 1.423880061590623e-08,
      "lower_bound": true,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-strict-gradient-bound-(mpf('4096.0'), mpf('16384.0'))",
      "actual": 0.019021423899068468,
      "bound": 0.02392578125,
      "lower_bound": false,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-strict-seed-real-Hessian-(mpf('-8192.0'), mpf('81.9199999999999999999999999999999999999999999999999999999999988'))",
      "absolute_error": 3.8893845486632136e-62,
      "relative_error": 3.8893845486632136e-62,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-strict-Levi-lower-bound-(mpf('-8192.0'), mpf('81.9199999999999999999999999999999999999999999999999999999999988'))",
      "actual": 4.719265340793212e-07,
      "bound": 1.1917353927630358e-07,
      "lower_bound": true,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-strict-gradient-bound-(mpf('-8192.0'), mpf('81.9199999999999999999999999999999999999999999999999999999999988'))",
      "actual": 0.007974400012241282,
      "bound": 0.02392578125,
      "lower_bound": false,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-strict-seed-real-Hessian-(mpf('-8192.0'), mpf('409.599999999999999999999999999999999999999999999999999999999984'))",
      "absolute_error": 1.9446922743316068e-62,
      "relative_error": 1.9446922743316068e-62,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-strict-Levi-lower-bound-(mpf('-8192.0'), mpf('409.599999999999999999999999999999999999999999999999999999999984'))",
      "actual": 4.685337971524023e-07,
      "bound": 1.1832297194291118e-07,
      "lower_bound": true,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-strict-gradient-bound-(mpf('-8192.0'), mpf('409.599999999999999999999999999999999999999999999999999999999984'))",
      "actual": 0.008581171886088456,
      "bound": 0.02392578125,
      "lower_bound": false,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-strict-seed-real-Hessian-(mpf('-8192.0'), mpf('4096.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-strict-Levi-lower-bound-(mpf('-8192.0'), mpf('4096.0'))",
      "actual": 2.629811512788596e-07,
      "bound": 7.08822676541043e-08,
      "lower_bound": true,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-strict-gradient-bound-(mpf('-8192.0'), mpf('4096.0'))",
      "actual": 0.014056712405336996,
      "bound": 0.02392578125,
      "lower_bound": false,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-strict-seed-real-Hessian-(mpf('-8192.0'), mpf('16384.0'))",
      "absolute_error": 1.2154326714572542e-63,
      "relative_error": 1.2154326714572542e-63,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-strict-Levi-lower-bound-(mpf('-8192.0'), mpf('16384.0'))",
      "actual": 3.678770848338802e-08,
      "bound": 1.423880061590623e-08,
      "lower_bound": true,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-strict-gradient-bound-(mpf('-8192.0'), mpf('16384.0'))",
      "actual": 0.019052575518948216,
      "bound": 0.02392578125,
      "lower_bound": false,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-z-squared-pullback-Hessian-(mpf('0.0'), mpf('0.0'))",
      "absolute_error": 2.308244654446434e-128,
      "relative_error": 2.308244654446434e-128,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-z-squared-pullback-Hessian-(mpf('1.0'), mpf('0.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-z-squared-pullback-Hessian-(mpf('0.0'), mpf('1.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-z-squared-pullback-Hessian-(mpf('0.299999999999999988897769753748434595763683319091796875'), mpf('-0.40000000000000002220446049250313080847263336181640625'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-z-squared-pullback-Hessian-(mpf('-1.1999999999999999555910790149937383830547332763671875'), mpf('0.6999999999999999555910790149937383830547332763671875'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-multivariate-holomorphic-Levi-pullback-(0, 0, 0, 0)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-12,
      "passed": true
    },
    {
      "name": "actual-multivariate-holomorphic-Levi-pullback-(1, -0.3, 0.4, 1.1)",
      "absolute_error": 1.1102230246251565e-16,
      "relative_error": 1.1102230246251565e-16,
      "tolerance": 1e-12,
      "passed": true
    },
    {
      "name": "actual-multivariate-holomorphic-Levi-pullback-(-0.7, 0.8, -1.2, 0.5)",
      "absolute_error": 4.440892098500626e-16,
      "relative_error": 4.440892098500626e-16,
      "tolerance": 1e-12,
      "passed": true
    },
    {
      "name": "actual-stage-integrable-complex-dimension-1",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-stage-integrable-complex-dimension-2",
      "absolute_error": 7.778769097326427e-62,
      "relative_error": 7.778769097326427e-62,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-stage-integrable-complex-dimension-3",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-carrier-radius-sum",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-strict-domain-support-gap",
      "actual": 0.0234375,
      "bound": 0.03125,
      "lower_bound": false,
      "tolerance": 1e-40,
      "passed": true
    }
  ],
  "max_relative_error": 5.468750000169271e-12,
  "checks_supplement_full_proofs": true,
  "topology_and_scope_claims_not_inferred_from_samples": true
}