{
  "A_D_at_c3_theta1_m1": "-u**6/6 + u**5/5 - u**4/4 + u**3/3 - u**2/2 + 3",
  "A_D_general": "c + m*theta*(-u**6/6 + u**5/5 - u**4/4 + u**3/3 - u**2/2)",
  "D": 6,
  "K": 2,
  "K_jet_derivative_residuals_in_u": [
    "0",
    "0",
    "0"
  ],
  "N": 1,
  "all_checks_passed": true,
  "alpha_rho_at_c3_theta1_m1": "55*delta*rho**2*u**5/36 - 5*delta*rho**2*u**4/3 + 5*delta*rho**2*u**3/3 - delta*u**5 - u**6/6 + u**5/5 - u**4/4 + u**3/3 - u**2/2 + 3",
  "alpha_rho_general": "c - delta*m**(5/2)*u**5 + 55*delta*m**(3/2)*rho**2*u**5/36 - 5*delta*m**(3/2)*rho**2*u**4/3 + 5*delta*m**(3/2)*rho**2*u**3/3 - 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": [
    "5/3",
    "-1"
  ],
  "base_endpoint_at_c3_theta1_m1": "31/20",
  "basis": [
    {
      "Q_j_at_m_1": "11*u**5/12 - u**4 + u**3",
      "Q_j_general_scaling": "m**(3/2) times Q_j_at_m_1",
      "coefficients": [
        {
          "coefficient": "1",
          "power": 3
        },
        {
          "coefficient": "-1",
          "power": 4
        },
        {
          "coefficient": "11/12",
          "power": 5
        }
      ],
      "d_j": 3,
      "j": 0,
      "polynomial_degree": 5,
      "squared_germ_difference_order_at_least": 9,
      "vanishing_order": 3
    },
    {
      "Q_j_at_m_1": "u**5",
      "Q_j_general_scaling": "m**(5/2) times Q_j_at_m_1",
      "coefficients": [
        {
          "coefficient": "1",
          "power": 5
        }
      ],
      "d_j": 5,
      "j": 1,
      "polynomial_degree": 5,
      "squared_germ_difference_order_at_least": 11,
      "vanishing_order": 5
    }
  ],
  "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,
    "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_C1": true,
    "oscillator_moment_C2": 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
  },
  "curvature_rational_denominator": "(1+u)**2",
  "curvature_rational_numerator": "5*u**6 + 6*u**5 + 1",
  "d_j": [
    3,
    5
  ],
  "endpoint_correction": {
    "E_rho": "55*delta*m**(3/2)*rho**2*u**5/36 - 5*delta*m**(3/2)*rho**2*u**4/3 + 5*delta*m**(3/2)*rho**2*u**3/3",
    "E_rho_at_b": "55*delta*m**(3/2)*rho**2*z**5/36 - 5*delta*m**(3/2)*rho**2*z**4/3 + 5*delta*m**(3/2)*rho**2*z**3/3",
    "E_rho_at_x0": "-175*delta*m**(3/2)*rho**2/36",
    "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": 6,
    "correction": "t_0*u**(D-2)+t_1*u**(D-1)",
    "correction_order_at_least": 4,
    "fixed_anchor_value": "c - delta*m**(5/2)*z**5 - 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**(5/2) - 29*m*theta/20",
    "t_0": "(10*delta*m**(3/2)*rho**2*z - 5*delta*m**(3/2)*rho**2)/(3*z)",
    "t_1": "(-55*delta*m**(3/2)*rho**2*z - 60*delta*m**(3/2)*rho**2)/(36*z)"
  },
  "h_i": [
    "1"
  ],
  "leading_coefficient_in_u": "-m*theta/6",
  "leading_coefficient_in_x": "-m*theta/(6*a**6)",
  "moment_common_factor": "pi/sqrt(c)",
  "moment_target_divided_by_common_factor": "-5*h**3 + 5*h**2",
  "moment_target_factored_divided_by_common_factor": "-5*h**2*(h - 1)",
  "moment_target_root_slopes_divided_by_common_factor": [
    "-5"
  ],
  "normalized_curvature_polynomial": "5*u**4 - 4*u**3 + 3*u**2 - 2*u + 1",
  "q": 1
}