{
  "A_D_at_c3_theta1_m1": "-u**12/12 + u**11/11 - u**10/10 + u**9/9 - u**8/8 + u**7/7 - u**6/6 + u**5/5 - u**4/4 + u**3/3 - u**2/2 + 3",
  "A_D_general": "c + m*theta*(-u**12/12 + u**11/11 - u**10/10 + u**9/9 - u**8/8 + u**7/7 - u**6/6 + u**5/5 - u**4/4 + u**3/3 - u**2/2)",
  "D": 12,
  "K": 4,
  "K_jet_derivative_residuals_in_u": [
    "0",
    "0",
    "0",
    "0",
    "0"
  ],
  "N": 3,
  "all_checks_passed": true,
  "alpha_rho_at_c3_theta1_m1": "95310611*delta*rho**6*u**11/1036800 - 103741*delta*rho**6*u**10/1152 + 499499*delta*rho**6*u**9/5760 - 19481*delta*rho**6*u**8/240 + 1155*delta*rho**6*u**7/16 - 231*delta*rho**6*u**6/4 + 693*delta*rho**6*u**5/20 - 1915067*delta*rho**4*u**11/8640 + 324401*delta*rho**4*u**10/1800 - 16093*delta*rho**4*u**9/120 + 847*delta*rho**4*u**8/10 - 363*delta*rho**4*u**7/10 + 253*delta*rho**2*u**11/4 - 33*delta*rho**2*u**10 + 11*delta*rho**2*u**9 - delta*u**11 - u**12/12 + u**11/11 - u**10/10 + u**9/9 - u**8/8 + u**7/7 - u**6/6 + u**5/5 - u**4/4 + u**3/3 - u**2/2 + 3",
  "alpha_rho_general": "c - delta*m**(11/2)*u**11 + 253*delta*m**(9/2)*rho**2*u**11/4 - 33*delta*m**(9/2)*rho**2*u**10 + 11*delta*m**(9/2)*rho**2*u**9 - 1915067*delta*m**(7/2)*rho**4*u**11/8640 + 324401*delta*m**(7/2)*rho**4*u**10/1800 - 16093*delta*m**(7/2)*rho**4*u**9/120 + 847*delta*m**(7/2)*rho**4*u**8/10 - 363*delta*m**(7/2)*rho**4*u**7/10 + 95310611*delta*m**(5/2)*rho**6*u**11/1036800 - 103741*delta*m**(5/2)*rho**6*u**10/1152 + 499499*delta*m**(5/2)*rho**6*u**9/5760 - 19481*delta*m**(5/2)*rho**6*u**8/240 + 1155*delta*m**(5/2)*rho**6*u**7/16 - 231*delta*m**(5/2)*rho**6*u**6/4 + 693*delta*m**(5/2)*rho**6*u**5/20 - m*theta*u**12/12 + m*theta*u**11/11 - m*theta*u**10/10 + m*theta*u**9/9 - m*theta*u**8/8 + m*theta*u**7/7 - m*theta*u**6/6 + m*theta*u**5/5 - m*theta*u**4/4 + m*theta*u**3/3 - m*theta*u**2/2",
  "b_j": [
    "693/20",
    "-363/10",
    "11",
    "-1"
  ],
  "base_endpoint_at_c3_theta1_m1": "24859/27720",
  "basis": [
    {
      "Q_j_at_m_1": "8664601*u**11/3265920 - 47155*u**10/18144 + 6487*u**9/2592 - 253*u**8/108 + 25*u**7/12 - 5*u**6/3 + u**5",
      "Q_j_general_scaling": "m**(5/2) times Q_j_at_m_1",
      "coefficients": [
        {
          "coefficient": "1",
          "power": 5
        },
        {
          "coefficient": "-5/3",
          "power": 6
        },
        {
          "coefficient": "25/12",
          "power": 7
        },
        {
          "coefficient": "-253/108",
          "power": 8
        },
        {
          "coefficient": "6487/2592",
          "power": 9
        },
        {
          "coefficient": "-47155/18144",
          "power": 10
        },
        {
          "coefficient": "8664601/3265920",
          "power": 11
        }
      ],
      "d_j": 5,
      "j": 0,
      "polynomial_degree": 11,
      "squared_germ_difference_order_at_least": 17,
      "vanishing_order": 5
    },
    {
      "Q_j_at_m_1": "15827*u**11/2592 - 2681*u**10/540 + 133*u**9/36 - 7*u**8/3 + u**7",
      "Q_j_general_scaling": "m**(7/2) times Q_j_at_m_1",
      "coefficients": [
        {
          "coefficient": "1",
          "power": 7
        },
        {
          "coefficient": "-7/3",
          "power": 8
        },
        {
          "coefficient": "133/36",
          "power": 9
        },
        {
          "coefficient": "-2681/540",
          "power": 10
        },
        {
          "coefficient": "15827/2592",
          "power": 11
        }
      ],
      "d_j": 7,
      "j": 1,
      "polynomial_degree": 11,
      "squared_germ_difference_order_at_least": 19,
      "vanishing_order": 7
    },
    {
      "Q_j_at_m_1": "23*u**11/4 - 3*u**10 + u**9",
      "Q_j_general_scaling": "m**(9/2) times Q_j_at_m_1",
      "coefficients": [
        {
          "coefficient": "1",
          "power": 9
        },
        {
          "coefficient": "-3",
          "power": 10
        },
        {
          "coefficient": "23/4",
          "power": 11
        }
      ],
      "d_j": 9,
      "j": 2,
      "polynomial_degree": 11,
      "squared_germ_difference_order_at_least": 21,
      "vanishing_order": 9
    },
    {
      "Q_j_at_m_1": "u**11",
      "Q_j_general_scaling": "m**(11/2) times Q_j_at_m_1",
      "coefficients": [
        {
          "coefficient": "1",
          "power": 11
        }
      ],
      "d_j": 11,
      "j": 3,
      "polynomial_degree": 11,
      "squared_germ_difference_order_at_least": 23,
      "vanishing_order": 11
    }
  ],
  "checks": {
    "K_jet_matches_center": true,
    "Q0_degree_at_most_D_minus_one": true,
    "Q0_leading_germ_coefficient": true,
    "Q0_squared_log_germ_identity": true,
    "Q0_vanishing_order": true,
    "Q1_degree_at_most_D_minus_one": true,
    "Q1_leading_germ_coefficient": true,
    "Q1_squared_log_germ_identity": true,
    "Q1_vanishing_order": true,
    "Q2_degree_at_most_D_minus_one": true,
    "Q2_leading_germ_coefficient": true,
    "Q2_squared_log_germ_identity": true,
    "Q2_vanishing_order": true,
    "Q3_degree_at_most_D_minus_one": true,
    "Q3_leading_germ_coefficient": true,
    "Q3_squared_log_germ_identity": true,
    "Q3_vanishing_order": true,
    "Taylor_curvature_rational_identity": true,
    "Taylor_curvature_sum": true,
    "Taylor_remainder_derivative_identity": true,
    "Taylor_remainder_zero_at_origin": true,
    "b_0_nonzero": true,
    "b_0_parity_sign": true,
    "b_N_equals_minus_one": true,
    "base_D_jet_matches_center": true,
    "base_endpoint_harmonic_identity": true,
    "base_endpoint_positive_at_c3_theta1_m1": true,
    "corrected_K_jet_matches_center": true,
    "corrected_exact_degree": true,
    "corrected_leading_coefficient": true,
    "corrected_left_endpoint_identity": true,
    "corrected_right_anchor_identity": true,
    "correction_vanishes_to_order_at_least_D_minus_two": true,
    "degree_formula": true,
    "degree_is_even": true,
    "endpoint_correction_matrix_determinant": true,
    "exact_degree": true,
    "first_perturbation_order_above_K": true,
    "harmonic_moment_target_identity": true,
    "last_basis_exact_monomial": true,
    "leading_coefficient": true,
    "linear_degree_bound": true,
    "oscillator_moment_C2": true,
    "oscillator_moment_C3": true,
    "oscillator_moment_C4": true,
    "oscillator_moment_C5": true,
    "t0_divisible_by_rho_squared": true,
    "t0_is_polynomial_in_rho": true,
    "t1_divisible_by_rho_squared": true,
    "t1_is_polynomial_in_rho": true,
    "target_root_1_is_simple": true,
    "target_root_1_is_zero": true,
    "target_root_1_slope_sign": true,
    "target_root_2_is_simple": true,
    "target_root_2_is_zero": true,
    "target_root_2_slope_sign": true,
    "target_root_3_is_simple": true,
    "target_root_3_is_zero": true,
    "target_root_3_slope_sign": true
  },
  "curvature_rational_denominator": "(1+u)**2",
  "curvature_rational_numerator": "11*u**12 + 12*u**11 + 1",
  "d_j": [
    5,
    7,
    9,
    11
  ],
  "endpoint_correction": {
    "E_rho": "253*delta*m**(9/2)*rho**2*u**11/4 - 33*delta*m**(9/2)*rho**2*u**10 + 11*delta*m**(9/2)*rho**2*u**9 - 1915067*delta*m**(7/2)*rho**4*u**11/8640 + 324401*delta*m**(7/2)*rho**4*u**10/1800 - 16093*delta*m**(7/2)*rho**4*u**9/120 + 847*delta*m**(7/2)*rho**4*u**8/10 - 363*delta*m**(7/2)*rho**4*u**7/10 + 95310611*delta*m**(5/2)*rho**6*u**11/1036800 - 103741*delta*m**(5/2)*rho**6*u**10/1152 + 499499*delta*m**(5/2)*rho**6*u**9/5760 - 19481*delta*m**(5/2)*rho**6*u**8/240 + 1155*delta*m**(5/2)*rho**6*u**7/16 - 231*delta*m**(5/2)*rho**6*u**6/4 + 693*delta*m**(5/2)*rho**6*u**5/20",
    "E_rho_at_b": "253*delta*m**(9/2)*rho**2*z**11/4 - 33*delta*m**(9/2)*rho**2*z**10 + 11*delta*m**(9/2)*rho**2*z**9 - 1915067*delta*m**(7/2)*rho**4*z**11/8640 + 324401*delta*m**(7/2)*rho**4*z**10/1800 - 16093*delta*m**(7/2)*rho**4*z**9/120 + 847*delta*m**(7/2)*rho**4*z**8/10 - 363*delta*m**(7/2)*rho**4*z**7/10 + 95310611*delta*m**(5/2)*rho**6*z**11/1036800 - 103741*delta*m**(5/2)*rho**6*z**10/1152 + 499499*delta*m**(5/2)*rho**6*z**9/5760 - 19481*delta*m**(5/2)*rho**6*z**8/240 + 1155*delta*m**(5/2)*rho**6*z**7/16 - 231*delta*m**(5/2)*rho**6*z**6/4 + 693*delta*m**(5/2)*rho**6*z**5/20",
    "E_rho_at_x0": "-429*delta*m**(9/2)*rho**2/4 + 28381639*delta*m**(7/2)*rho**4/43200 - 533389571*delta*m**(5/2)*rho**6/1036800",
    "anchor": "b=a*(1+z), with z>0",
    "anchor_value_scope": "The identity is P_hat_rho(b)=P_0(b). It equals zero when b is chosen as a root of P_0 in the analytic construction.",
    "corrected_degree": 12,
    "correction": "t_0*u**(D-2)+t_1*u**(D-1)",
    "correction_order_at_least": 10,
    "fixed_anchor_value": "c - delta*m**(11/2)*z**11 - m*theta*z**12/12 + m*theta*z**11/11 - m*theta*z**10/10 + m*theta*z**9/9 - m*theta*z**8/8 + m*theta*z**7/7 - m*theta*z**6/6 + m*theta*z**5/5 - m*theta*z**4/4 + m*theta*z**3/3 - m*theta*z**2/2",
    "fixed_left_value": "c + delta*m**(11/2) - 58301*m*theta/27720",
    "t_0": "(1267200*delta*m**(9/2)*rho**2*z**5 - 316800*delta*m**(9/2)*rho**2*z**4 - 12537536*delta*m**(7/2)*rho**4*z**5 + 7347120*delta*m**(7/2)*rho**4*z**4 - 3484800*delta*m**(7/2)*rho**4*z**3 + 1045440*delta*m**(7/2)*rho**4*z**2 + 12168860*delta*m**(5/2)*rho**6*z**5 - 9575335*delta*m**(5/2)*rho**6*z**4 + 7077840*delta*m**(5/2)*rho**6*z**3 - 4740120*delta*m**(5/2)*rho**6*z**2 + 2661120*delta*m**(5/2)*rho**6*z - 997920*delta*m**(5/2)*rho**6)/(28800*z**5)",
    "t_1": "(-65577600*delta*m**(9/2)*rho**2*z**5 - 11404800*delta*m**(9/2)*rho**2*z**4 + 229808040*delta*m**(7/2)*rho**4*z**5 + 264496320*delta*m**(7/2)*rho**4*z**4 - 125452800*delta*m**(7/2)*rho**4*z**3 + 37635840*delta*m**(7/2)*rho**4*z**2 - 95310611*delta*m**(5/2)*rho**6*z**5 - 344712060*delta*m**(5/2)*rho**6*z**4 + 254802240*delta*m**(5/2)*rho**6*z**3 - 170644320*delta*m**(5/2)*rho**6*z**2 + 95800320*delta*m**(5/2)*rho**6*z - 35925120*delta*m**(5/2)*rho**6)/(1036800*z**5)"
  },
  "h_i": [
    "1",
    "2",
    "3"
  ],
  "leading_coefficient_in_u": "-m*theta/12",
  "leading_coefficient_in_x": "-m*theta/(12*a**12)",
  "moment_common_factor": "pi/sqrt(c)",
  "moment_target_divided_by_common_factor": "-231*h**6/8 + 693*h**5/4 - 2541*h**4/8 + 693*h**3/4",
  "moment_target_factored_divided_by_common_factor": "-231*h**3*(h - 3)*(h - 2)*(h - 1)/8",
  "moment_target_root_slopes_divided_by_common_factor": [
    "-231/4",
    "231",
    "-6237/4"
  ],
  "normalized_curvature_polynomial": "11*u**10 - 10*u**9 + 9*u**8 - 8*u**7 + 7*u**6 - 6*u**5 + 5*u**4 - 4*u**3 + 3*u**2 - 2*u + 1",
  "q": 2
}