{
  "table": "T515",
  "versions": {
    "sage": "10.9",
    "numberdb": "0.1.10",
    "mpmath": "1.4.1"
  },
  "rows": [
    {
      "x": "0",
      "number": "0.4099510849640004901006149127290757023964854590990643366939191686761976795370137603529248955635117128",
      "series_accuracy_bits": 660,
      "quadrature_accuracy_bits": 603,
      "quadrature_tail_bound": "[1.5519083110251710601068065832249769847238791885029311349802055274275321381595922653059770407498272676742341942994306482746951973478531914562653043458113381994706047387800038307990510838154754546642902e-253 +/- 5.96e-453]",
      "series_ball": "[0.4099510849640004901006149127290757023964854590990643366939191686761976795370137603529248955635117128271522925214950111496823694848584260731581258179511563698258000313211441268496061646568021177970922 +/- 7.49e-200]",
      "quadrature_ball": "[0.4099510849640004901006149127290757023964854590990643366939191686761976795370137603529248955635117128271522925214950111496823694848584260731581258179511563698258000313211441268496062 +/- 4.19e-182]"
    },
    {
      "x": "1/2",
      "number": "0.6095559998265972956089948714387831571490774053337115368193901096056810591475095145648228585430459362",
      "series_accuracy_bits": 501,
      "quadrature_accuracy_bits": 600,
      "quadrature_tail_bound": "[6.282659766136973120854566624340770277387339929274391338959665654447407271212515443506458388277579042040326741501200736241639870996394085279952080125904508247212637732367975377771883249667067406090561e-251 +/- 4.21e-450]",
      "series_ball": "[0.6095559998265972956089948714387831571490774053337115368193901096056810591475095145648228585430459362365038875375815511704413183235081568983307818144506 +/- 4.63e-152]",
      "quadrature_ball": "[0.6095559998265972956089948714387831571490774053337115368193901096056810591475095145648228585430459362365038875375815511704413183235081568983307818144506462253926276297513796922504896 +/- 9.01e-182]"
    },
    {
      "x": "-1/2",
      "number": "0.2931090504664691070529559242094872958823166492593338803489597265607978326948761743238613079352170332",
      "series_accuracy_bits": 500,
      "quadrature_accuracy_bits": 602,
      "quadrature_tail_bound": "[3.833485390777831704107024210926592860969169177036559188076541555998872280166616703508756962125863295880112076231803177832235250487604335660601992033691899364612931333400582875967863846105783266475834e-256 +/- 3.57e-455]",
      "series_ball": "[0.2931090504664691070529559242094872958823166492593338803489597265607978326948761743238613079352170332256308442141159412077111779119318926182716136852559 +/- 4.45e-152]",
      "quadrature_ball": "[0.2931090504664691070529559242094872958823166492593338803489597265607978326948761743238613079352170332256308442141159412077111779119318926182716136852558650386617166030707524110038551 +/- 2.22e-182]"
    },
    {
      "x": "1",
      "number": "0.9722051551424333218376885710096220108084221876846558113582929686715946742112511629144829985557544346",
      "series_accuracy_bits": 499,
      "quadrature_accuracy_bits": 597,
      "quadrature_tail_bound": "[2.5434681075925968202842726258703623932599570367994179068440096636911618380026178304661232204577938439339080359629586203279208593670333082737135347894679514793236396881329377866258003582902364335775729e-248 +/- 9.48e-448]",
      "series_ball": "[0.972205155142433321837688571009622010808422187684655811358292968671594674211251162914482998555754434596395799945572574832803068454374052690559187481489 +/- 6.13e-151]",
      "quadrature_ball": "[0.972205155142433321837688571009622010808422187684655811358292968671594674211251162914482998555754434596395799945572574832803068454374052690559187481489612120890354079883962247136195 +/- 7.19e-181]"
    },
    {
      "x": "-1",
      "number": "0.2206696067929598945381097514817931090244496849618778705400674935257939738562069297066387582017714815",
      "series_accuracy_bits": 497,
      "quadrature_accuracy_bits": 600,
      "quadrature_tail_bound": "[9.469493841931273066300124392003172203625566094132353565910122353422263372487044174739704952869359178254087620228038780702347082980221518184942401347758238427484810522936049194911585796099638074576792e-259 +/- 4.40e-458]",
      "series_ball": "[0.220669606792959894538109751481793109024449684961877870540067493525793973856206929706638758201771481508383032249283885650175623796368378736610024799332 +/- 5.50e-151]",
      "quadrature_ball": "[0.2206696067929598945381097514817931090244496849618778705400674935257939738562069297066387582017714815083830322492838856501756237963683787366100247993320248761673988831425819215487433 +/- 4.36e-182]"
    },
    {
      "x": "2",
      "number": "3.129141434324204347506880819566898038768839655043481692279580568504466000587936816798803732502712418",
      "series_accuracy_bits": 502,
      "quadrature_accuracy_bits": 593,
      "quadrature_tail_bound": "[4.168768440175591950525258536913860262956182964778731646971267226312049098687345418081516906829447411997509817299923773855761208020116644586879438884537483728064867092517096186733778164858415653647902e-243 +/- 2.82e-442]",
      "series_ball": "[3.129141434324204347506880819566898038768839655043481692279580568504466000587936816798803732502712417965745266098318773988134628653687269385146852801211 +/- 2.81e-151]",
      "quadrature_ball": "[3.1291414343242043475068808195668980387688396550434816922795805685044660005879368167988037325027124179657452660983187739881346286536872693851468528012109070078102636311669286308259 +/- 8.51e-179]"
    },
    {
      "x": "-2",
      "number": "0.1409489962414912009416178504600517817784022923059201868795954268115939270658205792954676924067579409",
      "series_accuracy_bits": 498,
      "quadrature_accuracy_bits": 597,
      "quadrature_tail_bound": "[5.778407021429543121749168097815378062039991293820791319606800319919101601011801885156974542459580432604318208741572825771207155120978136158698361752519363354160207651519228299842426211612975408885448e-264 +/- 4.64e-463]",
      "series_ball": "[0.140948996241491200941617850460051781778402292305920186879595426811593927065820579295467692406757940942407293158697931730086546268267313183225271230021 +/- 5.09e-151]",
      "quadrature_ball": "[0.140948996241491200941617850460051781778402292305920186879595426811593927065820579295467692406757940942407293158697931730086546268267313183225271230021332535746382146748982969986207 +/- 3.66e-181]"
    },
    {
      "x": "10",
      "number": "455641153.5163291358991077201258736526408762717791498103375478496603107098238922520346158312374385933",
      "series_accuracy_bits": 527,
      "quadrature_accuracy_bits": 568,
      "quadrature_tail_bound": "[2.175011617711363930399247631655078508658694471224033489605753428950592508377213289773852393304870110982907923058037706076532642137864364472051939493921421665361155039698505240001232507554019392381228e-201 +/- 3.99e-400]",
      "series_ball": "[455641153.516329135899107720125873652640876271779149810337547849660310709823892252034615831237438593276891024483346448605272612292525485870853448086988834399623 +/- 7.72e-151]",
      "quadrature_ball": "[455641153.516329135899107720125873652640876271779149810337547849660310709823892252034615831237438593276891024483346448605272612292525485870853448086988834399623439455091904 +/- 4.56e-163]"
    },
    {
      "x": "-10",
      "number": "0.03176853528250227274150109763617920669273793715202250481857072895213744733655773849299555757057729012",
      "series_accuracy_bits": 494,
      "quadrature_accuracy_bits": 517,
      "quadrature_tail_bound": "[1.1126792825415878740041122468406389472228479301346785779391840009275601818404854925457597839240310470030103658742725378470865460371570535901548723302887664029846486128062469832875449638465746175365154e-305 +/- 5.56e-505]",
      "series_ball": "[0.03176853528250227274150109763617920669273793715202250481857072895213744733655773849299555757057729012130321986749564681097978355712951832902664025347 +/- 5.13e-150]",
      "quadrature_ball": "[0.0317685352825022727415010976361792066927379371520225048185707289521374473365577384929955575705772901213032198674956468109797835571295183290266402534658822766 +/- 7.47e-158]"
    }
  ],
  "passed": [
    "certified Taylor versus certified finite quadrature plus positive tail",
    "mpmath at 150 and 200 dps",
    "differential equation including rejection of wrong forcing sign",
    "Gi + Hi = Bi",
    "initial values",
    "positivity and monotonicity on all selected arguments"
  ],
  "stored_decimal_max_length": 103
}