{
  "schema": "AN02-regularity-bridge-checks175/v1",
  "status": "PASS",
  "checks": 285,
  "records": [
    {
      "name": "actual-double-root-full-strength-(mpc(real='0.0', imag='1.0'), mpf('-4.0'))",
      "absolute_error": 2.4892061111444567e-60,
      "relative_error": 1.310108479549714e-61,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-double-root-positive-jets-(mpc(real='0.0', imag='1.0'), mpf('-4.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-double-root-ratio-(mpc(real='0.0', imag='1.0'), mpf('-4.0'))",
      "absolute_error": 3.111507638930571e-61,
      "relative_error": 1.3895798849694e-61,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-double-root-full-strength-(mpc(real='0.0', imag='1.0'), mpf('-1.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-double-root-positive-jets-(mpc(real='0.0', imag='1.0'), mpf('-1.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-double-root-ratio-(mpc(real='0.0', imag='1.0'), mpf('-1.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-double-root-full-strength-(mpc(real='0.0', imag='1.0'), mpf('0.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-double-root-positive-jets-(mpc(real='0.0', imag='1.0'), mpf('0.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-double-root-ratio-(mpc(real='0.0', imag='1.0'), mpf('0.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-double-root-full-strength-(mpc(real='0.0', imag='1.0'), mpf('0.5'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-double-root-positive-jets-(mpc(real='0.0', imag='1.0'), mpf('0.5'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-double-root-ratio-(mpc(real='0.0', imag='1.0'), mpf('0.5'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-double-root-full-strength-(mpc(real='0.0', imag='1.0'), mpf('3.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-double-root-positive-jets-(mpc(real='0.0', imag='1.0'), mpf('3.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-double-root-ratio-(mpc(real='0.0', imag='1.0'), mpf('3.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-double-root-full-strength-(mpc(real='0.0', imag='1.0'), mpf('8.0'))",
      "absolute_error": 9.956824444577827e-60,
      "relative_error": 1.4860932006832577e-61,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-double-root-positive-jets-(mpc(real='0.0', imag='1.0'), mpf('8.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-double-root-ratio-(mpc(real='0.0', imag='1.0'), mpf('8.0'))",
      "absolute_error": 6.223015277861142e-61,
      "relative_error": 1.509134779402395e-61,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-double-root-full-strength-(mpc(real='0.0', imag='0.0'), mpf('-4.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-double-root-positive-jets-(mpc(real='0.0', imag='0.0'), mpf('-4.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-double-root-ratio-(mpc(real='0.0', imag='0.0'), mpf('-4.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-double-root-full-strength-(mpc(real='0.0', imag='0.0'), mpf('-1.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-double-root-positive-jets-(mpc(real='0.0', imag='0.0'), mpf('-1.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-double-root-ratio-(mpc(real='0.0', imag='0.0'), mpf('-1.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-double-root-full-strength-(mpc(real='0.0', imag='0.0'), mpf('0.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-double-root-positive-jets-(mpc(real='0.0', imag='0.0'), mpf('0.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-double-root-ratio-(mpc(real='0.0', imag='0.0'), mpf('0.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-double-root-full-strength-(mpc(real='0.0', imag='0.0'), mpf('0.5'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-double-root-positive-jets-(mpc(real='0.0', imag='0.0'), mpf('0.5'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-double-root-ratio-(mpc(real='0.0', imag='0.0'), mpf('0.5'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-double-root-full-strength-(mpc(real='0.0', imag='0.0'), mpf('3.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-double-root-positive-jets-(mpc(real='0.0', imag='0.0'), mpf('3.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-double-root-ratio-(mpc(real='0.0', imag='0.0'), mpf('3.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-double-root-full-strength-(mpc(real='0.0', imag='0.0'), mpf('8.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-double-root-positive-jets-(mpc(real='0.0', imag='0.0'), mpf('8.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-double-root-ratio-(mpc(real='0.0', imag='0.0'), mpf('8.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-ratio-distance-lower-(0, mpf('-7.0'))",
      "actual": 3.6407282184728254,
      "bound": 1.426776695296637,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "actual-ratio-distance-upper-(0, mpf('-7.0'))",
      "actual": 3.6407282184728254,
      "bound": 117.43665509229565,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "actual-ratio-distance-lower-(0, mpf('-1.20000000000000000000000000000000000000000000000000000000000003'))",
      "actual": 1.1969437825581664,
      "bound": 0.4529107207263184,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "actual-ratio-distance-upper-(0, mpf('-1.20000000000000000000000000000000000000000000000000000000000003'))",
      "actual": 1.1969437825581664,
      "bound": 11.833599329929552,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "actual-ratio-distance-lower-(0, mpf('0.0'))",
      "actual": 1.0606601717798212,
      "bound": 0.3535533905932738,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "actual-ratio-distance-upper-(0, mpf('0.0'))",
      "actual": 1.0606601717798212,
      "bound": 7.211102550927978,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "actual-ratio-distance-lower-(0, mpf('0.700000000000000000000000000000000000000000000000000000000000031'))",
      "actual": 1.1058488171652139,
      "bound": 0.3925601515670377,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "actual-ratio-distance-upper-(0, mpf('0.700000000000000000000000000000000000000000000000000000000000031'))",
      "actual": 1.1058488171652139,
      "bound": 8.890047554885744,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "actual-ratio-distance-lower-(0, mpf('3.0'))",
      "actual": 1.8090680674665818,
      "bound": 0.7357936896715843,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "actual-ratio-distance-upper-(0, mpf('3.0'))",
      "actual": 1.8090680674665818,
      "bound": 31.23228626604332,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "actual-ratio-distance-lower-(0, mpf('10.0'))",
      "actual": 5.099259846329873,
      "bound": 1.9533604957406239,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "actual-ratio-distance-upper-(0, mpf('10.0'))",
      "actual": 5.099259846329873,
      "bound": 220.11845691265034,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "actual-ratio-distance-lower-(1, mpf('-7.0'))",
      "actual": 3.6062445840513924,
      "bound": 1.4142135623730951,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "actual-ratio-distance-upper-(1, mpf('-7.0'))",
      "actual": 3.6062445840513924,
      "bound": 115.37764081484765,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "actual-ratio-distance-lower-(1, mpf('-1.20000000000000000000000000000000000000000000000000000000000003'))",
      "actual": 1.1011171674229054,
      "bound": 0.38890872965260115,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "actual-ratio-distance-upper-(1, mpf('-1.20000000000000000000000000000000000000000000000000000000000003'))",
      "actual": 1.1011171674229054,
      "bound": 8.725434086622855,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "actual-ratio-distance-lower-(1, mpf('0.0'))",
      "actual": 1.0,
      "bound": 0.1767766952966369,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "actual-ratio-distance-upper-(1, mpf('0.0'))",
      "actual": 1.0,
      "bound": 1.8027756377319946,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "actual-ratio-distance-lower-(1, mpf('0.700000000000000000000000000000000000000000000000000000000000031'))",
      "actual": 1.0199437410462053,
      "bound": 0.3005203820042827,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "actual-ratio-distance-upper-(1, mpf('0.700000000000000000000000000000000000000000000000000000000000031'))",
      "actual": 1.0199437410462053,
      "bound": 5.2100215930454645,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "actual-ratio-distance-lower-(1, mpf('3.0'))",
      "actual": 1.7392527130926085,
      "bound": 0.7071067811865476,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "actual-ratio-distance-upper-(1, mpf('3.0'))",
      "actual": 1.7392527130926085,
      "bound": 28.844410203711913,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "actual-ratio-distance-lower-(1, mpf('10.0'))",
      "actual": 5.074689670070945,
      "bound": 1.9445436482630056,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "actual-ratio-distance-upper-(1, mpf('10.0'))",
      "actual": 5.074689670070945,
      "bound": 218.13585216557135,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "actual-ratio-distance-lower-(2, mpf('-7.0'))",
      "actual": 3.212550321247221,
      "bound": 1.0650685955186303,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "actual-ratio-distance-upper-(2, mpf('-7.0'))",
      "actual": 3.212550321247221,
      "bound": 65.44053142245829,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "actual-ratio-distance-lower-(2, mpf('-1.20000000000000000000000000000000000000000000000000000000000003'))",
      "actual": 1.2935858460439613,
      "bound": 0.34354749609821605,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "actual-ratio-distance-upper-(2, mpf('-1.20000000000000000000000000000000000000000000000000000000000003'))",
      "actual": 1.2935858460439613,
      "bound": 6.80871622565246,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "actual-ratio-distance-lower-(2, mpf('0.0'))",
      "actual": 1.3435401676724676,
      "bound": 0.35705425906983634,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "actual-ratio-distance-upper-(2, mpf('0.0'))",
      "actual": 1.3435401676724676,
      "bound": 7.354617563143316,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "actual-ratio-distance-lower-(2, mpf('0.700000000000000000000000000000000000000000000000000000000000031'))",
      "actual": 1.046723109658272,
      "bound": 0.2405144392165467,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "actual-ratio-distance-upper-(2, mpf('0.700000000000000000000000000000000000000000000000000000000000031'))",
      "actual": 1.046723109658272,
      "bound": 3.337136470637154,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "actual-ratio-distance-lower-(2, mpf('3.0'))",
      "actual": 1.705017723230522,
      "bound": 0.5320934553854343,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "actual-ratio-distance-upper-(2, mpf('3.0'))",
      "actual": 1.705017723230522,
      "bound": 16.33305758696663,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "actual-ratio-distance-lower-(2, mpf('10.0'))",
      "actual": 5.219273271852465,
      "bound": 1.7681597415805916,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "actual-ratio-distance-upper-(2, mpf('10.0'))",
      "actual": 5.219273271852465,
      "bound": 180.3576861459433,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "actual-ratio-distance-lower-(3, mpf('-7.0'))",
      "actual": 2.45677780641813,
      "bound": 0.44480142345785245,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "actual-ratio-distance-upper-(3, mpf('-7.0'))",
      "actual": 2.45677780641813,
      "bound": 997.5489695460616,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "actual-ratio-distance-lower-(3, mpf('-1.20000000000000000000000000000000000000000000000000000000000003'))",
      "actual": 1.015842574533151,
      "bound": 0.12427398264918323,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "actual-ratio-distance-upper-(3, mpf('-1.20000000000000000000000000000000000000000000000000000000000003'))",
      "actual": 1.015842574533151,
      "bound": 21.755865674563616,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "actual-ratio-distance-lower-(3, mpf('0.0'))",
      "actual": 1.0000092717227738,
      "bound": 0.07222222222222222,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "actual-ratio-distance-upper-(3, mpf('0.0'))",
      "actual": 1.0000092717227738,
      "bound": 4.270200437658375,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "actual-ratio-distance-lower-(3, mpf('0.700000000000000000000000000000000000000000000000000000000000031'))",
      "actual": 1.001627117377198,
      "bound": 0.09786540614368838,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "actual-ratio-distance-upper-(3, mpf('0.700000000000000000000000000000000000000000000000000000000000031'))",
      "actual": 1.001627117377198,
      "bound": 10.62486272089236,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "actual-ratio-distance-lower-(3, mpf('3.0'))",
      "actual": 1.2955911976415218,
      "bound": 0.22305348257423707,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "actual-ratio-distance-upper-(3, mpf('3.0'))",
      "actual": 1.2955911976415218,
      "bound": 125.79481598254362,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "actual-ratio-distance-lower-(3, mpf('10.0'))",
      "actual": 3.419011809219368,
      "bound": 0.6113610548864093,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "actual-ratio-distance-upper-(3, mpf('10.0'))",
      "actual": 3.419011809219368,
      "bound": 2590.1745283806094,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "actual-ratio-distance-lower-(4, mpf('-7.0'))",
      "actual": 1.9406052531348286,
      "bound": 0.0828788382505185,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "actual-ratio-distance-upper-(4, mpf('-7.0'))",
      "actual": 1.9406052531348286,
      "bound": 2572.2715215540525,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "actual-ratio-distance-lower-(4, mpf('-1.20000000000000000000000000000000000000000000000000000000000003'))",
      "actual": 1.0468800034758474,
      "bound": 0.025186961919474397,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "actual-ratio-distance-upper-(4, mpf('-1.20000000000000000000000000000000000000000000000000000000000003'))",
      "actual": 1.0468800034758474,
      "bound": 21.940439999126966,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "actual-ratio-distance-lower-(4, mpf('0.0'))",
      "actual": 1.0910080756447051,
      "bound": 0.03432497399060538,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "actual-ratio-distance-upper-(4, mpf('0.0'))",
      "actual": 1.0910080756447051,
      "bound": 75.6803371018032,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "actual-ratio-distance-lower-(4, mpf('0.700000000000000000000000000000000000000000000000000000000000031'))",
      "actual": 1.0711888345035996,
      "bound": 0.029542854782697657,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "actual-ratio-distance-upper-(4, mpf('0.700000000000000000000000000000000000000000000000000000000000031'))",
      "actual": 1.0711888345035996,
      "bound": 41.52905314738927,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "actual-ratio-distance-lower-(4, mpf('3.0'))",
      "actual": 1.0119225937328342,
      "bound": 0.019325517063098145,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "actual-ratio-distance-upper-(4, mpf('3.0'))",
      "actual": 1.0119225937328342,
      "bound": 7.604430245879335,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "actual-ratio-distance-lower-(4, mpf('10.0'))",
      "actual": 2.4060758563967193,
      "bound": 0.11058915682451986,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "actual-ratio-distance-upper-(4, mpf('10.0'))",
      "actual": 2.4060758563967193,
      "bound": 8154.406885650661,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "actual-affine-nearest-zero-([(1+0j), 2j], [0.0, 0.0])",
      "absolute_error": 1.5700924586837752e-16,
      "relative_error": 1.5700924586837752e-16,
      "tolerance": 1e-13,
      "passed": true
    },
    {
      "name": "actual-affine-zero-distance-([(1+0j), 2j], [0.0, 0.0])",
      "absolute_error": 1.1102230246251565e-16,
      "relative_error": 1.1102230246251565e-16,
      "tolerance": 1e-13,
      "passed": true
    },
    {
      "name": "actual-affine-strength-distance-([(1+0j), 2j], [0.0, 0.0])",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-13,
      "passed": true
    },
    {
      "name": "actual-affine-nearest-zero-([(1+0j), 2j], [1.0, -2.0])",
      "absolute_error": 9.930136612989092e-16,
      "relative_error": 9.930136612989092e-16,
      "tolerance": 1e-13,
      "passed": true
    },
    {
      "name": "actual-affine-zero-distance-([(1+0j), 2j], [1.0, -2.0])",
      "absolute_error": 2.220446049250313e-16,
      "relative_error": 1.350320564837193e-16,
      "tolerance": 1e-13,
      "passed": true
    },
    {
      "name": "actual-affine-strength-distance-([(1+0j), 2j], [1.0, -2.0])",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-13,
      "passed": true
    },
    {
      "name": "actual-affine-nearest-zero-([(1+0j), 2j], [-3.0, 0.7])",
      "absolute_error": 4.710277376051325e-16,
      "relative_error": 4.710277376051325e-16,
      "tolerance": 1e-13,
      "passed": true
    },
    {
      "name": "actual-affine-zero-distance-([(1+0j), 2j], [-3.0, 0.7])",
      "absolute_error": 4.440892098500626e-16,
      "relative_error": 3.027255574823483e-16,
      "tolerance": 1e-13,
      "passed": true
    },
    {
      "name": "actual-affine-strength-distance-([(1+0j), 2j], [-3.0, 0.7])",
      "absolute_error": 2.220446049250313e-16,
      "relative_error": 1.250682638174552e-16,
      "tolerance": 1e-13,
      "passed": true
    },
    {
      "name": "actual-affine-nearest-zero-([(1+0.3j), (-0.4+1.2j)], [0.0, 0.0])",
      "absolute_error": 1.5700924586837752e-16,
      "relative_error": 1.5700924586837752e-16,
      "tolerance": 1e-13,
      "passed": true
    },
    {
      "name": "actual-affine-zero-distance-([(1+0.3j), (-0.4+1.2j)], [0.0, 0.0])",
      "absolute_error": 1.1102230246251565e-16,
      "relative_error": 1.1102230246251565e-16,
      "tolerance": 1e-13,
      "passed": true
    },
    {
      "name": "actual-affine-strength-distance-([(1+0.3j), (-0.4+1.2j)], [0.0, 0.0])",
      "absolute_error": 2.220446049250313e-16,
      "relative_error": 2.0326558267394043e-16,
      "tolerance": 1e-13,
      "passed": true
    },
    {
      "name": "actual-affine-nearest-zero-([(1+0.3j), (-0.4+1.2j)], [1.0, -2.0])",
      "absolute_error": 4.002966042486721e-16,
      "relative_error": 4.002966042486721e-16,
      "tolerance": 1e-13,
      "passed": true
    },
    {
      "name": "actual-affine-zero-distance-([(1+0.3j), (-0.4+1.2j)], [1.0, -2.0])",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-13,
      "passed": true
    },
    {
      "name": "actual-affine-strength-distance-([(1+0.3j), (-0.4+1.2j)], [1.0, -2.0])",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-13,
      "passed": true
    },
    {
      "name": "actual-affine-nearest-zero-([(1+0.3j), (-0.4+1.2j)], [-3.0, 0.7])",
      "absolute_error": 7.850462293418876e-16,
      "relative_error": 7.850462293418876e-16,
      "tolerance": 1e-13,
      "passed": true
    },
    {
      "name": "actual-affine-zero-distance-([(1+0.3j), (-0.4+1.2j)], [-3.0, 0.7])",
      "absolute_error": 4.440892098500626e-16,
      "relative_error": 2.485712630447964e-16,
      "tolerance": 1e-13,
      "passed": true
    },
    {
      "name": "actual-affine-strength-distance-([(1+0.3j), (-0.4+1.2j)], [-3.0, 0.7])",
      "absolute_error": 4.440892098500626e-16,
      "relative_error": 2.1690463253106957e-16,
      "tolerance": 1e-13,
      "passed": true
    },
    {
      "name": "actual-affine-nearest-zero-([(-0-0.2j), (2-1j)], [0.0, 0.0])",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-13,
      "passed": true
    },
    {
      "name": "actual-affine-zero-distance-([(-0-0.2j), (2-1j)], [0.0, 0.0])",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-13,
      "passed": true
    },
    {
      "name": "actual-affine-strength-distance-([(-0-0.2j), (2-1j)], [0.0, 0.0])",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-13,
      "passed": true
    },
    {
      "name": "actual-affine-nearest-zero-([(-0-0.2j), (2-1j)], [1.0, -2.0])",
      "absolute_error": 2.482534153247273e-16,
      "relative_error": 2.482534153247273e-16,
      "tolerance": 1e-13,
      "passed": true
    },
    {
      "name": "actual-affine-zero-distance-([(-0-0.2j), (2-1j)], [1.0, -2.0])",
      "absolute_error": 2.220446049250313e-16,
      "relative_error": 1.1521328816827457e-16,
      "tolerance": 1e-13,
      "passed": true
    },
    {
      "name": "actual-affine-strength-distance-([(-0-0.2j), (2-1j)], [1.0, -2.0])",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-13,
      "passed": true
    },
    {
      "name": "actual-affine-nearest-zero-([(-0-0.2j), (2-1j)], [-3.0, 0.7])",
      "absolute_error": 2.482534153247273e-16,
      "relative_error": 2.482534153247273e-16,
      "tolerance": 1e-13,
      "passed": true
    },
    {
      "name": "actual-affine-zero-distance-([(-0-0.2j), (2-1j)], [-3.0, 0.7])",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-13,
      "passed": true
    },
    {
      "name": "actual-affine-strength-distance-([(-0-0.2j), (2-1j)], [-3.0, 0.7])",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-13,
      "passed": true
    },
    {
      "name": "actual-unit-torus-coefficient-(0, (2, 0))",
      "absolute_error": 4.454189482971208e-16,
      "relative_error": 2.227094741485604e-16,
      "tolerance": 1e-13,
      "passed": true
    },
    {
      "name": "actual-unit-torus-coefficient-(0, (1, 1))",
      "absolute_error": 4.462258437027862e-16,
      "relative_error": 1.4874194790092874e-16,
      "tolerance": 1e-13,
      "passed": true
    },
    {
      "name": "actual-unit-torus-coefficient-(0, (0, 2))",
      "absolute_error": 8.882077178249234e-16,
      "relative_error": 2.2205192945623086e-16,
      "tolerance": 1e-13,
      "passed": true
    },
    {
      "name": "actual-unit-torus-coefficient-(1, (3, 0))",
      "absolute_error": 2.5121479338940403e-15,
      "relative_error": 2.960594732333751e-16,
      "tolerance": 1e-13,
      "passed": true
    },
    {
      "name": "actual-unit-torus-coefficient-(1, (2, 1))",
      "absolute_error": 1.3322677784896854e-15,
      "relative_error": 3.3306694462242136e-16,
      "tolerance": 1e-13,
      "passed": true
    },
    {
      "name": "actual-unit-torus-coefficient-(1, (1, 2))",
      "absolute_error": 4.130967897879011e-17,
      "relative_error": 4.130967897879011e-17,
      "tolerance": 1e-13,
      "passed": true
    },
    {
      "name": "actual-unit-torus-coefficient-(1, (0, 3))",
      "absolute_error": 3.699502185049444e-15,
      "relative_error": 2.0552789916941357e-16,
      "tolerance": 1e-13,
      "passed": true
    },
    {
      "name": "actual-heat-polynomial-zero-(-2, 0.3)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-13,
      "passed": true
    },
    {
      "name": "heat-spatial-coordinate-bound-(-2, 0.3)",
      "actual": 2.0223748416156684,
      "bound": 8.524274302124986,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "heat-time-coordinate-bound-(-2, 0.3)",
      "actual": 4.09,
      "bound": 72.66325237786843,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "actual-heat-polynomial-zero-(0.4, -1.2)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-13,
      "passed": true
    },
    {
      "name": "heat-spatial-coordinate-bound-(0.4, -1.2)",
      "actual": 1.2649110640673518,
      "bound": 4.77099799368449,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "heat-time-coordinate-bound-(0.4, -1.2)",
      "actual": 1.5999999999999999,
      "bound": 22.762421855741426,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "actual-heat-polynomial-zero-(0, 0)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-13,
      "passed": true
    },
    {
      "name": "heat-spatial-coordinate-bound-(0, 0)",
      "actual": 0.0,
      "bound": 1.7320508075688772,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "heat-time-coordinate-bound-(0, 0)",
      "actual": 0.0,
      "bound": 3.0,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "actual-heat-polynomial-zero-(1, 1)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-13,
      "passed": true
    },
    {
      "name": "heat-spatial-coordinate-bound-(1, 1)",
      "actual": 1.4142135623730951,
      "bound": 3.4641016151377544,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "heat-time-coordinate-bound-(1, 1)",
      "actual": 2.0,
      "bound": 12.0,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "actual-heat-polynomial-zero-(3, -3)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-13,
      "passed": true
    },
    {
      "name": "heat-spatial-coordinate-bound-(3, -3)",
      "actual": 4.242640687119285,
      "bound": 6.928203230275509,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "heat-time-coordinate-bound-(3, -3)",
      "actual": 18.0,
      "bound": 48.0,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "actual-heat-polynomial-zero-(0.1, 0.7)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-13,
      "passed": true
    },
    {
      "name": "heat-spatial-coordinate-bound-(0.1, 0.7)",
      "actual": 0.7071067811865475,
      "bound": 3.202152844843841,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "heat-time-coordinate-bound-(0.1, 0.7)",
      "actual": 0.49999999999999994,
      "bound": 10.253782841741504,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "sharp-heat-root-spatial-0.1",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "sharp-heat-root-time-0.1",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "sharp-heat-root-spatial-0.5",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "sharp-heat-root-time-0.5",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "sharp-heat-root-spatial-1.0",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "sharp-heat-root-time-1.0",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "sharp-heat-root-spatial-3.0",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "sharp-heat-root-time-3.0",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "sharp-heat-root-spatial-10.0",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "sharp-heat-root-time-10.0",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-heat-solution-integral-(mpf('0.799999999999999999999999999999999999999999999999999999999999969'), mpf('-0.300000000000000000000000000000000000000000000000000000000000008'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-heat-solution-integral-(mpf('0.799999999999999999999999999999999999999999999999999999999999969'), mpf('0.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-heat-solution-integral-(mpf('0.799999999999999999999999999999999999999999999999999999999999969'), mpf('0.399999999999999999999999999999999999999999999999999999999999984'))",
      "absolute_error": 8.696928241448285e-62,
      "relative_error": 8.696928241448285e-62,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-heat-solution-integral-(mpf('0.799999999999999999999999999999999999999999999999999999999999969'), mpf('1.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-spatial-heat-derivative-(mpf('0.799999999999999999999999999999999999999999999999999999999999969'), 1)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-time-heat-derivative-(mpf('0.799999999999999999999999999999999999999999999999999999999999969'), 1)",
      "absolute_error": 6.223015277861142e-61,
      "relative_error": 7.965459555662262e-62,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-rational-spatial-derivative-(mpf('0.799999999999999999999999999999999999999999999999999999999999969'), 1)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-spatial-heat-derivative-(mpf('0.799999999999999999999999999999999999999999999999999999999999969'), 2)",
      "absolute_error": 6.223015277861142e-61,
      "relative_error": 7.965459555662262e-62,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-time-heat-derivative-(mpf('0.799999999999999999999999999999999999999999999999999999999999969'), 2)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-rational-spatial-derivative-(mpf('0.799999999999999999999999999999999999999999999999999999999999969'), 2)",
      "absolute_error": 6.223015277861142e-61,
      "relative_error": 7.965459555662262e-62,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-spatial-heat-derivative-(mpf('0.799999999999999999999999999999999999999999999999999999999999969'), 3)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-time-heat-derivative-(mpf('0.799999999999999999999999999999999999999999999999999999999999969'), 3)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-rational-spatial-derivative-(mpf('0.799999999999999999999999999999999999999999999999999999999999969'), 3)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-spatial-heat-derivative-(mpf('0.799999999999999999999999999999999999999999999999999999999999969'), 5)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-time-heat-derivative-(mpf('0.799999999999999999999999999999999999999999999999999999999999969'), 5)",
      "absolute_error": 1.6704779438076223e-52,
      "relative_error": 1.235712931503366e-61,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-rational-spatial-derivative-(mpf('0.799999999999999999999999999999999999999999999999999999999999969'), 5)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-spatial-heat-derivative-(mpf('0.799999999999999999999999999999999999999999999999999999999999969'), 8)",
      "absolute_error": 6.525304467998525e-55,
      "relative_error": 1.3575947733801629e-61,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-time-heat-derivative-(mpf('0.799999999999999999999999999999999999999999999999999999999999969'), 8)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-rational-spatial-derivative-(mpf('0.799999999999999999999999999999999999999999999999999999999999969'), 8)",
      "absolute_error": 6.525304467998525e-55,
      "relative_error": 1.3575947733801629e-61,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-heat-solution-integral-(mpf('1.0'), mpf('-0.300000000000000000000000000000000000000000000000000000000000008'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-heat-solution-integral-(mpf('1.0'), mpf('0.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-heat-solution-integral-(mpf('1.0'), mpf('0.399999999999999999999999999999999999999999999999999999999999984'))",
      "absolute_error": 1.9446922743316068e-62,
      "relative_error": 1.9446922743316068e-62,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-heat-solution-integral-(mpf('1.0'), mpf('1.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-spatial-heat-derivative-(mpf('1.0'), 1)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-time-heat-derivative-(mpf('1.0'), 1)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-rational-spatial-derivative-(mpf('1.0'), 1)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-spatial-heat-derivative-(mpf('1.0'), 2)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-time-heat-derivative-(mpf('1.0'), 2)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-rational-spatial-derivative-(mpf('1.0'), 2)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-spatial-heat-derivative-(mpf('1.0'), 3)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-time-heat-derivative-(mpf('1.0'), 3)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-rational-spatial-derivative-(mpf('1.0'), 3)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-spatial-heat-derivative-(mpf('1.0'), 5)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-time-heat-derivative-(mpf('1.0'), 5)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-rational-spatial-derivative-(mpf('1.0'), 5)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-spatial-heat-derivative-(mpf('1.0'), 8)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-time-heat-derivative-(mpf('1.0'), 8)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-rational-spatial-derivative-(mpf('1.0'), 8)",
      "absolute_error": 8.9345687488589e-121,
      "relative_error": 1.3849467926678604e-126,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-heat-solution-integral-(mpf('2.0'), mpf('-0.300000000000000000000000000000000000000000000000000000000000008'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-heat-solution-integral-(mpf('2.0'), mpf('0.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-heat-solution-integral-(mpf('2.0'), mpf('0.399999999999999999999999999999999999999999999999999999999999984'))",
      "absolute_error": 9.723461371658034e-63,
      "relative_error": 9.723461371658034e-63,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-heat-solution-integral-(mpf('2.0'), mpf('1.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-spatial-heat-derivative-(mpf('2.0'), 1)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-time-heat-derivative-(mpf('2.0'), 1)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-rational-spatial-derivative-(mpf('2.0'), 1)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-spatial-heat-derivative-(mpf('2.0'), 2)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-time-heat-derivative-(mpf('2.0'), 2)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-rational-spatial-derivative-(mpf('2.0'), 2)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-spatial-heat-derivative-(mpf('2.0'), 3)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-time-heat-derivative-(mpf('2.0'), 3)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-rational-spatial-derivative-(mpf('2.0'), 3)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-spatial-heat-derivative-(mpf('2.0'), 5)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-time-heat-derivative-(mpf('2.0'), 5)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-rational-spatial-derivative-(mpf('2.0'), 5)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-spatial-heat-derivative-(mpf('2.0'), 8)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-time-heat-derivative-(mpf('2.0'), 8)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-rational-spatial-derivative-(mpf('2.0'), 8)",
      "absolute_error": 4.36258239690376e-124,
      "relative_error": 3.462366981669651e-127,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-heat-operator-(mpf('0.199999999999999999999999999999999999999999999999999999999999992'), mpf('0.0'), mpf('0.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-kernel-spatial-D-phase-(mpf('0.199999999999999999999999999999999999999999999999999999999999992'), mpf('0.0'), mpf('0.0'), 1)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-kernel-time-D-phase-(mpf('0.199999999999999999999999999999999999999999999999999999999999992'), mpf('0.0'), mpf('0.0'), 1)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-kernel-spatial-D-phase-(mpf('0.199999999999999999999999999999999999999999999999999999999999992'), mpf('0.0'), mpf('0.0'), 2)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-kernel-time-D-phase-(mpf('0.199999999999999999999999999999999999999999999999999999999999992'), mpf('0.0'), mpf('0.0'), 2)",
      "absolute_error": 6.077163357286271e-64,
      "relative_error": 6.077163357286271e-64,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-kernel-spatial-D-phase-(mpf('0.199999999999999999999999999999999999999999999999999999999999992'), mpf('0.0'), mpf('0.0'), 3)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-kernel-time-D-phase-(mpf('0.199999999999999999999999999999999999999999999999999999999999992'), mpf('0.0'), mpf('0.0'), 3)",
      "absolute_error": 7.596454196607839e-65,
      "relative_error": 7.596454196607839e-65,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-heat-operator-(mpf('0.199999999999999999999999999999999999999999999999999999999999992'), mpf('0.300000000000000000000000000000000000000000000000000000000000008'), mpf('-0.199999999999999999999999999999999999999999999999999999999999992'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-kernel-spatial-D-phase-(mpf('0.199999999999999999999999999999999999999999999999999999999999992'), mpf('0.300000000000000000000000000000000000000000000000000000000000008'), mpf('-0.199999999999999999999999999999999999999999999999999999999999992'), 1)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-kernel-time-D-phase-(mpf('0.199999999999999999999999999999999999999999999999999999999999992'), mpf('0.300000000000000000000000000000000000000000000000000000000000008'), mpf('-0.199999999999999999999999999999999999999999999999999999999999992'), 1)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-kernel-spatial-D-phase-(mpf('0.199999999999999999999999999999999999999999999999999999999999992'), mpf('0.300000000000000000000000000000000000000000000000000000000000008'), mpf('-0.199999999999999999999999999999999999999999999999999999999999992'), 2)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-kernel-time-D-phase-(mpf('0.199999999999999999999999999999999999999999999999999999999999992'), mpf('0.300000000000000000000000000000000000000000000000000000000000008'), mpf('-0.199999999999999999999999999999999999999999999999999999999999992'), 2)",
      "absolute_error": 6.124457170619658e-64,
      "relative_error": 6.124457170619658e-64,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-kernel-spatial-D-phase-(mpf('0.199999999999999999999999999999999999999999999999999999999999992'), mpf('0.300000000000000000000000000000000000000000000000000000000000008'), mpf('-0.199999999999999999999999999999999999999999999999999999999999992'), 3)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-kernel-time-D-phase-(mpf('0.199999999999999999999999999999999999999999999999999999999999992'), mpf('0.300000000000000000000000000000000000000000000000000000000000008'), mpf('-0.199999999999999999999999999999999999999999999999999999999999992'), 3)",
      "absolute_error": 3.915122879097583e-65,
      "relative_error": 3.915122879097583e-65,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-heat-operator-(mpf('0.899999999999999999999999999999999999999999999999999999999999984'), mpf('0.0'), mpf('0.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-kernel-spatial-D-phase-(mpf('0.899999999999999999999999999999999999999999999999999999999999984'), mpf('0.0'), mpf('0.0'), 1)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-kernel-time-D-phase-(mpf('0.899999999999999999999999999999999999999999999999999999999999984'), mpf('0.0'), mpf('0.0'), 1)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-kernel-spatial-D-phase-(mpf('0.899999999999999999999999999999999999999999999999999999999999984'), mpf('0.0'), mpf('0.0'), 2)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-kernel-time-D-phase-(mpf('0.899999999999999999999999999999999999999999999999999999999999984'), mpf('0.0'), mpf('0.0'), 2)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-kernel-spatial-D-phase-(mpf('0.899999999999999999999999999999999999999999999999999999999999984'), mpf('0.0'), mpf('0.0'), 3)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-kernel-time-D-phase-(mpf('0.899999999999999999999999999999999999999999999999999999999999984'), mpf('0.0'), mpf('0.0'), 3)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-heat-operator-(mpf('0.899999999999999999999999999999999999999999999999999999999999984'), mpf('0.300000000000000000000000000000000000000000000000000000000000008'), mpf('-0.199999999999999999999999999999999999999999999999999999999999992'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-kernel-spatial-D-phase-(mpf('0.899999999999999999999999999999999999999999999999999999999999984'), mpf('0.300000000000000000000000000000000000000000000000000000000000008'), mpf('-0.199999999999999999999999999999999999999999999999999999999999992'), 1)",
      "absolute_error": 1.9446922743316068e-62,
      "relative_error": 1.9446922743316068e-62,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-kernel-time-D-phase-(mpf('0.899999999999999999999999999999999999999999999999999999999999984'), mpf('0.300000000000000000000000000000000000000000000000000000000000008'), mpf('-0.199999999999999999999999999999999999999999999999999999999999992'), 1)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-kernel-spatial-D-phase-(mpf('0.899999999999999999999999999999999999999999999999999999999999984'), mpf('0.300000000000000000000000000000000000000000000000000000000000008'), mpf('-0.199999999999999999999999999999999999999999999999999999999999992'), 2)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-kernel-time-D-phase-(mpf('0.899999999999999999999999999999999999999999999999999999999999984'), mpf('0.300000000000000000000000000000000000000000000000000000000000008'), mpf('-0.199999999999999999999999999999999999999999999999999999999999992'), 2)",
      "absolute_error": 1.5557538194652854e-61,
      "relative_error": 7.765516680353583e-62,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-kernel-spatial-D-phase-(mpf('0.899999999999999999999999999999999999999999999999999999999999984'), mpf('0.300000000000000000000000000000000000000000000000000000000000008'), mpf('-0.199999999999999999999999999999999999999999999999999999999999992'), 3)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-kernel-time-D-phase-(mpf('0.899999999999999999999999999999999999999999999999999999999999984'), mpf('0.300000000000000000000000000000000000000000000000000000000000008'), mpf('-0.199999999999999999999999999999999999999999999999999999999999992'), 3)",
      "absolute_error": 3.111507638930571e-61,
      "relative_error": 9.587057630066152e-62,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-heat-operator-(mpf('2.0'), mpf('0.0'), mpf('0.0'))",
      "absolute_error": 1.7686873200833423e-74,
      "relative_error": 1.7686873200833423e-74,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-kernel-spatial-D-phase-(mpf('2.0'), mpf('0.0'), mpf('0.0'), 1)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-kernel-time-D-phase-(mpf('2.0'), mpf('0.0'), mpf('0.0'), 1)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-kernel-spatial-D-phase-(mpf('2.0'), mpf('0.0'), mpf('0.0'), 2)",
      "absolute_error": 1.7686873200833423e-74,
      "relative_error": 2.210859150104178e-75,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-kernel-time-D-phase-(mpf('2.0'), mpf('0.0'), mpf('0.0'), 2)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-kernel-spatial-D-phase-(mpf('2.0'), mpf('0.0'), mpf('0.0'), 3)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-kernel-time-D-phase-(mpf('2.0'), mpf('0.0'), mpf('0.0'), 3)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-heat-operator-(mpf('2.0'), mpf('0.300000000000000000000000000000000000000000000000000000000000008'), mpf('-0.199999999999999999999999999999999999999999999999999999999999992'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-kernel-spatial-D-phase-(mpf('2.0'), mpf('0.300000000000000000000000000000000000000000000000000000000000008'), mpf('-0.199999999999999999999999999999999999999999999999999999999999992'), 1)",
      "absolute_error": 1.750223046898446e-61,
      "relative_error": 1.1275221803413424e-61,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-kernel-time-D-phase-(mpf('2.0'), mpf('0.300000000000000000000000000000000000000000000000000000000000008'), mpf('-0.199999999999999999999999999999999999999999999999999999999999992'), 1)",
      "absolute_error": 4.400336302403101e-61,
      "relative_error": 1.0022419380811934e-61,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-kernel-spatial-D-phase-(mpf('2.0'), mpf('0.300000000000000000000000000000000000000000000000000000000000008'), mpf('-0.199999999999999999999999999999999999999999999999999999999999992'), 2)",
      "absolute_error": 4.400336302403101e-61,
      "relative_error": 1.0022419380811934e-61,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-kernel-time-D-phase-(mpf('2.0'), mpf('0.300000000000000000000000000000000000000000000000000000000000008'), mpf('-0.199999999999999999999999999999999999999999999999999999999999992'), 2)",
      "absolute_error": 3.5202690419224807e-60,
      "relative_error": 1.0022419380811934e-61,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-kernel-spatial-D-phase-(mpf('2.0'), mpf('0.300000000000000000000000000000000000000000000000000000000000008'), mpf('-0.199999999999999999999999999999999999999999999999999999999999992'), 3)",
      "absolute_error": 1.400178437518757e-60,
      "relative_error": 1.1275221803413424e-61,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-kernel-time-D-phase-(mpf('2.0'), mpf('0.300000000000000000000000000000000000000000000000000000000000008'), mpf('-0.199999999999999999999999999999999999999999999999999999999999992'), 3)",
      "absolute_error": 2.8162152335379846e-59,
      "relative_error": 1.0022419380811934e-61,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-two-dimensional-exponential-moment-0",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-two-dimensional-exponential-moment-2",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-two-dimensional-exponential-moment-4",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-two-dimensional-exponential-moment-8",
      "absolute_error": 1.2744735289059618e-57,
      "relative_error": 9.959553769847437e-62,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-two-dimensional-exponential-moment-12",
      "absolute_error": 1.305060893599705e-54,
      "relative_error": 8.740821123440474e-62,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-two-dimensional-exponential-moment-16",
      "absolute_error": 5.345529420184391e-51,
      "relative_error": 9.61725122697936e-62,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-two-dimensional-exponential-moment-24",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-two-dimensional-exponential-moment-40",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-calculus-maximum-(mpf('3.5'), mpf('0.700000000000000000000000000000000000000000000000000000000000031'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-stationary-exponential-moment-(mpf('3.5'), mpf('0.700000000000000000000000000000000000000000000000000000000000031'))",
      "absolute_error": 5.288607503950569e-61,
      "relative_error": 5.288607503950569e-61,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-moment-supremum-(mpf('3.5'), mpf('0.700000000000000000000000000000000000000000000000000000000000031'), mpf('0.0'))",
      "actual": 1.0,
      "bound": 16.996929218250838,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "actual-moment-supremum-(mpf('3.5'), mpf('0.700000000000000000000000000000000000000000000000000000000000031'), mpf('4.0'))",
      "actual": 16.996929218250838,
      "bound": 16.996929218250838,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "actual-moment-supremum-(mpf('3.5'), mpf('0.700000000000000000000000000000000000000000000000000000000000031'), mpf('5.0'))",
      "actual": 15.977127085601749,
      "bound": 16.996929218250838,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "actual-moment-supremum-(mpf('3.5'), mpf('0.700000000000000000000000000000000000000000000000000000000000031'), mpf('9.0'))",
      "actual": 5.806905573658989,
      "bound": 16.996929218250838,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "actual-calculus-maximum-(mpf('4.0'), mpf('2.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-stationary-exponential-moment-(mpf('4.0'), mpf('2.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-moment-supremum-(mpf('4.0'), mpf('2.0'), mpf('0.0'))",
      "actual": 1.0,
      "bound": 2.1653645317858032,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "actual-moment-supremum-(mpf('4.0'), mpf('2.0'), mpf('1.0'))",
      "actual": 2.1653645317858032,
      "bound": 2.1653645317858032,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "actual-moment-supremum-(mpf('4.0'), mpf('2.0'), mpf('2.0'))",
      "actual": 1.4835667499874685,
      "bound": 2.1653645317858032,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "actual-moment-supremum-(mpf('4.0'), mpf('2.0'), mpf('3.0'))",
      "actual": 0.6345605572265878,
      "bound": 2.1653645317858032,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "actual-calculus-maximum-(mpf('0.399999999999999999999999999999999999999999999999999999999999984'), mpf('1.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-moment-supremum-(mpf('0.399999999999999999999999999999999999999999999999999999999999984'), mpf('1.0'), mpf('0.0'))",
      "actual": 1.0,
      "bound": 1.0,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "actual-moment-supremum-(mpf('0.399999999999999999999999999999999999999999999999999999999999984'), mpf('1.0'), 0)",
      "actual": 1.0,
      "bound": 1.0,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "actual-moment-supremum-(mpf('0.399999999999999999999999999999999999999999999999999999999999984'), mpf('1.0'), 1)",
      "actual": 0.4854198328364297,
      "bound": 1.0,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "actual-moment-supremum-(mpf('0.399999999999999999999999999999999999999999999999999999999999984'), mpf('1.0'), 1)",
      "actual": 0.4854198328364297,
      "bound": 1.0,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "actual-real-frequency-integrability-1",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-real-frequency-integrability-2",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-real-frequency-integrability-3",
      "absolute_error": 1.5557538194652854e-61,
      "relative_error": 1.2610465475544848e-61,
      "tolerance": 1e-40,
      "passed": true
    }
  ],
  "precision_decimal_digits": 60,
  "max_relative_error": 9.930136612989092e-16,
  "calculations_supplement_full_proofs": true,
  "independent_agent_review": false
}